Direct product of D32 and Z2

Definition
This group is defined as the external direct product of defining ingredient::dihedral group:D32 and defining ingredient::cyclic group:Z2.