Searched refs:ProjToLevel0Quot (Results 1 – 3 of 3) sorted by relevance
5109 Matrix<Integer> Level0Space = ProjToLevel0Quot.kernel(); in primal_algorithm_set_computed()6532 ProjToLevel0Quot = Help.kernel(false); // Necessary for the module rank in find_level0_dim()6535 level0_dim = dim - ProjToLevel0Quot.nr_of_rows(); in find_level0_dim()6560 ProjToLevel0Quot = Help.kernel(); // Necessary for the module rank in find_level0_dim_from_HB()6563 level0_dim = dim - ProjToLevel0Quot.nr_of_rows(); in find_level0_dim_from_HB()6605 ProjGen[i] = ProjToLevel0Quot.MxV(Generators[i]); in find_module_rank_from_proj()6608 vector<Integer> GradingProj = ProjToLevel0Quot.transpose().solve_ZZ(Truncation); in find_module_rank_from_proj()6642 v = ProjToLevel0Quot.MxV(h); in find_module_rank_from_HB()
234 Matrix<Integer> ProjToLevel0Quot; // projection matrix onto quotient modulo level 0 sublattice variable
1316 …ProjGen[j] = C_ptr->ProjToLevel0Quot.MxV(C_ptr->Generators[key[i]]); // Generators of evaluator m… in update_mult_inhom()