#163 Factor errors: finite modulus, 3 vrbls

[Stavros Macrakis]

poly: (x+y+z)*(w+y+z)*(w+x+z);
factor(rat(poly)),modulus:2;
=>
Not enough choices for substitution. -- an error.

factor(rat(poly)),modulus:3 => irreducible (WRONG)

factor(rat(poly)),modulus:5 => OK
factor(rat(poly)),modulus:1031 => OK
factor(rat(poly)),modulus:1048583 => OK (but slow)

poly1: (y+x)*(z+x)*(z+x+w)*(z+y)*(z+y+w)*(z+y+x)

factor(rat(poly1)),modulus: xxx
=>
Not enough choices for substitution. -- an error.
for modulus= 2,3,5,7,11,1031,1048583

[Stavros Macrakis]

Logged In: YES
user_id=588346

factor(rat(x^5+y^5)),modulus:2 also thinks it's irreducible, but
in fact it is = (y+x)*(y^4+x*y^3+x^2*y^2+x^3*y+x^4).

[Robert Dodier]

Logged In: YES
user_id=501686

Same behavior observed in Maxima 5.9.3cvs / GCL 2.6.7 /
Linux for all examples (both in original report and in
comment dated 2002-10-18).