1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
Testing("UnivariatePolynomialFactorization");
Verify(Factors(x^2-4),{{x-2,1},{x+2,1}});
Verify(Factors(x^2+2*x+1),{{x+1,2}});
Verify(Factors(-9*x^2+45*x-36),{{-9,1},{x-4,1},{x-1,1}});
Verify(Factors(9*x^2-1),{{3*x-1,1},{3*x+1,1}});
Verify(Factors(4*x^3+12*x^2-40*x),{{4,1},{x,1},{x-2,1},{x+5,1}});
Verify(Factors(32*x^3+32*x^2-70*x-75),{{2*x-3,1},{4*x+5,2}});
Verify(Factors(3*x^3-12*x^2-2*x+8),{{x-4,1},{3*x^2-2,1}});
Verify(Factors(x^3+3*x^2-25*x-75),{{x-5,1},{x+3,1},{x+5,1}});
Verify(Factors(2*x^3-30*x^2+12*x^4),{{2,1},{x,2},{2*x-3,1},{3*x+5,1}});
Verify(Factors(5*x^7-20*x^6+25*x^5-20*x^4+25*x^3-20*x^2+20*x),{{5,1},{x,1},{x-2,2},{x^2-x+1,1},{x^2+x+1,1}});
Verify(Factors((2/5)*x^2-2*x-(12/5)), {{2/5,1},{x-6,1},{x+1,1}});
Verify(Factors(.4*x^2-2*x-2.4), {{2/5,1},{x-6,1},{x+1,1}});
Verify(Factors(x^3+1), {{x+1,1},{x^2-x+1,1}});
Verify(Factors(x^4-1), {{x-1,1},{x+1,1},{x^2+1,1}});
Verify(Factors(x^5-1), {{x-1,1},{x^4+x^3+x^2+x+1,1}});
Verify(Factors(x^5+1), {{x+1,1},{x^4-x^3+x^2-x+1,1}});
Testing("BivariatePolynomialFactorization");
Verify(Factors(-7*x-14*y),{{-7,1},{2*y+x,1}});
Verify(Factors(x^2-a^2),{{x-a,1},{a+x,1}});
Verify(Factors(a^2+2*a*b+b^2),{{a+b,2}});
Verify(Factors(x^3-y^3),{{x-y,1},{y^2+y*x+x^2,1}});
Verify(Factors(x^3+a^3),{{a+x,1},{a^2-a*x+x^2,1}});
Verify(Factors(x^6-a^6),{{x-a,1},{a+x,1},{a^2-a*x+x^2,1},{a^2+a*x+x^2,1}});
Verify(Factors(3*x^2-x*y-10*y^2),{{3*x+5*y,1},{x-2*y,1}});
|
