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