From: Henry B. <hb...@pi...> - 2014-05-30 23:14:47
|
Thanks, Thomas! Well, it looks like Maxima factor needs some work, because both Maple & Macauley2 can factor this polynomial, but Maxima can't. At 04:08 PM 5/30/2014, Thomas D. Dean wrote: >On 05/30/14 11:43, Henry Baker wrote: >> OK, here's the 310-term polynomial that exhausts CONS space on 5.31.2: >> >> Can anyone else factor this? > >maple11 gives >(x2*k+q0*x2*y1^2-q0*x1*y1*y2) > >(x2^2*k^2+k^2*y2^2+k*q0^3+q0^4*x1^2+q0^4*y1^2+k* > q0*x2^2*y1^2-2*x1*q0*k*x2*y1*y2+x1^2*q0*k*y2^2) > >(2*q0^3*x1^6*x2^3*y2^4-2*q0^3* >x1^6*x2*y2^6-8*q0^3*x1^5*x2^4*y1*y2^3+14*q0^3*x1^5*x2^2*y1*y2^5-2*q0^3*x1^5*y1 >*y2^7-36*q0^3*x1^4*x2^3*y1^2*y2^4+12*q0^3*x1^4*x2*y1^2*y2^6+44*q0^3*x1^3*x2^4* >y1^3*y2^3-28*q0^3*x1^3*x2^2*y1^3*y2^5+32*q0^3*x1^2*x2^3*y1^4*y2^4-18*q0^3*x1* >x2^4*y1^5*y2^3-2*k*q0^2*x1^4*x2*y2^6+5*k*q0^2*x1^3*x2^4*y1*y2^3+6*k*q0^2*x1^3* >x2^2*y1*y2^5-3*k*q0^2*x1^3*y1*y2^7+x2^7*k^3-q0^4*k*x1^2*x2^5+q0^3*k^2*x2^5+11* >k*q0^2*x1^2*x2*y1^2*y2^6-10*k*q0^2*x1*x2^4*y1^3*y2^3-13*k*q0^2*x1*x2^2*y1^3*y2 >^5+5*k*q0^2*x2^3*y1^4*y2^4+2*q0^5*x1^4*x2*y2^4-12*q0^5*x1^3*x2^2*y1*y2^3+q0^5* >x1^3*y1*y2^5-7*q0^5*x1^2*x2*y1^2*y2^4+8*q0^5*x1*x2^2*y1^3*y2^3-q0^5*x1*y1^3*y2 >^5+q0^5*x2*y1^4*y2^4+2*k^2*q0*x1^2*x2^3*y2^4+k^2*q0*x1^2*x2*y2^6-7*k^2*q0*x1* >x2^4*y1*y2^3-5*k^2*q0*x1*x2^2*y1*y2^5-k^2*q0*x1*y1*y2^7+4*k^2*q0*x2^3*y1^2*y2^ >4+k^2*q0*x2*y1^2*y2^6+3*k*q0^4*x1^2*x2*y2^4-6*k*q0^4*x1*x2^2*y1*y2^3+k*q0^4*x1 >*y1*y2^5-2*k*q0^4*x2*y1^2*y2^4+k^2*q0^3*x2*y2^4+3*x2^3*k^3*y2^4+3*x2^5*k^3*y2^ >2+x2*k^3*y2^6-q0^5*x1^2*x2^5*y1^2+2*q0^4*k*x2^5*y1^2+2*k^2*q0*x2^7*y1^2+2*k*q0 >^2*x1^2*x2^7*y1^2+2*q0^3*x1^2*x2^7*y1^4+k*q0^2*x2^7*y1^4+q0^5*x2^5*y1^4-9*k*q0 >^2*x1^2*x2^5*y1^2*y2^2-2*q0^5*x1^4*x2^3*y2^2+2*q0^3*k^2*x2^3*y2^2+4*q0^3*x2^5* >y1^6*y2^2-2*q0^5*x2^3*y1^4*y2^2+2*q0^4*k*x1^2*x2^3*y2^2+2*x1^4*q0^2*k*x2^5*y2^ >2+x1^2*q0*k^2*x2^5*y2^2+16*q0^5*x1^2*x2^3*y1^2*y2^2+12*q0^3*x1^4*x2^5*y1^2*y2^ >2+5*k^2*q0*x2^5*y1^2*y2^2-26*q0^3*x1^2*x2^5*y1^4*y2^2+6*k*q0^2*x2^5*y1^4*y2^2+ >3*q0^5*x1^3*x2^4*y1*y2-8*q0^3*x1^3*x2^6*y1^3*y2+6*q0^3*x1*x2^6*y1^5*y2-7*q0^5* >x1*x2^4*y1^3*y2-7*q0^4*k*x1*x2^4*y1*y2-3*x1*q0*k^2*x2^6*y1*y2-4*q0^2*x1^3*k*x2 >^6*y1*y2+3*k*q0^2*x1*x2^6*y1^3*y2) > >Tom Dean |