[Maxima-bugs] [ maxima-Bugs-625226 ] Factor errors: finite modulus, 3 vrbls

[SourceForge.net <no...@so...>]

Bugs item #625226, was opened at 2002-10-18 07:50
Message generated for change (Settings changed) made by robert_dodier
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=625226&group_id=4933

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
>Category: Lisp Core
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Factor errors: finite modulus, 3 vrbls

Initial Comment:

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 

----------------------------------------------------------------------

Comment By: Stavros Macrakis (macrakis)
Date: 2002-10-18 10:39

Message:
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).

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=625226&group_id=4933