Short 'file' [-l=n] [-m=n] [-f] [-c] [-n]
file: matrix_TYP containing a positive definite symmetric matrix.
Calculates the short vectors of the given form. They are output as
a matrix whose rows are the short vectors of the form.
-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.
See also for Aut_grp, Isometry and Shortest.