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.