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 |