Previous Program Introduction Next Program

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


Previous Program Introduction Next Program