Searched refs:check_congruences (Results 1 – 4 of 4) sorted by relevance
337 bool check_congruences(const vector<Integer>& v) const; // *this represents congruences
1389 bool Matrix<Integer>::check_congruences(const vector<Integer>& v) const { in check_congruences() function in libnormaliz::Matrix1404 bool Matrix<nmz_float>::check_congruences(const vector<nmz_float>& v) const { in check_congruences() function in libnormaliz::Matrix1410 bool Matrix<mpq_class>::check_congruences(const vector<mpq_class>& v) const { in check_congruences() function in libnormaliz::Matrix1417 bool Matrix<renf_elem_class>::check_congruences(const vector<renf_elem_class>& v) const { in check_congruences() function in libnormaliz::Matrix
641 if (!Congs.check_congruences(NewPoint)) in lift_points_to_this_dim()
1347 cone_sat_cong = BasisChange.getCongruencesMatrix().check_congruences(Generators[i]); in check_lattice_restrictions_on_generators()6135 !CongOri.check_congruences(rr)) // already checked with project_and_lift in try_approximation_or_projection()