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 NxNmatrices, the first of which,
must be symmetric and positive definite.
file2: matrix_TYP containing a set of m NxNmatrices, the first of which,
must be symmetric and positive definite.
Description
Computes a single g in GL_{n}(Z) with the property g^{Tr} *
F_{i1} * g = F_{i2} for all F_{i1} in
'file1' and F_{i2} in 'file2'.
Options
d=n : Depth up to which scalar products are calculated. The value
should be small.
s=n : The npoint 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
