| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
| H A D | polynomial.cpp | 5095 …void pseudo_remainder(polynomial const * p, polynomial const * q, var x, unsigned & d, polynomial_… in pseudo_remainder() function
5298 pseudo_remainder(h_0, h_1, x, d, h_2); in quasi_resultant()
7341 …void manager::pseudo_remainder(polynomial const * p, polynomial const * q, var x, unsigned & d, po… in pseudo_remainder() function in polynomial::manager
7342 m_imp->pseudo_remainder(p, q, x, d, R); in pseudo_remainder()
|
| H A D | polynomial.h | 787 …void pseudo_remainder(polynomial const * p, polynomial const * q, var x, unsigned & d, polynomial_…
789 …void pseudo_remainder(polynomial const * p, polynomial const * q, unsigned & d, polynomial_ref & R… in pseudo_remainder() function
790 pseudo_remainder(p, q, max_var(q), d, R); in pseudo_remainder()
1340 inline polynomial_ref pseudo_remainder(polynomial_ref const & p, polynomial_ref const & q, polynomi… in pseudo_remainder() function
1343 m.pseudo_remainder(p, q, x, d, r); in pseudo_remainder()
1347 inline polynomial_ref pseudo_remainder(polynomial_ref const & p, polynomial_ref const & q, unsigned… in pseudo_remainder() function
1348 return pseudo_remainder(p, q, max_var(q), d); in pseudo_remainder()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/ |
| H A D | nlsat_explain.cpp | 1127 m_pm.pseudo_remainder(f, info.m_eq, info.m_x, d, new_factor); in simplify()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | algebraic.cpp | 510 h2 = pseudo_remainder(p, p1, 0, d); in ex1()
514 h3 = pseudo_remainder(p1, h2, 0, d); in ex1()
|
| H A D | polynomial.cpp | 292 R = pseudo_remainder(A, B, 0, d); in tst10()
300 R = pseudo_remainder(A, B, 0, d); in tst10()
308 R = pseudo_remainder(A, B, 0, d); in tst10()
|
| /dports/math/reduce/Reduce-svn5758-src/packages/poly/ |
| H A D | polydiv.red | 30 % pseudo_divide, pseudo_quotient and pseudo_remainder.
86 put('pseudo_remainder, 'psopfn, 'pseudo!-remainder);
|
| H A D | polydiv.rlg | 97 c := pseudo_remainder(a, b);
107 c := pseudo_remainder(a, b);
117 c := pseudo_remainder(a, b);
126 c := pseudo_remainder(a, b);
135 c := pseudo_remainder(a, b);
167 pseudo_remainder(a, b, x);
181 pseudo_remainder(a, b);
|
| H A D | polydiv.tst | 27 c := pseudo_remainder(a, b); a := b$ b := c$
28 c := pseudo_remainder(a, b); a := b$ b := c$
29 c := pseudo_remainder(a, b); a := b$ b := c$
30 c := pseudo_remainder(a, b); a := b$ b := c$
31 c := pseudo_remainder(a, b);
43 pseudo_remainder(a, b, x);
46 pseudo_remainder(a, b);
|
| /dports/math/reduce/Reduce-svn5758-src/xmpl/ |
| H A D | polydiv.rlg | 97 c := pseudo_remainder(a, b);
107 c := pseudo_remainder(a, b);
117 c := pseudo_remainder(a, b);
126 c := pseudo_remainder(a, b);
135 c := pseudo_remainder(a, b);
167 pseudo_remainder(a, b, x);
181 pseudo_remainder(a, b);
|
| H A D | polydiv.tst | 27 c := pseudo_remainder(a, b); a := b$ b := c$
28 c := pseudo_remainder(a, b); a := b$ b := c$
29 c := pseudo_remainder(a, b); a := b$ b := c$
30 c := pseudo_remainder(a, b); a := b$ b := c$
31 c := pseudo_remainder(a, b);
43 pseudo_remainder(a, b, x);
46 pseudo_remainder(a, b);
|
| /dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
| H A D | polynomial.cpp | 5095 …void pseudo_remainder(polynomial const * p, polynomial const * q, var x, unsigned & d, polynomial_… in pseudo_remainder() function
5298 pseudo_remainder(h_0, h_1, x, d, h_2); in quasi_resultant()
7341 …void manager::pseudo_remainder(polynomial const * p, polynomial const * q, var x, unsigned & d, po… in pseudo_remainder() function in polynomial::manager
7342 m_imp->pseudo_remainder(p, q, x, d, R); in pseudo_remainder()
|
| H A D | polynomial.h | 790 …void pseudo_remainder(polynomial const * p, polynomial const * q, var x, unsigned & d, polynomial_…
792 …void pseudo_remainder(polynomial const * p, polynomial const * q, unsigned & d, polynomial_ref & R… in pseudo_remainder() function
793 pseudo_remainder(p, q, max_var(q), d, R); in pseudo_remainder()
1343 inline polynomial_ref pseudo_remainder(polynomial_ref const & p, polynomial_ref const & q, polynomi… in pseudo_remainder() function
1346 m.pseudo_remainder(p, q, x, d, r); in pseudo_remainder()
1350 inline polynomial_ref pseudo_remainder(polynomial_ref const & p, polynomial_ref const & q, unsigned… in pseudo_remainder() function
1351 return pseudo_remainder(p, q, max_var(q), d); in pseudo_remainder()
|
| /dports/math/z3/z3-z3-4.8.13/src/nlsat/ |
| H A D | nlsat_explain.cpp | 1127 m_pm.pseudo_remainder(f, info.m_eq, info.m_x, d, new_factor); in simplify()
|
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | algebraic.cpp | 510 h2 = pseudo_remainder(p, p1, 0, d); in ex1()
514 h3 = pseudo_remainder(p1, h2, 0, d); in ex1()
|
| H A D | polynomial.cpp | 292 R = pseudo_remainder(A, B, 0, d); in tst10()
300 R = pseudo_remainder(A, B, 0, d); in tst10()
308 R = pseudo_remainder(A, B, 0, d); in tst10()
|