# lattice.at Function References¶

## submodule_basis¶

submodule_basis:mat M->mat Defined in line number 5.

## Q_submodule_basis¶

Q_submodule_basis:mat M->mat Defined in line number 9.

## quotient_module_basis¶

quotient_module_basis:mat M->mat Defined in line number 14.

## saturation_quotient_module_basis¶

saturation_quotient_module_basis:mat M->mat Defined in line number 21.

## Q_quotient_module_basis¶

Q_quotient_module_basis:mat M->mat Defined in line number 25.

## projection_mod_image¶

projection_mod_image:mat M->mat Defined in line number 30.

## projection_to_image¶

projection_to_image:mat M->mat Defined in line number 41.

## projection_to_image¶

projection_to_image:mat M, ratvec v->ratvec Defined in line number 45.

## sub_matrix¶

sub_matrix:mat A,mat M->mat Defined in line number 67.

## restrict_action¶

restrict_action:mat A, mat M->mat Defined in line number 78.

## corestrict_action¶

corestrict_action:mat A, mat M->mat Defined in line number 96.

## quotient_matrix¶

quotient_matrix:mat M,mat A->mat Defined in line number 103.

## solve_ratvec¶

solve_ratvec:mat A, vec v->ratvec Defined in line number 110.

## in_lattice¶

in_lattice:mat M, ratvec u->bool Defined in line number 119.

## vec_solve¶

vec_solve:mat A, ratvec u->[vec] Defined in line number 123.

## solve_vec¶

solve_vec:mat A, vec v->vec Defined in line number 127.

## in_lattice_basis¶

in_lattice_basis:mat A,mat M->mat Defined in line number 136.

## solve_in_lattice¶

solve_in_lattice:[vec] A, vec v->vec Defined in line number 140.