CARAT Introduction / Programs / Form_elt

Previous Program | Introduction | Next Program

## 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

Previous Program | Introduction | Next Program