Searched refs:mod_gcd_rec (Results 1 – 2 of 2) sorted by path
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
H A D | polynomial.cpp | 4119 void mod_gcd_rec(polynomial const * u, polynomial const * v, unsigned p, in mod_gcd_rec() function 4187 mod_gcd_rec(u1, v1, p, idx+1, vars, q); in mod_gcd_rec() 4345 mod_gcd_rec(u_Zp, v_Zp, g_big_primes[i], 0, vars, q); in mod_gcd()
|
/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
H A D | polynomial.cpp | 4119 void mod_gcd_rec(polynomial const * u, polynomial const * v, unsigned p, in mod_gcd_rec() function 4187 mod_gcd_rec(u1, v1, p, idx+1, vars, q); in mod_gcd_rec() 4345 mod_gcd_rec(u_Zp, v_Zp, g_big_primes[i], 0, vars, q); in mod_gcd()
|