lattice.at Function IndexΒΆ


Functions

Function Argument(s) -> Results
submodule_basis mat M->mat
Q_submodule_basis mat M->mat
quotient_module_basis mat M->mat
saturation_quotient_module_basis mat M->mat
Q_quotient_module_basis mat M->mat
projection_mod_image mat M->mat
projection_to_image mat M->mat
projection_to_image mat M, ratvec v->ratvec
sub_matrix mat A,mat M->mat
restrict_action mat A, mat M->mat
corestrict_action mat A, mat M->mat
quotient_matrix mat M,mat A->mat
solve_ratvec mat A, vec v->ratvec
in_lattice mat M, ratvec u->bool
vec_solve mat A, ratvec u->[vec]
solve_vec mat A, vec v->vec
in_lattice_basis mat A,mat M->mat
solve_in_lattice [vec] A, vec v->vec