CARAT Introduction / Programs / Isometry

Previous Program | Introduction | Next Program

## Program Isometry

### Usage

    Isometry 'file1' 'file2 [-d=n] [-s=n] [-b] [-b=n] [-B=n] [-g] [-v] [-p]

file1: matrix_TYP containing a set of m NxN-matrices, the first of which, must be symmetric and positive definite.
file2: matrix_TYP containing a set of m NxN-matrices, the first of which, must be symmetric and positive definite.

### Description

Computes a single g in GLn(Z) with the property gTr * Fi1 * g = Fi2 for all Fi1 in 'file1' and Fi2 in 'file2'.

### Options

    -d=n    : Depth up to which scalar products are calculated. The value
              should be small.
    -s=n    : The n-point stabilizer with respect to different basis will be
              calculated.
    -b=n    : Use Bacher polynomials up to deepth n.
    -B=n    : Use Bacher polynomials with vectors having scalar product n
    -v,-g   : Read additional data from 'file'. If -v is given the program
              assumes that the short vectors of the first form in 'file'
              are given below the forms.
              If -g is given, the program assumes known generators for
              the automorphism group to be given below any other information in
              'file'.
    -p      : Write additional output to the file ISOM.tmp

### Remarks

See also for Aut_grp, Short and Shortest.

### Examples

Previous Program | Introduction | Next Program