Searched refs:m_lcm_den (Results 1 – 4 of 4) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
| H A D | gomory.cpp | 35 mpq m_lcm_den; member in lp::create_cut
81 m_lcm_den = lcm(m_lcm_den, denominator(new_a)); in int_case_in_gomory_cut()
82 …t_detail", tout << "new_a = " << new_a << ", k = " << m_k << ", lcm_den = " << m_lcm_den << "\n";); in int_case_in_gomory_cut()
156 m_lcm_den = lcm(m_lcm_den, denominator(m_k)); in adjust_term_and_k_for_some_ints_case_gomory()
157 lp_assert(m_lcm_den.is_pos()); in adjust_term_and_k_for_some_ints_case_gomory()
158 TRACE("gomory_cut_detail", tout << "pol.size() > 1 den: " << m_lcm_den << std::endl;); in adjust_term_and_k_for_some_ints_case_gomory()
159 if (!m_lcm_den.is_one()) { in adjust_term_and_k_for_some_ints_case_gomory()
162 pi.first *= m_lcm_den; in adjust_term_and_k_for_some_ints_case_gomory()
165 m_k *= m_lcm_den; in adjust_term_and_k_for_some_ints_case_gomory()
296 mpq m_lcm_den(1); in cut() local
[all …]
|
| H A D | int_gcd_test.cpp | 117 m_lcm_den = get_denominators_lcm(row); in gcd_test_for_row()
128 mpq aux = m_lcm_den * a; in gcd_test_for_row()
135 gcds = abs(m_lcm_den * a); in gcd_test_for_row()
142 mpq aux = abs(m_lcm_den * a); in gcd_test_for_row()
202 mpq ncoeff = m_lcm_den * a; in ext_gcd_test()
272 mpq aux = abs(m_lcm_den * a); in accumulate_parity()
|
| H A D | int_gcd_test.h | 52 mpq m_lcm_den; variable
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
| H A D | gomory.cpp | 35 mpq m_lcm_den; member in lp::create_cut
81 m_lcm_den = lcm(m_lcm_den, denominator(new_a)); in int_case_in_gomory_cut()
82 …t_detail", tout << "new_a = " << new_a << ", k = " << m_k << ", lcm_den = " << m_lcm_den << "\n";); in int_case_in_gomory_cut()
156 m_lcm_den = lcm(m_lcm_den, denominator(m_k)); in adjust_term_and_k_for_some_ints_case_gomory()
157 lp_assert(m_lcm_den.is_pos()); in adjust_term_and_k_for_some_ints_case_gomory()
158 TRACE("gomory_cut_detail", tout << "pol.size() > 1 den: " << m_lcm_den << std::endl;); in adjust_term_and_k_for_some_ints_case_gomory()
159 if (!m_lcm_den.is_one()) { in adjust_term_and_k_for_some_ints_case_gomory()
162 pi.first *= m_lcm_den; in adjust_term_and_k_for_some_ints_case_gomory()
165 m_k *= m_lcm_den; in adjust_term_and_k_for_some_ints_case_gomory()
296 mpq m_lcm_den(1); in cut() local
[all …]
|