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 Zbasis B (resp. B')
of the invariant forms of G (respectively G^{tr}), and
gives the Smith normal form of Trace(B_{i} * 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
