Program Form_elt
Usage
Form_elt 'file' [-i] [-f]
file: bravais_TYP containing the finite unimodular group G.
Description
Calculates the elementatry divisors of the trace bifo
of the group G given in file, i.e. takes a Z-basis B (resp. B')
of the invariant forms of G (respectively Gtr), and
gives the Smith normal form of Trace(Bi * B'j)i,j.
Options
-i : Use the function invar_space to calculate the space of invarinat forms.
-f : Force the formspace of G to be computed again, even if it is given.
Examples
-