CARAT Introduction / Programs / Short

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