713 lines
19 KiB
Python
713 lines
19 KiB
Python
|
"""Tests for Euclidean algorithms, GCDs, LCMs and polynomial remainder sequences. """
|
||
|
|
|
||
|
|
from sympy.polys.rings import ring
|
||
|
|
from sympy.polys.domains import ZZ, QQ, RR
|
||
|
|
|
||
|
|
from sympy.polys.specialpolys import (
|
||
|
|
f_polys,
|
||
|
|
dmp_fateman_poly_F_1,
|
||
|
|
dmp_fateman_poly_F_2,
|
||
|
|
dmp_fateman_poly_F_3)
|
||
|
|
|
||
|
|
f_0, f_1, f_2, f_3, f_4, f_5, f_6 = f_polys()
|
||
|
|
|
||
|
|
def test_dup_gcdex():
|
||
|
|
R, x = ring("x", QQ)
|
||
|
|
|
||
|
|
f = x**4 - 2*x**3 - 6*x**2 + 12*x + 15
|
||
|
|
g = x**3 + x**2 - 4*x - 4
|
||
|
|
|
||
|
|
s = -QQ(1,5)*x + QQ(3,5)
|
||
|
|
t = QQ(1,5)*x**2 - QQ(6,5)*x + 2
|
||
|
|
h = x + 1
|
||
|
|
|
||
|
|
assert R.dup_half_gcdex(f, g) == (s, h)
|
||
|
|
assert R.dup_gcdex(f, g) == (s, t, h)
|
||
|
|
|
||
|
|
f = x**4 + 4*x**3 - x + 1
|
||
|
|
g = x**3 - x + 1
|
||
|
|
|
||
|
|
s, t, h = R.dup_gcdex(f, g)
|
||
|
|
S, T, H = R.dup_gcdex(g, f)
|
||
|
|
|
||
|
|
assert R.dup_add(R.dup_mul(s, f),
|
||
|
|
R.dup_mul(t, g)) == h
|
||
|
|
assert R.dup_add(R.dup_mul(S, g),
|
||
|
|
R.dup_mul(T, f)) == H
|
||
|
|
|
||
|
|
f = 2*x
|
||
|
|
g = x**2 - 16
|
||
|
|
|
||
|
|
s = QQ(1,32)*x
|
||
|
|
t = -QQ(1,16)
|
||
|
|
h = 1
|
||
|
|
|
||
|
|
assert R.dup_half_gcdex(f, g) == (s, h)
|
||
|
|
assert R.dup_gcdex(f, g) == (s, t, h)
|
||
|
|
|
||
|
|
|
||
|
|
def test_dup_invert():
|
||
|
|
R, x = ring("x", QQ)
|
||
|
|
assert R.dup_invert(2*x, x**2 - 16) == QQ(1,32)*x
|
||
|
|
|
||
|
|
|
||
|
|
def test_dup_euclidean_prs():
|
||
|
|
R, x = ring("x", QQ)
|
||
|
|
|
||
|
|
f = x**8 + x**6 - 3*x**4 - 3*x**3 + 8*x**2 + 2*x - 5
|
||
|
|
g = 3*x**6 + 5*x**4 - 4*x**2 - 9*x + 21
|
||
|
|
|
||
|
|
assert R.dup_euclidean_prs(f, g) == [
|
||
|
|
f,
|
||
|
|
g,
|
||
|
|
-QQ(5,9)*x**4 + QQ(1,9)*x**2 - QQ(1,3),
|
||
|
|
-QQ(117,25)*x**2 - 9*x + QQ(441,25),
|
||
|
|
QQ(233150,19773)*x - QQ(102500,6591),
|
||
|
|
-QQ(1288744821,543589225)]
|
||
|
|
|
||
|
|
|
||
|
|
def test_dup_primitive_prs():
|
||
|
|
R, x = ring("x", ZZ)
|
||
|
|
|
||
|
|
f = x**8 + x**6 - 3*x**4 - 3*x**3 + 8*x**2 + 2*x - 5
|
||
|
|
g = 3*x**6 + 5*x**4 - 4*x**2 - 9*x + 21
|
||
|
|
|
||
|
|
assert R.dup_primitive_prs(f, g) == [
|
||
|
|
f,
|
||
|
|
g,
|
||
|
|
-5*x**4 + x**2 - 3,
|
||
|
|
13*x**2 + 25*x - 49,
|
||
|
|
4663*x - 6150,
|
||
|
|
1]
|
||
|
|
|
||
|
|
|
||
|
|
def test_dup_subresultants():
|
||
|
|
R, x = ring("x", ZZ)
|
||
|
|
|
||
|
|
assert R.dup_resultant(0, 0) == 0
|
||
|
|
|
||
|
|
assert R.dup_resultant(1, 0) == 0
|
||
|
|
assert R.dup_resultant(0, 1) == 0
|
||
|
|
|
||
|
|
f = x**8 + x**6 - 3*x**4 - 3*x**3 + 8*x**2 + 2*x - 5
|
||
|
|
g = 3*x**6 + 5*x**4 - 4*x**2 - 9*x + 21
|
||
|
|
|
||
|
|
a = 15*x**4 - 3*x**2 + 9
|
||
|
|
b = 65*x**2 + 125*x - 245
|
||
|
|
c = 9326*x - 12300
|
||
|
|
d = 260708
|
||
|
|
|
||
|
|
assert R.dup_subresultants(f, g) == [f, g, a, b, c, d]
|
||
|
|
assert R.dup_resultant(f, g) == R.dup_LC(d)
|
||
|
|
|
||
|
|
f = x**2 - 2*x + 1
|
||
|
|
g = x**2 - 1
|
||
|
|
|
||
|
|
a = 2*x - 2
|
||
|
|
|
||
|
|
assert R.dup_subresultants(f, g) == [f, g, a]
|
||
|
|
assert R.dup_resultant(f, g) == 0
|
||
|
|
|
||
|
|
f = x**2 + 1
|
||
|
|
g = x**2 - 1
|
||
|
|
|
||
|
|
a = -2
|
||
|
|
|
||
|
|
assert R.dup_subresultants(f, g) == [f, g, a]
|
||
|
|
assert R.dup_resultant(f, g) == 4
|
||
|
|
|
||
|
|
f = x**2 - 1
|
||
|
|
g = x**3 - x**2 + 2
|
||
|
|
|
||
|
|
assert R.dup_resultant(f, g) == 0
|
||
|
|
|
||
|
|
f = 3*x**3 - x
|
||
|
|
g = 5*x**2 + 1
|
||
|
|
|
||
|
|
assert R.dup_resultant(f, g) == 64
|
||
|
|
|
||
|
|
f = x**2 - 2*x + 7
|
||
|
|
g = x**3 - x + 5
|
||
|
|
|
||
|
|
assert R.dup_resultant(f, g) == 265
|
||
|
|
|
||
|
|
f = x**3 - 6*x**2 + 11*x - 6
|
||
|
|
g = x**3 - 15*x**2 + 74*x - 120
|
||
|
|
|
||
|
|
assert R.dup_resultant(f, g) == -8640
|
||
|
|
|
||
|
|
f = x**3 - 6*x**2 + 11*x - 6
|
||
|
|
g = x**3 - 10*x**2 + 29*x - 20
|
||
|
|
|
||
|
|
assert R.dup_resultant(f, g) == 0
|
||
|
|
|
||
|
|
f = x**3 - 1
|
||
|
|
g = x**3 + 2*x**2 + 2*x - 1
|
||
|
|
|
||
|
|
assert R.dup_resultant(f, g) == 16
|
||
|
|
|
||
|
|
f = x**8 - 2
|
||
|
|
g = x - 1
|
||
|
|
|
||
|
|
assert R.dup_resultant(f, g) == -1
|
||
|
|
|
||
|
|
|
||
|
|
def test_dmp_subresultants():
|
||
|
|
R, x, y = ring("x,y", ZZ)
|
||
|
|
|
||
|
|
assert R.dmp_resultant(0, 0) == 0
|
||
|
|
assert R.dmp_prs_resultant(0, 0)[0] == 0
|
||
|
|
assert R.dmp_zz_collins_resultant(0, 0) == 0
|
||
|
|
assert R.dmp_qq_collins_resultant(0, 0) == 0
|
||
|
|
|
||
|
|
assert R.dmp_resultant(1, 0) == 0
|
||
|
|
assert R.dmp_resultant(1, 0) == 0
|
||
|
|
assert R.dmp_resultant(1, 0) == 0
|
||
|
|
|
||
|
|
assert R.dmp_resultant(0, 1) == 0
|
||
|
|
assert R.dmp_prs_resultant(0, 1)[0] == 0
|
||
|
|
assert R.dmp_zz_collins_resultant(0, 1) == 0
|
||
|
|
assert R.dmp_qq_collins_resultant(0, 1) == 0
|
||
|
|
|
||
|
|
f = 3*x**2*y - y**3 - 4
|
||
|
|
g = x**2 + x*y**3 - 9
|
||
|
|
|
||
|
|
a = 3*x*y**4 + y**3 - 27*y + 4
|
||
|
|
b = -3*y**10 - 12*y**7 + y**6 - 54*y**4 + 8*y**3 + 729*y**2 - 216*y + 16
|
||
|
|
|
||
|
|
r = R.dmp_LC(b)
|
||
|
|
|
||
|
|
assert R.dmp_subresultants(f, g) == [f, g, a, b]
|
||
|
|
|
||
|
|
assert R.dmp_resultant(f, g) == r
|
||
|
|
assert R.dmp_prs_resultant(f, g)[0] == r
|
||
|
|
assert R.dmp_zz_collins_resultant(f, g) == r
|
||
|
|
assert R.dmp_qq_collins_resultant(f, g) == r
|
||
|
|
|
||
|
|
f = -x**3 + 5
|
||
|
|
g = 3*x**2*y + x**2
|
||
|
|
|
||
|
|
a = 45*y**2 + 30*y + 5
|
||
|
|
b = 675*y**3 + 675*y**2 + 225*y + 25
|
||
|
|
|
||
|
|
r = R.dmp_LC(b)
|
||
|
|
|
||
|
|
assert R.dmp_subresultants(f, g) == [f, g, a]
|
||
|
|
assert R.dmp_resultant(f, g) == r
|
||
|
|
assert R.dmp_prs_resultant(f, g)[0] == r
|
||
|
|
assert R.dmp_zz_collins_resultant(f, g) == r
|
||
|
|
assert R.dmp_qq_collins_resultant(f, g) == r
|
||
|
|
|
||
|
|
R, x, y, z, u, v = ring("x,y,z,u,v", ZZ)
|
||
|
|
|
||
|
|
f = 6*x**2 - 3*x*y - 2*x*z + y*z
|
||
|
|
g = x**2 - x*u - x*v + u*v
|
||
|
|
|
||
|
|
r = y**2*z**2 - 3*y**2*z*u - 3*y**2*z*v + 9*y**2*u*v - 2*y*z**2*u \
|
||
|
|
- 2*y*z**2*v + 6*y*z*u**2 + 12*y*z*u*v + 6*y*z*v**2 - 18*y*u**2*v \
|
||
|
|
- 18*y*u*v**2 + 4*z**2*u*v - 12*z*u**2*v - 12*z*u*v**2 + 36*u**2*v**2
|
||
|
|
|
||
|
|
assert R.dmp_zz_collins_resultant(f, g) == r.drop(x)
|
||
|
|
|
||
|
|
R, x, y, z, u, v = ring("x,y,z,u,v", QQ)
|
||
|
|
|
||
|
|
f = x**2 - QQ(1,2)*x*y - QQ(1,3)*x*z + QQ(1,6)*y*z
|
||
|
|
g = x**2 - x*u - x*v + u*v
|
||
|
|
|
||
|
|
r = QQ(1,36)*y**2*z**2 - QQ(1,12)*y**2*z*u - QQ(1,12)*y**2*z*v + QQ(1,4)*y**2*u*v \
|
||
|
|
- QQ(1,18)*y*z**2*u - QQ(1,18)*y*z**2*v + QQ(1,6)*y*z*u**2 + QQ(1,3)*y*z*u*v \
|
||
|
|
+ QQ(1,6)*y*z*v**2 - QQ(1,2)*y*u**2*v - QQ(1,2)*y*u*v**2 + QQ(1,9)*z**2*u*v \
|
||
|
|
- QQ(1,3)*z*u**2*v - QQ(1,3)*z*u*v**2 + u**2*v**2
|
||
|
|
|
||
|
|
assert R.dmp_qq_collins_resultant(f, g) == r.drop(x)
|
||
|
|
|
||
|
|
Rt, t = ring("t", ZZ)
|
||
|
|
Rx, x = ring("x", Rt)
|
||
|
|
|
||
|
|
f = x**6 - 5*x**4 + 5*x**2 + 4
|
||
|
|
g = -6*t*x**5 + x**4 + 20*t*x**3 - 3*x**2 - 10*t*x + 6
|
||
|
|
|
||
|
|
assert Rx.dup_resultant(f, g) == 2930944*t**6 + 2198208*t**4 + 549552*t**2 + 45796
|
||
|
|
|
||
|
|
|
||
|
|
def test_dup_discriminant():
|
||
|
|
R, x = ring("x", ZZ)
|
||
|
|
|
||
|
|
assert R.dup_discriminant(0) == 0
|
||
|
|
assert R.dup_discriminant(x) == 1
|
||
|
|
|
||
|
|
assert R.dup_discriminant(x**3 + 3*x**2 + 9*x - 13) == -11664
|
||
|
|
assert R.dup_discriminant(5*x**5 + x**3 + 2) == 31252160
|
||
|
|
assert R.dup_discriminant(x**4 + 2*x**3 + 6*x**2 - 22*x + 13) == 0
|
||
|
|
assert R.dup_discriminant(12*x**7 + 15*x**4 + 30*x**3 + x**2 + 1) == -220289699947514112
|
||
|
|
|
||
|
|
|
||
|
|
def test_dmp_discriminant():
|
||
|
|
R, x = ring("x", ZZ)
|
||
|
|
|
||
|
|
assert R.dmp_discriminant(0) == 0
|
||
|
|
|
||
|
|
R, x, y = ring("x,y", ZZ)
|
||
|
|
|
||
|
|
assert R.dmp_discriminant(0) == 0
|
||
|
|
assert R.dmp_discriminant(y) == 0
|
||
|
|
|
||
|
|
assert R.dmp_discriminant(x**3 + 3*x**2 + 9*x - 13) == -11664
|
||
|
|
assert R.dmp_discriminant(5*x**5 + x**3 + 2) == 31252160
|
||
|
|
assert R.dmp_discriminant(x**4 + 2*x**3 + 6*x**2 - 22*x + 13) == 0
|
||
|
|
assert R.dmp_discriminant(12*x**7 + 15*x**4 + 30*x**3 + x**2 + 1) == -220289699947514112
|
||
|
|
|
||
|
|
assert R.dmp_discriminant(x**2*y + 2*y) == (-8*y**2).drop(x)
|
||
|
|
assert R.dmp_discriminant(x*y**2 + 2*x) == 1
|
||
|
|
|
||
|
|
R, x, y, z = ring("x,y,z", ZZ)
|
||
|
|
assert R.dmp_discriminant(x*y + z) == 1
|
||
|
|
|
||
|
|
R, x, y, z, u = ring("x,y,z,u", ZZ)
|
||
|
|
assert R.dmp_discriminant(x**2*y + x*z + u) == (-4*y*u + z**2).drop(x)
|
||
|
|
|
||
|
|
R, x, y, z, u, v = ring("x,y,z,u,v", ZZ)
|
||
|
|
assert R.dmp_discriminant(x**3*y + x**2*z + x*u + v) == \
|
||
|
|
(-27*y**2*v**2 + 18*y*z*u*v - 4*y*u**3 - 4*z**3*v + z**2*u**2).drop(x)
|
||
|
|
|
||
|
|
|
||
|
|
def test_dup_gcd():
|
||
|
|
R, x = ring("x", ZZ)
|
||
|
|
|
||
|
|
f, g = 0, 0
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (0, 0, 0)
|
||
|
|
|
||
|
|
f, g = 2, 0
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2, 1, 0)
|
||
|
|
|
||
|
|
f, g = -2, 0
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2, -1, 0)
|
||
|
|
|
||
|
|
f, g = 0, -2
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2, 0, -1)
|
||
|
|
|
||
|
|
f, g = 0, 2*x + 4
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2*x + 4, 0, 1)
|
||
|
|
|
||
|
|
f, g = 2*x + 4, 0
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2*x + 4, 1, 0)
|
||
|
|
|
||
|
|
f, g = 2, 2
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2, 1, 1)
|
||
|
|
|
||
|
|
f, g = -2, 2
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2, -1, 1)
|
||
|
|
|
||
|
|
f, g = 2, -2
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2, 1, -1)
|
||
|
|
|
||
|
|
f, g = -2, -2
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2, -1, -1)
|
||
|
|
|
||
|
|
f, g = x**2 + 2*x + 1, 1
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (1, x**2 + 2*x + 1, 1)
|
||
|
|
|
||
|
|
f, g = x**2 + 2*x + 1, 2
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (1, x**2 + 2*x + 1, 2)
|
||
|
|
|
||
|
|
f, g = 2*x**2 + 4*x + 2, 2
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2, x**2 + 2*x + 1, 1)
|
||
|
|
|
||
|
|
f, g = 2, 2*x**2 + 4*x + 2
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (2, 1, x**2 + 2*x + 1)
|
||
|
|
|
||
|
|
f, g = 2*x**2 + 4*x + 2, x + 1
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (x + 1, 2*x + 2, 1)
|
||
|
|
|
||
|
|
f, g = x + 1, 2*x**2 + 4*x + 2
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (x + 1, 1, 2*x + 2)
|
||
|
|
|
||
|
|
f, g = x - 31, x
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == R.dup_rr_prs_gcd(f, g) == (1, f, g)
|
||
|
|
|
||
|
|
f = x**4 + 8*x**3 + 21*x**2 + 22*x + 8
|
||
|
|
g = x**3 + 6*x**2 + 11*x + 6
|
||
|
|
|
||
|
|
h = x**2 + 3*x + 2
|
||
|
|
|
||
|
|
cff = x**2 + 5*x + 4
|
||
|
|
cfg = x + 3
|
||
|
|
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == (h, cff, cfg)
|
||
|
|
assert R.dup_rr_prs_gcd(f, g) == (h, cff, cfg)
|
||
|
|
|
||
|
|
f = x**4 - 4
|
||
|
|
g = x**4 + 4*x**2 + 4
|
||
|
|
|
||
|
|
h = x**2 + 2
|
||
|
|
|
||
|
|
cff = x**2 - 2
|
||
|
|
cfg = x**2 + 2
|
||
|
|
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == (h, cff, cfg)
|
||
|
|
assert R.dup_rr_prs_gcd(f, g) == (h, cff, cfg)
|
||
|
|
|
||
|
|
f = x**8 + x**6 - 3*x**4 - 3*x**3 + 8*x**2 + 2*x - 5
|
||
|
|
g = 3*x**6 + 5*x**4 - 4*x**2 - 9*x + 21
|
||
|
|
|
||
|
|
h = 1
|
||
|
|
|
||
|
|
cff = f
|
||
|
|
cfg = g
|
||
|
|
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == (h, cff, cfg)
|
||
|
|
assert R.dup_rr_prs_gcd(f, g) == (h, cff, cfg)
|
||
|
|
|
||
|
|
R, x = ring("x", QQ)
|
||
|
|
|
||
|
|
f = x**8 + x**6 - 3*x**4 - 3*x**3 + 8*x**2 + 2*x - 5
|
||
|
|
g = 3*x**6 + 5*x**4 - 4*x**2 - 9*x + 21
|
||
|
|
|
||
|
|
h = 1
|
||
|
|
|
||
|
|
cff = f
|
||
|
|
cfg = g
|
||
|
|
|
||
|
|
assert R.dup_qq_heu_gcd(f, g) == (h, cff, cfg)
|
||
|
|
assert R.dup_ff_prs_gcd(f, g) == (h, cff, cfg)
|
||
|
|
|
||
|
|
R, x = ring("x", ZZ)
|
||
|
|
|
||
|
|
f = - 352518131239247345597970242177235495263669787845475025293906825864749649589178600387510272*x**49 \
|
||
|
|
+ 46818041807522713962450042363465092040687472354933295397472942006618953623327997952*x**42 \
|
||
|
|
+ 378182690892293941192071663536490788434899030680411695933646320291525827756032*x**35 \
|
||
|
|
+ 112806468807371824947796775491032386836656074179286744191026149539708928*x**28 \
|
||
|
|
- 12278371209708240950316872681744825481125965781519138077173235712*x**21 \
|
||
|
|
+ 289127344604779611146960547954288113529690984687482920704*x**14 \
|
||
|
|
+ 19007977035740498977629742919480623972236450681*x**7 \
|
||
|
|
+ 311973482284542371301330321821976049
|
||
|
|
|
||
|
|
g = 365431878023781158602430064717380211405897160759702125019136*x**21 \
|
||
|
|
+ 197599133478719444145775798221171663643171734081650688*x**14 \
|
||
|
|
- 9504116979659010018253915765478924103928886144*x**7 \
|
||
|
|
- 311973482284542371301330321821976049
|
||
|
|
|
||
|
|
assert R.dup_zz_heu_gcd(f, R.dup_diff(f, 1))[0] == g
|
||
|
|
assert R.dup_rr_prs_gcd(f, R.dup_diff(f, 1))[0] == g
|
||
|
|
|
||
|
|
R, x = ring("x", QQ)
|
||
|
|
|
||
|
|
f = QQ(1,2)*x**2 + x + QQ(1,2)
|
||
|
|
g = QQ(1,2)*x + QQ(1,2)
|
||
|
|
|
||
|
|
h = x + 1
|
||
|
|
|
||
|
|
assert R.dup_qq_heu_gcd(f, g) == (h, g, QQ(1,2))
|
||
|
|
assert R.dup_ff_prs_gcd(f, g) == (h, g, QQ(1,2))
|
||
|
|
|
||
|
|
R, x = ring("x", ZZ)
|
||
|
|
|
||
|
|
f = 1317378933230047068160*x + 2945748836994210856960
|
||
|
|
g = 120352542776360960*x + 269116466014453760
|
||
|
|
|
||
|
|
h = 120352542776360960*x + 269116466014453760
|
||
|
|
cff = 10946
|
||
|
|
cfg = 1
|
||
|
|
|
||
|
|
assert R.dup_zz_heu_gcd(f, g) == (h, cff, cfg)
|
||
|
|
|
||
|
|
|
||
|
|
def test_dmp_gcd():
|
||
|
|
R, x, y = ring("x,y", ZZ)
|
||
|
|
|
||
|
|
f, g = 0, 0
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (0, 0, 0)
|
||
|
|
|
||
|
|
f, g = 2, 0
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2, 1, 0)
|
||
|
|
|
||
|
|
f, g = -2, 0
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2, -1, 0)
|
||
|
|
|
||
|
|
f, g = 0, -2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2, 0, -1)
|
||
|
|
|
||
|
|
f, g = 0, 2*x + 4
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2*x + 4, 0, 1)
|
||
|
|
|
||
|
|
f, g = 2*x + 4, 0
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2*x + 4, 1, 0)
|
||
|
|
|
||
|
|
f, g = 2, 2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2, 1, 1)
|
||
|
|
|
||
|
|
f, g = -2, 2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2, -1, 1)
|
||
|
|
|
||
|
|
f, g = 2, -2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2, 1, -1)
|
||
|
|
|
||
|
|
f, g = -2, -2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2, -1, -1)
|
||
|
|
|
||
|
|
f, g = x**2 + 2*x + 1, 1
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (1, x**2 + 2*x + 1, 1)
|
||
|
|
|
||
|
|
f, g = x**2 + 2*x + 1, 2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (1, x**2 + 2*x + 1, 2)
|
||
|
|
|
||
|
|
f, g = 2*x**2 + 4*x + 2, 2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2, x**2 + 2*x + 1, 1)
|
||
|
|
|
||
|
|
f, g = 2, 2*x**2 + 4*x + 2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (2, 1, x**2 + 2*x + 1)
|
||
|
|
|
||
|
|
f, g = 2*x**2 + 4*x + 2, x + 1
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (x + 1, 2*x + 2, 1)
|
||
|
|
|
||
|
|
f, g = x + 1, 2*x**2 + 4*x + 2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (x + 1, 1, 2*x + 2)
|
||
|
|
|
||
|
|
R, x, y, z, u = ring("x,y,z,u", ZZ)
|
||
|
|
|
||
|
|
f, g = u**2 + 2*u + 1, 2*u + 2
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == R.dmp_rr_prs_gcd(f, g) == (u + 1, u + 1, 2)
|
||
|
|
|
||
|
|
f, g = z**2*u**2 + 2*z**2*u + z**2 + z*u + z, u**2 + 2*u + 1
|
||
|
|
h, cff, cfg = u + 1, z**2*u + z**2 + z, u + 1
|
||
|
|
|
||
|
|
assert R.dmp_zz_heu_gcd(f, g) == (h, cff, cfg)
|
||
|
|
assert R.dmp_rr_prs_gcd(f, g) == (h, cff, cfg)
|
||
|
|
|
||
|
|
assert R.dmp_zz_heu_gcd(g, f) == (h, cfg, cff)
|
||
|
|
assert R.dmp_rr_prs_gcd(g, f) == (h, cfg, cff)
|
||
|
|
|
||
|
|
R, x, y, z = ring("x,y,z", ZZ)
|
||
|
|
|
||
|
|
f, g, h = map(R.from_dense, dmp_fateman_poly_F_1(2, ZZ))
|
||
|
|
H, cff, cfg = R.dmp_zz_heu_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
H, cff, cfg = R.dmp_rr_prs_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
R, x, y, z, u, v = ring("x,y,z,u,v", ZZ)
|
||
|
|
|
||
|
|
f, g, h = map(R.from_dense, dmp_fateman_poly_F_1(4, ZZ))
|
||
|
|
H, cff, cfg = R.dmp_zz_heu_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
R, x, y, z, u, v, a, b = ring("x,y,z,u,v,a,b", ZZ)
|
||
|
|
|
||
|
|
f, g, h = map(R.from_dense, dmp_fateman_poly_F_1(6, ZZ))
|
||
|
|
H, cff, cfg = R.dmp_zz_heu_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
R, x, y, z, u, v, a, b, c, d = ring("x,y,z,u,v,a,b,c,d", ZZ)
|
||
|
|
|
||
|
|
f, g, h = map(R.from_dense, dmp_fateman_poly_F_1(8, ZZ))
|
||
|
|
H, cff, cfg = R.dmp_zz_heu_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
R, x, y, z = ring("x,y,z", ZZ)
|
||
|
|
|
||
|
|
f, g, h = map(R.from_dense, dmp_fateman_poly_F_2(2, ZZ))
|
||
|
|
H, cff, cfg = R.dmp_zz_heu_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
H, cff, cfg = R.dmp_rr_prs_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
f, g, h = map(R.from_dense, dmp_fateman_poly_F_3(2, ZZ))
|
||
|
|
H, cff, cfg = R.dmp_zz_heu_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
H, cff, cfg = R.dmp_rr_prs_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
R, x, y, z, u, v = ring("x,y,z,u,v", ZZ)
|
||
|
|
|
||
|
|
f, g, h = map(R.from_dense, dmp_fateman_poly_F_3(4, ZZ))
|
||
|
|
H, cff, cfg = R.dmp_inner_gcd(f, g)
|
||
|
|
|
||
|
|
assert H == h and R.dmp_mul(H, cff) == f \
|
||
|
|
and R.dmp_mul(H, cfg) == g
|
||
|
|
|
||
|
|
R, x, y = ring("x,y", QQ)
|
||
|
|
|
||
|
|
f = QQ(1,2)*x**2 + x + QQ(1,2)
|
||
|
|
g = QQ(1,2)*x + QQ(1,2)
|
||
|
|
|
||
|
|
h = x + 1
|
||
|
|
|
||
|
|
assert R.dmp_qq_heu_gcd(f, g) == (h, g, QQ(1,2))
|
||
|
|
assert R.dmp_ff_prs_gcd(f, g) == (h, g, QQ(1,2))
|
||
|
|
|
||
|
|
R, x, y = ring("x,y", RR)
|
||
|
|
|
||
|
|
f = 2.1*x*y**2 - 2.2*x*y + 2.1*x
|
||
|
|
g = 1.0*x**3
|
||
|
|
|
||
|
|
assert R.dmp_ff_prs_gcd(f, g) == \
|
||
|
|
(1.0*x, 2.1*y**2 - 2.2*y + 2.1, 1.0*x**2)
|
||
|
|
|
||
|
|
|
||
|
|
def test_dup_lcm():
|
||
|
|
R, x = ring("x", ZZ)
|
||
|
|
|
||
|
|
assert R.dup_lcm(2, 6) == 6
|
||
|
|
|
||
|
|
assert R.dup_lcm(2*x**3, 6*x) == 6*x**3
|
||
|
|
assert R.dup_lcm(2*x**3, 3*x) == 6*x**3
|
||
|
|
|
||
|
|
assert R.dup_lcm(x**2 + x, x) == x**2 + x
|
||
|
|
assert R.dup_lcm(x**2 + x, 2*x) == 2*x**2 + 2*x
|
||
|
|
assert R.dup_lcm(x**2 + 2*x, x) == x**2 + 2*x
|
||
|
|
assert R.dup_lcm(2*x**2 + x, x) == 2*x**2 + x
|
||
|
|
assert R.dup_lcm(2*x**2 + x, 2*x) == 4*x**2 + 2*x
|
||
|
|
|
||
|
|
|
||
|
|
def test_dmp_lcm():
|
||
|
|
R, x, y = ring("x,y", ZZ)
|
||
|
|
|
||
|
|
assert R.dmp_lcm(2, 6) == 6
|
||
|
|
assert R.dmp_lcm(x, y) == x*y
|
||
|
|
|
||
|
|
assert R.dmp_lcm(2*x**3, 6*x*y**2) == 6*x**3*y**2
|
||
|
|
assert R.dmp_lcm(2*x**3, 3*x*y**2) == 6*x**3*y**2
|
||
|
|
|
||
|
|
assert R.dmp_lcm(x**2*y, x*y**2) == x**2*y**2
|
||
|
|
|
||
|
|
f = 2*x*y**5 - 3*x*y**4 - 2*x*y**3 + 3*x*y**2
|
||
|
|
g = y**5 - 2*y**3 + y
|
||
|
|
h = 2*x*y**7 - 3*x*y**6 - 4*x*y**5 + 6*x*y**4 + 2*x*y**3 - 3*x*y**2
|
||
|
|
|
||
|
|
assert R.dmp_lcm(f, g) == h
|
||
|
|
|
||
|
|
f = x**3 - 3*x**2*y - 9*x*y**2 - 5*y**3
|
||
|
|
g = x**4 + 6*x**3*y + 12*x**2*y**2 + 10*x*y**3 + 3*y**4
|
||
|
|
h = x**5 + x**4*y - 18*x**3*y**2 - 50*x**2*y**3 - 47*x*y**4 - 15*y**5
|
||
|
|
|
||
|
|
assert R.dmp_lcm(f, g) == h
|
||
|
|
|
||
|
|
|
||
|
|
def test_dmp_content():
|
||
|
|
R, x,y = ring("x,y", ZZ)
|
||
|
|
|
||
|
|
assert R.dmp_content(-2) == 2
|
||
|
|
|
||
|
|
f, g, F = 3*y**2 + 2*y + 1, 1, 0
|
||
|
|
|
||
|
|
for i in range(0, 5):
|
||
|
|
g *= f
|
||
|
|
F += x**i*g
|
||
|
|
|
||
|
|
assert R.dmp_content(F) == f.drop(x)
|
||
|
|
|
||
|
|
R, x,y,z = ring("x,y,z", ZZ)
|
||
|
|
|
||
|
|
assert R.dmp_content(f_4) == 1
|
||
|
|
assert R.dmp_content(f_5) == 1
|
||
|
|
|
||
|
|
R, x,y,z,t = ring("x,y,z,t", ZZ)
|
||
|
|
assert R.dmp_content(f_6) == 1
|
||
|
|
|
||
|
|
|
||
|
|
def test_dmp_primitive():
|
||
|
|
R, x,y = ring("x,y", ZZ)
|
||
|
|
|
||
|
|
assert R.dmp_primitive(0) == (0, 0)
|
||
|
|
assert R.dmp_primitive(1) == (1, 1)
|
||
|
|
|
||
|
|
f, g, F = 3*y**2 + 2*y + 1, 1, 0
|
||
|
|
|
||
|
|
for i in range(0, 5):
|
||
|
|
g *= f
|
||
|
|
F += x**i*g
|
||
|
|
|
||
|
|
assert R.dmp_primitive(F) == (f.drop(x), F / f)
|
||
|
|
|
||
|
|
R, x,y,z = ring("x,y,z", ZZ)
|
||
|
|
|
||
|
|
cont, f = R.dmp_primitive(f_4)
|
||
|
|
assert cont == 1 and f == f_4
|
||
|
|
cont, f = R.dmp_primitive(f_5)
|
||
|
|
assert cont == 1 and f == f_5
|
||
|
|
|
||
|
|
R, x,y,z,t = ring("x,y,z,t", ZZ)
|
||
|
|
|
||
|
|
cont, f = R.dmp_primitive(f_6)
|
||
|
|
assert cont == 1 and f == f_6
|
||
|
|
|
||
|
|
|
||
|
|
def test_dup_cancel():
|
||
|
|
R, x = ring("x", ZZ)
|
||
|
|
|
||
|
|
f = 2*x**2 - 2
|
||
|
|
g = x**2 - 2*x + 1
|
||
|
|
|
||
|
|
p = 2*x + 2
|
||
|
|
q = x - 1
|
||
|
|
|
||
|
|
assert R.dup_cancel(f, g) == (p, q)
|
||
|
|
assert R.dup_cancel(f, g, include=False) == (1, 1, p, q)
|
||
|
|
|
||
|
|
f = -x - 2
|
||
|
|
g = 3*x - 4
|
||
|
|
|
||
|
|
F = x + 2
|
||
|
|
G = -3*x + 4
|
||
|
|
|
||
|
|
assert R.dup_cancel(f, g) == (f, g)
|
||
|
|
assert R.dup_cancel(F, G) == (f, g)
|
||
|
|
|
||
|
|
assert R.dup_cancel(0, 0) == (0, 0)
|
||
|
|
assert R.dup_cancel(0, 0, include=False) == (1, 1, 0, 0)
|
||
|
|
|
||
|
|
assert R.dup_cancel(x, 0) == (1, 0)
|
||
|
|
assert R.dup_cancel(x, 0, include=False) == (1, 1, 1, 0)
|
||
|
|
|
||
|
|
assert R.dup_cancel(0, x) == (0, 1)
|
||
|
|
assert R.dup_cancel(0, x, include=False) == (1, 1, 0, 1)
|
||
|
|
|
||
|
|
f = 0
|
||
|
|
g = x
|
||
|
|
one = 1
|
||
|
|
|
||
|
|
assert R.dup_cancel(f, g, include=True) == (f, one)
|
||
|
|
|
||
|
|
|
||
|
|
def test_dmp_cancel():
|
||
|
|
R, x, y = ring("x,y", ZZ)
|
||
|
|
|
||
|
|
f = 2*x**2 - 2
|
||
|
|
g = x**2 - 2*x + 1
|
||
|
|
|
||
|
|
p = 2*x + 2
|
||
|
|
q = x - 1
|
||
|
|
|
||
|
|
assert R.dmp_cancel(f, g) == (p, q)
|
||
|
|
assert R.dmp_cancel(f, g, include=False) == (1, 1, p, q)
|
||
|
|
|
||
|
|
assert R.dmp_cancel(0, 0) == (0, 0)
|
||
|
|
assert R.dmp_cancel(0, 0, include=False) == (1, 1, 0, 0)
|
||
|
|
|
||
|
|
assert R.dmp_cancel(y, 0) == (1, 0)
|
||
|
|
assert R.dmp_cancel(y, 0, include=False) == (1, 1, 1, 0)
|
||
|
|
|
||
|
|
assert R.dmp_cancel(0, y) == (0, 1)
|
||
|
|
assert R.dmp_cancel(0, y, include=False) == (1, 1, 0, 1)
|