lattice.at Function References¶

submodule_basis¶

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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