Searched refs:scoped_set_zp (Results 1 – 10 of 10) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
| H A D | upolynomial.h | 482 class scoped_set_zp {
487 …scoped_set_zp(core_manager & _m, numeral const & p):m(_m), m_modular(m.modular()), m_p(m.m()) { m… in scoped_set_zp() function
488 …scoped_set_zp(core_manager & _m, uint64_t p):m(_m), m_modular(m.modular()), m_p(m.m()) { m_p = m.… in scoped_set_zp() function
489 ~scoped_set_zp() { if (m_modular) m.set_zp(m_p); else m.set_z(); } in ~scoped_set_zp()
|
| H A D | polynomial.h | 1049 class scoped_set_zp {
1054 …scoped_set_zp(manager & _m, numeral const & p):m(_m), m_modular(m.modular()), m_p(m.m()) { m_p = … in scoped_set_zp() function
1055 …scoped_set_zp(manager & _m, uint64_t p):m(_m), m_modular(m.modular()), m_p(m.m()) { m_p = m.p(); … in scoped_set_zp() function
1056 ~scoped_set_zp() { if (m_modular) m.set_zp(m_p); else m.set_z(); } in ~scoped_set_zp()
|
| H A D | upolynomial.cpp | 752 scoped_set_zp setZp(*this, p); in mod_gcd()
|
| H A D | polynomial.cpp | 3850 scoped_set_zp setZp(m_wrapper, p); in uni_mod_gcd()
4333 scoped_set_zp setZp(m_wrapper, p); in mod_gcd()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
| H A D | upolynomial.h | 482 class scoped_set_zp {
487 …scoped_set_zp(core_manager & _m, numeral const & p):m(_m), m_modular(m.modular()), m_p(m.m()) { m… in scoped_set_zp() function
488 …scoped_set_zp(core_manager & _m, uint64_t p):m(_m), m_modular(m.modular()), m_p(m.m()) { m_p = m.… in scoped_set_zp() function
489 ~scoped_set_zp() { if (m_modular) m.set_zp(m_p); else m.set_z(); } in ~scoped_set_zp()
|
| H A D | polynomial.h | 1046 class scoped_set_zp {
1051 …scoped_set_zp(manager & _m, numeral const & p):m(_m), m_modular(m.modular()), m_p(m.m()) { m_p = … in scoped_set_zp() function
1052 …scoped_set_zp(manager & _m, uint64_t p):m(_m), m_modular(m.modular()), m_p(m.m()) { m_p = m.p(); … in scoped_set_zp() function
1053 ~scoped_set_zp() { if (m_modular) m.set_zp(m_p); else m.set_z(); } in ~scoped_set_zp()
|
| H A D | upolynomial.cpp | 752 scoped_set_zp setZp(*this, p); in mod_gcd()
|
| H A D | polynomial.cpp | 3850 scoped_set_zp setZp(m_wrapper, p); in uni_mod_gcd()
4333 scoped_set_zp setZp(m_wrapper, p); in mod_gcd()
|
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | polynomial.cpp | 1213 polynomial::scoped_set_zp setZ3(pm, 3); in tst_zp()
1227 polynomial::scoped_set_zp setZ11(pm, 11); in tst_zp()
1613 polynomial::scoped_set_zp setZ2(m, 2);
1618 polynomial::scoped_set_zp setZ3(m, 3);
1668 polynomial::scoped_set_zp setZ97(m, 97); in tst_newton_interpolation()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | polynomial.cpp | 1213 polynomial::scoped_set_zp setZ3(pm, 3); in tst_zp()
1227 polynomial::scoped_set_zp setZ11(pm, 11); in tst_zp()
1613 polynomial::scoped_set_zp setZ2(m, 2);
1618 polynomial::scoped_set_zp setZ3(m, 3);
1668 polynomial::scoped_set_zp setZ97(m, 97); in tst_newton_interpolation()
|