Presentation 'file' [-D]
file: bravais_TYP containing a finite matrix group G.
Calculates a presentation of the finite group G.
-D : meant for debugging. Do not use.
See also for Is_finite.
- Do given matrices generate a space group? If so, find its name
and normal representation.
- Find all Z-classes, affine classes and torsion free space
groups in a given Q-class.