Direct product of D8 and E8

Definition
This group is defined as the external direct product of defining ingredient::dihedral group:D8 and defining ingredient::elementary abelian group:E8.