CARAT Introduction / Programs / Trbifo
Previous Program Introduction Next Program

Program Trbifo

Usage

Trbifo 'file1' 'file2'
file1: bravais_TYP of the finite unimodular group G.
file2: bravais_TYP of Gtr

Description

Calculates the trace bilinear form on the space of invariant forms for G and Gtr respectively.
If the space of invariant forms is not given for either of the groups, it will be calculated.

Remarks

See also for Form_elt and Tr_bravais.

Examples

Previous Program Introduction Next Program