Searched refs:module_rank (Results 1 – 4 of 4) sorted by relevance
420 module_rank = 0; in set_zero_cone()474 module_rank = 0; in set_zero_cone()6385 module_rank = Polytope.Deg1_Elements.size(); in convert_polyhedron_to_polytope()6576 module_rank = 0; in find_module_rank()6617 module_rank = Cproj.Deg1_Elements.size(); in find_module_rank_from_proj()6627 module_rank = Hilbert_Basis.size(); in find_module_rank_from_HB()6653 module_rank = Quotient.size(); in find_module_rank_from_HB()8221 return module_rank; in getModuleRank()
83 size_t module_rank; // rank of solution module over level 0 monoid in the inhomogeneous case variable
656 size_t module_rank; // for the inhomogeneous case variable
2756 return module_rank; in getModuleRank()4732 module_rank = FC.getModuleRank(); in extract_data()4744 multiplicity = FC.getMultiplicity() * static_cast<unsigned long>(module_rank); in extract_data()6165 module_rank = number_lattice_points; in try_approximation_or_projection()6176 multiplicity = static_cast<unsigned long>(module_rank); // of the recession cone; in try_approximation_or_projection()7303 module_rank = ModuleGenerators.nr_of_rows(); in treat_polytope_as_being_hom_defined()7305 number_lattice_points = module_rank; in treat_polytope_as_being_hom_defined()