Is_finite 'file1' [-M] [-N] [-o]
Decides whether the given INTEGRAL matrix group is finite.
If it is so, it will echo the order of the group.
-M : Output generators for the Minkowski kernel (i.e the
subgroup of all matrices congruent I mod 2) of
the group. WARNING: these generators will be
correct iff the group was finite. Otherwise
the program terminates immediatly if it has calculated
enough element of the kernel to prove the group to
-N : Assume the group to be generated by G->gen, G->normal
-o : just output the order in a way that can be appended to
See also for Order.
- How do the Z-classes in the Q-class of a given group distribute
into their Bravais flocks?
- Do given matrices generate a space group? If so, find its name and normal
- Is the normalizer of a given group finite?
- Do two given groups have Z-equivalent copies which lie in a
finite unimodular group?