Program Short
Usage
Short 'file' [l=n] [m=n] [f] [c] [n]
file: matrix_TYP containing a positive definite symmetric matrix.
Description
Calculates the short vectors of the given form. They are output as
a matrix whose rows are the short vectors of the form.
Options
l=n : Searches for vectors up to the given norm n.
m=n : Searches for vectors with minimal norm n.
f : Stop immediately if a vector with the given property is found.
c : Just echo the number of vectors with the given property.
n : Echo the norm of the vectors in the last column of the vector.
Remarks
See also for Aut_grp, Isometry and Shortest.
Examples
