|
|
|
last edited 10 years ago by test1 |
Edit detail for FactorizationExample revision 1 of 1
| 1 | ||
|
Editor: test1
Time: 2014/06/03 17:42:26 GMT+0 |
||
| Note: | ||
changed: - The following example appeared on Maxima list. Maxima needs 3.5 GB memory and almost a hour to do it. In FriCAS it is much faster: \begin{axiom} )set messages time on )set output tex off )set output algebra on )nopile parenthesis pol := (2*k*q0^5*x1^8*y1^2*y2^10+5*k^2*q0^4*x1^6*y1^2*y2^10 +4*k^3*q0^3*x1^4*y1^2*y2^10 +k^4*q0^2*x1^2*y1^2*y2^10-18*k*q0^5*x1^7*x2*y1^3*y2^9 -34*k^2*q0^4*x1^5*x2*y1^3*y2^9 -18*k^3*q0^3*x1^3*x2*y1^3*y2^9 -2*k^4*q0^2*x1*x2*y1^3*y2^9+2*k*q0^5*x1^9*x2*y1*y2^9 +2*k^2*q0^4*x1^7*x2*y1*y2^9-4*k^3*q0^3*x1^5*x2*y1*y2^9 -6*k^4*q0^2*x1^3*x2*y1*y2^9-2*k^5*q0*x1*x2*y1*y2^9 +70*k*q0^5*x1^6*x2^2*y1^4*y2^8 +95*k^2*q0^4*x1^4*x2^2*y1^4*y2^8 +30*k^3*q0^3*x1^2*x2^2*y1^4*y2^8 +k^4*q0^2*x2^2*y1^4*y2^8+2*q0^8*x1^6*y1^4*y2^8 +4*k*q0^7*x1^4*y1^4*y2^8+2*k^2*q0^6*x1^2*y1^4*y2^8 -20*k*q0^5*x1^8*x2^2*y1^2*y2^8 -10*k^2*q0^4*x1^6*x2^2*y1^2*y2^8 +32*k^3*q0^3*x1^4*x2^2*y1^2*y2^8 +24*k^4*q0^2*x1^2*x2^2*y1^2*y2^8 +2*k^5*q0*x2^2*y1^2*y2^8+2*q0^8*x1^8*y1^2*y2^8 +4*k*q0^7*x1^6*y1^2*y2^8+2*k^2*q0^6*x1^4*y1^2*y2^8 -2*k^2*q0^4*x1^8*x2^2*y2^8-4*k^3*q0^3*x1^6*x2^2*y2^8 -k^4*q0^2*x1^4*x2^2*y2^8+2*k^5*q0*x1^2*x2^2*y2^8 +k^6*x2^2*y2^8-154*k*q0^5*x1^5*x2^3*y1^5*y2^7 -140*k^2*q0^4*x1^3*x2^3*y1^5*y2^7 -22*k^3*q0^3*x1*x2^3*y1^5*y2^7 -14*q0^8*x1^5*x2*y1^5*y2^7-18*k*q0^7*x1^3*x2*y1^5*y2^7 -4*k^2*q0^6*x1*x2*y1^5*y2^7 +84*k*q0^5*x1^7*x2^3*y1^3*y2^7 +6*k^2*q0^4*x1^5*x2^3*y1^3*y2^7 -96*k^3*q0^3*x1^3*x2^3*y1^3*y2^7 -30*k^4*q0^2*x1*x2^3*y1^3*y2^7 -12*q0^8*x1^7*x2*y1^3*y2^7-18*k*q0^7*x1^5*x2*y1^3*y2^7 -8*k^2*q0^6*x1^3*x2*y1^3*y2^7 -2*k^3*q0^5*x1*x2*y1^3*y2^7-2*k*q0^5*x1^9*x2^3*y1*y2^7 +18*k^2*q0^4*x1^7*x2^3*y1*y2^7 +22*k^3*q0^3*x1^5*x2^3*y1*y2^7 -10*k^4*q0^2*x1^3*x2^3*y1*y2^7 -12*k^5*q0*x1*x2^3*y1*y2^7+2*q0^8*x1^9*x2*y1*y2^7 -8*k^2*q0^6*x1^5*x2*y1*y2^7-8*k^3*q0^5*x1^3*x2*y1*y2^7 -2*k^4*q0^4*x1*x2*y1*y2^7 +210*k*q0^5*x1^4*x2^4*y1^6*y2^6 +115*k^2*q0^4*x1^2*x2^4*y1^6*y2^6 +6*k^3*q0^3*x2^4*y1^6*y2^6+40*q0^8*x1^4*x2^2*y1^6*y2^6 +30*k*q0^7*x1^2*x2^2*y1^6*y2^6 +2*k^2*q0^6*x2^2*y1^6*y2^6+q0^10*x1^2*y1^6*y2^6 -196*k*q0^5*x1^6*x2^4*y1^4*y2^6 +50*k^2*q0^4*x1^4*x2^4*y1^4*y2^6 +136*k^3*q0^3*x1^2*x2^4*y1^4*y2^6 +12*k^4*q0^2*x2^4*y1^4*y2^6 +24*q0^8*x1^6*x2^2*y1^4*y2^6 +36*k*q0^7*x1^4*x2^2*y1^4*y2^6 +22*k^2*q0^6*x1^2*x2^2*y1^4*y2^6 +2*k^3*q0^5*x2^2*y1^4*y2^6 +14*k*q0^5*x1^8*x2^4*y1^2*y2^6 -77*k^2*q0^4*x1^6*x2^4*y1^2*y2^6 -38*k^3*q0^3*x1^4*x2^4*y1^2*y2^6 +50*k^4*q0^2*x1^2*x2^4*y1^2*y2^6 +10*k^5*q0*x2^4*y1^2*y2^6-16*q0^8*x1^8*x2^2*y1^2*y2^6 +4*k*q0^7*x1^6*x2^2*y1^2*y2^6 +38*k^2*q0^6*x1^4*x2^2*y1^2*y2^6 +20*k^3*q0^5*x1^2*x2^2*y1^2*y2^6 +2*k^4*q0^4*x2^2*y1^2*y2^6-q0^10*x1^6*y1^2*y2^6 -2*k*q0^9*x1^4*y1^2*y2^6-k^2*q0^8*x1^2*y1^2*y2^6 +2*k^2*q0^4*x1^8*x2^4*y2^6+6*k^5*q0*x1^2*x2^4*y2^6 +4*k^6*x2^4*y2^6-2*k*q0^7*x1^8*x2^2*y2^6 -2*k^2*q0^6*x1^6*x2^2*y2^6+4*k^3*q0^5*x1^4*x2^2*y2^6 +6*k^4*q0^4*x1^2*x2^2*y2^6+2*k^5*q0^3*x2^2*y2^6 -182*k*q0^5*x1^3*x2^5*y1^7*y2^5 -50*k^2*q0^4*x1*x2^5*y1^7*y2^5 -60*q0^8*x1^3*x2^3*y1^7*y2^5 -22*k*q0^7*x1*x2^3*y1^7*y2^5-2*q0^10*x1*x2*y1^7*y2^5 +280*k*q0^5*x1^5*x2^5*y1^5*y2^5 -130*k^2*q0^4*x1^3*x2^5*y1^5*y2^5 -92*k^3*q0^3*x1*x2^5*y1^5*y2^5 -10*q0^8*x1^5*x2^3*y1^5*y2^5 -52*k*q0^7*x1^3*x2^3*y1^5*y2^5 -28*k^2*q0^6*x1*x2^3*y1^5*y2^5 +6*q0^10*x1^3*x2*y1^5*y2^5 -42*k*q0^5*x1^7*x2^5*y1^3*y2^5 +184*k^2*q0^4*x1^5*x2^5*y1^3*y2^5 -66*k^4*q0^2*x1*x2^5*y1^3*y2^5 +48*q0^8*x1^7*x2^3*y1^3*y2^5 -16*k*q0^7*x1^5*x2^3*y1^3*y2^5 -64*k^2*q0^6*x1^3*x2^3*y1^3*y2^5 -24*k^3*q0^5*x1*x2^3*y1^3*y2^5 +6*q0^10*x1^5*x2*y1^3*y2^5+8*k*q0^9*x1^3*x2*y1^3*y2^5 +2*k^2*q0^8*x1*x2*y1^3*y2^5 -16*k^2*q0^4*x1^7*x2^5*y1*y2^5 +8*k^3*q0^3*x1^5*x2^5*y1*y2^5 -6*k^4*q0^2*x1^3*x2^5*y1*y2^5 -24*k^5*q0*x1*x2^5*y1*y2^5-2*q0^8*x1^9*x2^3*y1*y2^5 +14*k*q0^7*x1^7*x2^3*y1*y2^5 -34*k^3*q0^5*x1^3*x2^3*y1*y2^5 -18*k^4*q0^4*x1*x2^3*y1*y2^5-2*q0^10*x1^7*x2*y1*y2^5 -4*k*q0^9*x1^5*x2*y1*y2^5-2*k^2*q0^8*x1^3*x2*y1*y2^5 +98*k*q0^5*x1^2*x2^6*y1^8*y2^4 +9*k^2*q0^4*x2^6*y1^8*y2^4+50*q0^8*x1^2*x2^4*y1^8*y2^4 +6*k*q0^7*x2^4*y1^8*y2^4+q0^10*x2^2*y1^8*y2^4 -252*k*q0^5*x1^4*x2^6*y1^6*y2^4 +138*k^2*q0^4*x1^2*x2^6*y1^6*y2^4 +24*k^3*q0^3*x2^6*y1^6*y2^4 -30*q0^8*x1^4*x2^4*y1^6*y2^4 +60*k*q0^7*x1^2*x2^4*y1^6*y2^4 +12*k^2*q0^6*x2^4*y1^6*y2^4 -14*q0^10*x1^2*x2^2*y1^6*y2^4 +70*k*q0^5*x1^6*x2^6*y1^4*y2^4 -255*k^2*q0^4*x1^4*x2^6*y1^4*y2^4 +68*k^3*q0^3*x1^2*x2^6*y1^4*y2^4 +27*k^4*q0^2*x2^6*y1^4*y2^4 -70*q0^8*x1^6*x2^4*y1^4*y2^4 +14*k*q0^7*x1^4*x2^4*y1^4*y2^4 +64*k^2*q0^6*x1^2*x2^4*y1^4*y2^4 +12*k^3*q0^5*x2^4*y1^4*y2^4-q0^10*x1^4*x2^2*y1^4*y2^4 -14*k*q0^9*x1^2*x2^2*y1^4*y2^4 -2*k^2*q0^8*x2^2*y1^4*y2^4 +50*k^2*q0^4*x1^6*x2^6*y1^2*y2^4 -36*k^3*q0^3*x1^4*x2^6*y1^2*y2^4 +34*k^4*q0^2*x1^2*x2^6*y1^2*y2^4 +18*k^5*q0*x2^6*y1^2*y2^4+10*q0^8*x1^8*x2^4*y1^2*y2^4 -38*k*q0^7*x1^6*x2^4*y1^2*y2^4 +32*k^2*q0^6*x1^4*x2^4*y1^2*y2^4 +66*k^3*q0^5*x1^2*x2^4*y1^2*y2^4 +12*k^4*q0^4*x2^4*y1^2*y2^4 +14*q0^10*x1^6*x2^2*y1^2*y2^4 +18*k*q0^9*x1^4*x2^2*y1^2*y2^4 +4*k^2*q0^8*x1^2*x2^2*y1^2*y2^4 +4*k^3*q0^3*x1^6*x2^6*y2^4+3*k^4*q0^2*x1^4*x2^6*y2^4 +6*k^5*q0*x1^2*x2^6*y2^4+6*k^6*x2^6*y2^4 +2*k*q0^7*x1^8*x2^4*y2^4+4*k^3*q0^5*x1^4*x2^4*y2^4 +12*k^4*q0^4*x1^2*x2^4*y2^4+6*k^5*q0^3*x2^4*y2^4 +2*k*q0^9*x1^6*x2^2*y2^4+5*k^2*q0^8*x1^4*x2^2*y2^4 +4*k^3*q0^7*x1^2*x2^2*y2^4+k^4*q0^6*x2^2*y2^4 -30*k*q0^5*x1*x2^7*y1^9*y2^3-22*q0^8*x1*x2^5*y1^9*y2^3 +140*k*q0^5*x1^3*x2^7*y1^7*y2^3 -70*k^2*q0^4*x1*x2^7*y1^7*y2^3 +48*q0^8*x1^3*x2^5*y1^7*y2^3 -42*k*q0^7*x1*x2^5*y1^7*y2^3 +10*q0^10*x1*x2^3*y1^7*y2^3 -70*k*q0^5*x1^5*x2^7*y1^5*y2^3 +202*k^2*q0^4*x1^3*x2^7*y1^5*y2^3 -70*k^3*q0^3*x1*x2^7*y1^5*y2^3 +50*q0^8*x1^5*x2^5*y1^5*y2^3 +12*k*q0^7*x1^3*x2^5*y1^5*y2^3 -48*k^2*q0^6*x1*x2^5*y1^5*y2^3 -18*q0^10*x1^3*x2^3*y1^5*y2^3 +12*k*q0^9*x1*x2^3*y1^5*y2^3 -80*k^2*q0^4*x1^5*x2^7*y1^3*y2^3 +56*k^3*q0^3*x1^3*x2^7*y1^3*y2^3 -50*k^4*q0^2*x1*x2^7*y1^3*y2^3 -20*q0^8*x1^7*x2^5*y1^3*y2^3 +44*k*q0^7*x1^5*x2^5*y1^3*y2^3 -64*k^2*q0^6*x1^3*x2^5*y1^3*y2^3 -58*k^3*q0^5*x1*x2^5*y1^3*y2^3 -26*q0^10*x1^5*x2^3*y1^3*y2^3 -40*k*q0^9*x1^3*x2^3*y1^3*y2^3 -6*k^2*q0^8*x1*x2^3*y1^3*y2^3 -18*k^3*q0^3*x1^5*x2^7*y1*y2^3 -6*k^4*q0^2*x1^3*x2^7*y1*y2^3 -20*k^5*q0*x1*x2^7*y1*y2^3-10*k*q0^7*x1^7*x2^5*y1*y2^3 +4*k^2*q0^6*x1^5*x2^5*y1*y2^3 -28*k^3*q0^5*x1^3*x2^5*y1*y2^3 -30*k^4*q0^4*x1*x2^5*y1*y2^3+2*q0^10*x1^7*x2^3*y1*y2^3 -12*k*q0^9*x1^5*x2^3*y1*y2^3 -22*k^2*q0^8*x1^3*x2^3*y1*y2^3 -8*k^3*q0^7*x1*x2^3*y1*y2^3+4*k*q0^5*x2^8*y1^10*y2^2 +4*q0^8*x2^6*y1^10*y2^2-44*k*q0^5*x1^2*x2^8*y1^8*y2^2 +14*k^2*q0^4*x2^8*y1^8*y2^2 -28*q0^8*x1^2*x2^6*y1^8*y2^2+12*k*q0^7*x2^6*y1^8*y2^2 -2*q0^10*x2^4*y1^8*y2^2+42*k*q0^5*x1^4*x2^8*y1^6*y2^2 -83*k^2*q0^4*x1^2*x2^8*y1^6*y2^2 +22*k^3*q0^3*x2^8*y1^6*y2^2 -12*q0^8*x1^4*x2^6*y1^6*y2^2 -20*k*q0^7*x1^2*x2^6*y1^6*y2^2 +18*k^2*q0^6*x2^6*y1^6*y2^2 +21*q0^10*x1^2*x2^4*y1^6*y2^2-4*k*q0^9*x2^4*y1^6*y2^2 +70*k^2*q0^4*x1^4*x2^8*y1^4*y2^2 -32*k^3*q0^3*x1^2*x2^8*y1^4*y2^2 +22*k^4*q0^2*x2^8*y1^4*y2^2 +20*q0^8*x1^6*x2^6*y1^4*y2^2 -14*k*q0^7*x1^4*x2^6*y1^4*y2^2 +50*k^2*q0^6*x1^2*x2^6*y1^4*y2^2 +22*k^3*q0^5*x2^6*y1^4*y2^2 +18*q0^10*x1^4*x2^4*y1^4*y2^2 +46*k*q0^9*x1^2*x2^4*y1^4*y2^2 +30*k^3*q0^3*x1^4*x2^8*y1^2*y2^2 +9*k^4*q0^2*x1^2*x2^8*y1^2*y2^2 +14*k^5*q0*x2^8*y1^2*y2^2 +18*k*q0^7*x1^6*x2^6*y1^2*y2^2 -2*k^2*q0^6*x1^4*x2^6*y1^2*y2^2 +48*k^3*q0^5*x1^2*x2^6*y1^2*y2^2 +18*k^4*q0^4*x2^6*y1^2*y2^2 -5*q0^10*x1^6*x2^4*y1^2*y2^2 +18*k*q0^9*x1^4*x2^4*y1^2*y2^2 +29*k^2*q0^8*x1^2*x2^4*y1^2*y2^2 +4*k^3*q0^7*x2^4*y1^2*y2^2+2*k^4*q0^2*x1^4*x2^8*y2^2 +2*k^5*q0*x1^2*x2^8*y2^2+4*k^6*x2^8*y2^2 +2*k^2*q0^6*x1^6*x2^6*y2^2+6*k^4*q0^4*x1^2*x2^6*y2^2 +6*k^5*q0^3*x2^6*y2^2-2*k*q0^9*x1^6*x2^4*y2^2 +4*k^3*q0^7*x1^2*x2^4*y2^2+2*k^4*q0^6*x2^4*y2^2 +6*k*q0^5*x1*x2^9*y1^9*y2+6*q0^8*x1*x2^7*y1^9*y2 -14*k*q0^5*x1^3*x2^9*y1^7*y2 +12*k^2*q0^4*x1*x2^9*y1^7*y2-4*q0^8*x1^3*x2^7*y1^7*y2 +4*k*q0^7*x1*x2^7*y1^7*y2-8*q0^10*x1*x2^5*y1^7*y2 -32*k^2*q0^4*x1^3*x2^9*y1^5*y2 -10*q0^8*x1^5*x2^7*y1^5*y2-10*k*q0^7*x1^3*x2^7*y1^5*y2 -24*k^2*q0^6*x1*x2^7*y1^5*y2-4*q0^10*x1^3*x2^5*y1^5*y2 -24*k*q0^9*x1*x2^5*y1^5*y2 -22*k^3*q0^3*x1^3*x2^9*y1^3*y2 -12*k^4*q0^2*x1*x2^9*y1^3*y2 -14*k*q0^7*x1^5*x2^7*y1^3*y2 -8*k^2*q0^6*x1^3*x2^7*y1^3*y2 -36*k^3*q0^5*x1*x2^7*y1^3*y2+4*q0^10*x1^5*x2^5*y1^3*y2 -8*k*q0^9*x1^3*x2^5*y1^3*y2 -24*k^2*q0^8*x1*x2^5*y1^3*y2 -4*k^4*q0^2*x1^3*x2^9*y1*y2-6*k^5*q0*x1*x2^9*y1*y2 -4*k^2*q0^6*x1^5*x2^7*y1*y2-2*k^3*q0^5*x1^3*x2^7*y1*y2 -14*k^4*q0^4*x1*x2^7*y1*y2+4*k*q0^9*x1^5*x2^5*y1*y2 -4*k^2*q0^8*x1^3*x2^5*y1*y2-8*k^3*q0^7*x1*x2^5*y1*y2 +2*k*q0^5*x1^2*x2^10*y1^8+k^2*q0^4*x2^10*y1^8 +2*q0^8*x1^2*x2^8*y1^8+2*k*q0^7*x2^8*y1^8 +q0^10*x2^6*y1^8+6*k^2*q0^4*x1^2*x2^10*y1^6 +4*k^3*q0^3*x2^10*y1^6+2*q0^8*x1^4*x2^8*y1^6 +6*k*q0^7*x1^2*x2^8*y1^6+8*k^2*q0^6*x2^8*y1^6 +4*k*q0^9*x2^6*y1^6+6*k^3*q0^3*x1^2*x2^10*y1^4 +6*k^4*q0^2*x2^10*y1^4+4*k*q0^7*x1^4*x2^8*y1^4 +6*k^2*q0^6*x1^2*x2^8*y1^4+12*k^3*q0^5*x2^8*y1^4 -q0^10*x1^4*x2^6*y1^4+6*k^2*q0^8*x2^6*y1^4 +2*k^4*q0^2*x1^2*x2^10*y1^2+4*k^5*q0*x2^10*y1^2 +2*k^2*q0^6*x1^4*x2^8*y1^2+2*k^3*q0^5*x1^2*x2^8*y1^2 +8*k^4*q0^4*x2^8*y1^2-2*k*q0^9*x1^4*x2^6*y1^2 +4*k^3*q0^7*x2^6*y1^2+k^6*x2^10+2*k^5*q0^3*x2^8 -k^2*q0^8*x1^4*x2^6+k^4*q0^6*x2^6); factor(pol) \end{axiom}
The following example appeared on Maxima list. Maxima needs 3.5 GB memory and almost a hour to do it. In FriCAS it is much faster:
fricas
)set messages time on
fricas
)set output tex off
fricas
)set output algebra on
fricas
)nopile parenthesis
pol := (2*k*q0^5*x1^8*y1^2*y2^10+5*k^2*q0^4*x1^6*y1^2*y2^10 +4*k^3*q0^3*x1^4*y1^2*y2^10 +k^4*q0^2*x1^2*y1^2*y2^10-18*k*q0^5*x1^7*x2*y1^3*y2^9 -34*k^2*q0^4*x1^5*x2*y1^3*y2^9 -18*k^3*q0^3*x1^3*x2*y1^3*y2^9 -2*k^4*q0^2*x1*x2*y1^3*y2^9+2*k*q0^5*x1^9*x2*y1*y2^9 +2*k^2*q0^4*x1^7*x2*y1*y2^9-4*k^3*q0^3*x1^5*x2*y1*y2^9 -6*k^4*q0^2*x1^3*x2*y1*y2^9-2*k^5*q0*x1*x2*y1*y2^9 +70*k*q0^5*x1^6*x2^2*y1^4*y2^8 +95*k^2*q0^4*x1^4*x2^2*y1^4*y2^8 +30*k^3*q0^3*x1^2*x2^2*y1^4*y2^8 +k^4*q0^2*x2^2*y1^4*y2^8+2*q0^8*x1^6*y1^4*y2^8 +4*k*q0^7*x1^4*y1^4*y2^8+2*k^2*q0^6*x1^2*y1^4*y2^8 -20*k*q0^5*x1^8*x2^2*y1^2*y2^8 -10*k^2*q0^4*x1^6*x2^2*y1^2*y2^8 +32*k^3*q0^3*x1^4*x2^2*y1^2*y2^8 +24*k^4*q0^2*x1^2*x2^2*y1^2*y2^8 +2*k^5*q0*x2^2*y1^2*y2^8+2*q0^8*x1^8*y1^2*y2^8 +4*k*q0^7*x1^6*y1^2*y2^8+2*k^2*q0^6*x1^4*y1^2*y2^8 -2*k^2*q0^4*x1^8*x2^2*y2^8-4*k^3*q0^3*x1^6*x2^2*y2^8 -k^4*q0^2*x1^4*x2^2*y2^8+2*k^5*q0*x1^2*x2^2*y2^8 +k^6*x2^2*y2^8-154*k*q0^5*x1^5*x2^3*y1^5*y2^7 -140*k^2*q0^4*x1^3*x2^3*y1^5*y2^7 -22*k^3*q0^3*x1*x2^3*y1^5*y2^7 -14*q0^8*x1^5*x2*y1^5*y2^7-18*k*q0^7*x1^3*x2*y1^5*y2^7 -4*k^2*q0^6*x1*x2*y1^5*y2^7 +84*k*q0^5*x1^7*x2^3*y1^3*y2^7 +6*k^2*q0^4*x1^5*x2^3*y1^3*y2^7 -96*k^3*q0^3*x1^3*x2^3*y1^3*y2^7 -30*k^4*q0^2*x1*x2^3*y1^3*y2^7 -12*q0^8*x1^7*x2*y1^3*y2^7-18*k*q0^7*x1^5*x2*y1^3*y2^7 -8*k^2*q0^6*x1^3*x2*y1^3*y2^7 -2*k^3*q0^5*x1*x2*y1^3*y2^7-2*k*q0^5*x1^9*x2^3*y1*y2^7 +18*k^2*q0^4*x1^7*x2^3*y1*y2^7 +22*k^3*q0^3*x1^5*x2^3*y1*y2^7 -10*k^4*q0^2*x1^3*x2^3*y1*y2^7 -12*k^5*q0*x1*x2^3*y1*y2^7+2*q0^8*x1^9*x2*y1*y2^7 -8*k^2*q0^6*x1^5*x2*y1*y2^7-8*k^3*q0^5*x1^3*x2*y1*y2^7 -2*k^4*q0^4*x1*x2*y1*y2^7 +210*k*q0^5*x1^4*x2^4*y1^6*y2^6 +115*k^2*q0^4*x1^2*x2^4*y1^6*y2^6 +6*k^3*q0^3*x2^4*y1^6*y2^6+40*q0^8*x1^4*x2^2*y1^6*y2^6 +30*k*q0^7*x1^2*x2^2*y1^6*y2^6 +2*k^2*q0^6*x2^2*y1^6*y2^6+q0^10*x1^2*y1^6*y2^6 -196*k*q0^5*x1^6*x2^4*y1^4*y2^6 +50*k^2*q0^4*x1^4*x2^4*y1^4*y2^6 +136*k^3*q0^3*x1^2*x2^4*y1^4*y2^6 +12*k^4*q0^2*x2^4*y1^4*y2^6 +24*q0^8*x1^6*x2^2*y1^4*y2^6 +36*k*q0^7*x1^4*x2^2*y1^4*y2^6 +22*k^2*q0^6*x1^2*x2^2*y1^4*y2^6 +2*k^3*q0^5*x2^2*y1^4*y2^6 +14*k*q0^5*x1^8*x2^4*y1^2*y2^6 -77*k^2*q0^4*x1^6*x2^4*y1^2*y2^6 -38*k^3*q0^3*x1^4*x2^4*y1^2*y2^6 +50*k^4*q0^2*x1^2*x2^4*y1^2*y2^6 +10*k^5*q0*x2^4*y1^2*y2^6-16*q0^8*x1^8*x2^2*y1^2*y2^6 +4*k*q0^7*x1^6*x2^2*y1^2*y2^6 +38*k^2*q0^6*x1^4*x2^2*y1^2*y2^6 +20*k^3*q0^5*x1^2*x2^2*y1^2*y2^6 +2*k^4*q0^4*x2^2*y1^2*y2^6-q0^10*x1^6*y1^2*y2^6 -2*k*q0^9*x1^4*y1^2*y2^6-k^2*q0^8*x1^2*y1^2*y2^6 +2*k^2*q0^4*x1^8*x2^4*y2^6+6*k^5*q0*x1^2*x2^4*y2^6 +4*k^6*x2^4*y2^6-2*k*q0^7*x1^8*x2^2*y2^6 -2*k^2*q0^6*x1^6*x2^2*y2^6+4*k^3*q0^5*x1^4*x2^2*y2^6 +6*k^4*q0^4*x1^2*x2^2*y2^6+2*k^5*q0^3*x2^2*y2^6 -182*k*q0^5*x1^3*x2^5*y1^7*y2^5 -50*k^2*q0^4*x1*x2^5*y1^7*y2^5 -60*q0^8*x1^3*x2^3*y1^7*y2^5 -22*k*q0^7*x1*x2^3*y1^7*y2^5-2*q0^10*x1*x2*y1^7*y2^5 +280*k*q0^5*x1^5*x2^5*y1^5*y2^5 -130*k^2*q0^4*x1^3*x2^5*y1^5*y2^5 -92*k^3*q0^3*x1*x2^5*y1^5*y2^5 -10*q0^8*x1^5*x2^3*y1^5*y2^5 -52*k*q0^7*x1^3*x2^3*y1^5*y2^5 -28*k^2*q0^6*x1*x2^3*y1^5*y2^5 +6*q0^10*x1^3*x2*y1^5*y2^5 -42*k*q0^5*x1^7*x2^5*y1^3*y2^5 +184*k^2*q0^4*x1^5*x2^5*y1^3*y2^5 -66*k^4*q0^2*x1*x2^5*y1^3*y2^5 +48*q0^8*x1^7*x2^3*y1^3*y2^5 -16*k*q0^7*x1^5*x2^3*y1^3*y2^5 -64*k^2*q0^6*x1^3*x2^3*y1^3*y2^5 -24*k^3*q0^5*x1*x2^3*y1^3*y2^5 +6*q0^10*x1^5*x2*y1^3*y2^5+8*k*q0^9*x1^3*x2*y1^3*y2^5 +2*k^2*q0^8*x1*x2*y1^3*y2^5 -16*k^2*q0^4*x1^7*x2^5*y1*y2^5 +8*k^3*q0^3*x1^5*x2^5*y1*y2^5 -6*k^4*q0^2*x1^3*x2^5*y1*y2^5 -24*k^5*q0*x1*x2^5*y1*y2^5-2*q0^8*x1^9*x2^3*y1*y2^5 +14*k*q0^7*x1^7*x2^3*y1*y2^5 -34*k^3*q0^5*x1^3*x2^3*y1*y2^5 -18*k^4*q0^4*x1*x2^3*y1*y2^5-2*q0^10*x1^7*x2*y1*y2^5 -4*k*q0^9*x1^5*x2*y1*y2^5-2*k^2*q0^8*x1^3*x2*y1*y2^5 +98*k*q0^5*x1^2*x2^6*y1^8*y2^4 +9*k^2*q0^4*x2^6*y1^8*y2^4+50*q0^8*x1^2*x2^4*y1^8*y2^4 +6*k*q0^7*x2^4*y1^8*y2^4+q0^10*x2^2*y1^8*y2^4 -252*k*q0^5*x1^4*x2^6*y1^6*y2^4 +138*k^2*q0^4*x1^2*x2^6*y1^6*y2^4 +24*k^3*q0^3*x2^6*y1^6*y2^4 -30*q0^8*x1^4*x2^4*y1^6*y2^4 +60*k*q0^7*x1^2*x2^4*y1^6*y2^4 +12*k^2*q0^6*x2^4*y1^6*y2^4 -14*q0^10*x1^2*x2^2*y1^6*y2^4 +70*k*q0^5*x1^6*x2^6*y1^4*y2^4 -255*k^2*q0^4*x1^4*x2^6*y1^4*y2^4 +68*k^3*q0^3*x1^2*x2^6*y1^4*y2^4 +27*k^4*q0^2*x2^6*y1^4*y2^4 -70*q0^8*x1^6*x2^4*y1^4*y2^4 +14*k*q0^7*x1^4*x2^4*y1^4*y2^4 +64*k^2*q0^6*x1^2*x2^4*y1^4*y2^4 +12*k^3*q0^5*x2^4*y1^4*y2^4-q0^10*x1^4*x2^2*y1^4*y2^4 -14*k*q0^9*x1^2*x2^2*y1^4*y2^4 -2*k^2*q0^8*x2^2*y1^4*y2^4 +50*k^2*q0^4*x1^6*x2^6*y1^2*y2^4 -36*k^3*q0^3*x1^4*x2^6*y1^2*y2^4 +34*k^4*q0^2*x1^2*x2^6*y1^2*y2^4 +18*k^5*q0*x2^6*y1^2*y2^4+10*q0^8*x1^8*x2^4*y1^2*y2^4 -38*k*q0^7*x1^6*x2^4*y1^2*y2^4 +32*k^2*q0^6*x1^4*x2^4*y1^2*y2^4 +66*k^3*q0^5*x1^2*x2^4*y1^2*y2^4 +12*k^4*q0^4*x2^4*y1^2*y2^4 +14*q0^10*x1^6*x2^2*y1^2*y2^4 +18*k*q0^9*x1^4*x2^2*y1^2*y2^4 +4*k^2*q0^8*x1^2*x2^2*y1^2*y2^4 +4*k^3*q0^3*x1^6*x2^6*y2^4+3*k^4*q0^2*x1^4*x2^6*y2^4 +6*k^5*q0*x1^2*x2^6*y2^4+6*k^6*x2^6*y2^4 +2*k*q0^7*x1^8*x2^4*y2^4+4*k^3*q0^5*x1^4*x2^4*y2^4 +12*k^4*q0^4*x1^2*x2^4*y2^4+6*k^5*q0^3*x2^4*y2^4 +2*k*q0^9*x1^6*x2^2*y2^4+5*k^2*q0^8*x1^4*x2^2*y2^4 +4*k^3*q0^7*x1^2*x2^2*y2^4+k^4*q0^6*x2^2*y2^4 -30*k*q0^5*x1*x2^7*y1^9*y2^3-22*q0^8*x1*x2^5*y1^9*y2^3 +140*k*q0^5*x1^3*x2^7*y1^7*y2^3 -70*k^2*q0^4*x1*x2^7*y1^7*y2^3 +48*q0^8*x1^3*x2^5*y1^7*y2^3 -42*k*q0^7*x1*x2^5*y1^7*y2^3 +10*q0^10*x1*x2^3*y1^7*y2^3 -70*k*q0^5*x1^5*x2^7*y1^5*y2^3 +202*k^2*q0^4*x1^3*x2^7*y1^5*y2^3 -70*k^3*q0^3*x1*x2^7*y1^5*y2^3 +50*q0^8*x1^5*x2^5*y1^5*y2^3 +12*k*q0^7*x1^3*x2^5*y1^5*y2^3 -48*k^2*q0^6*x1*x2^5*y1^5*y2^3 -18*q0^10*x1^3*x2^3*y1^5*y2^3 +12*k*q0^9*x1*x2^3*y1^5*y2^3 -80*k^2*q0^4*x1^5*x2^7*y1^3*y2^3 +56*k^3*q0^3*x1^3*x2^7*y1^3*y2^3 -50*k^4*q0^2*x1*x2^7*y1^3*y2^3 -20*q0^8*x1^7*x2^5*y1^3*y2^3 +44*k*q0^7*x1^5*x2^5*y1^3*y2^3 -64*k^2*q0^6*x1^3*x2^5*y1^3*y2^3 -58*k^3*q0^5*x1*x2^5*y1^3*y2^3 -26*q0^10*x1^5*x2^3*y1^3*y2^3 -40*k*q0^9*x1^3*x2^3*y1^3*y2^3 -6*k^2*q0^8*x1*x2^3*y1^3*y2^3 -18*k^3*q0^3*x1^5*x2^7*y1*y2^3 -6*k^4*q0^2*x1^3*x2^7*y1*y2^3 -20*k^5*q0*x1*x2^7*y1*y2^3-10*k*q0^7*x1^7*x2^5*y1*y2^3 +4*k^2*q0^6*x1^5*x2^5*y1*y2^3 -28*k^3*q0^5*x1^3*x2^5*y1*y2^3 -30*k^4*q0^4*x1*x2^5*y1*y2^3+2*q0^10*x1^7*x2^3*y1*y2^3 -12*k*q0^9*x1^5*x2^3*y1*y2^3 -22*k^2*q0^8*x1^3*x2^3*y1*y2^3 -8*k^3*q0^7*x1*x2^3*y1*y2^3+4*k*q0^5*x2^8*y1^10*y2^2 +4*q0^8*x2^6*y1^10*y2^2-44*k*q0^5*x1^2*x2^8*y1^8*y2^2 +14*k^2*q0^4*x2^8*y1^8*y2^2 -28*q0^8*x1^2*x2^6*y1^8*y2^2+12*k*q0^7*x2^6*y1^8*y2^2 -2*q0^10*x2^4*y1^8*y2^2+42*k*q0^5*x1^4*x2^8*y1^6*y2^2 -83*k^2*q0^4*x1^2*x2^8*y1^6*y2^2 +22*k^3*q0^3*x2^8*y1^6*y2^2 -12*q0^8*x1^4*x2^6*y1^6*y2^2 -20*k*q0^7*x1^2*x2^6*y1^6*y2^2 +18*k^2*q0^6*x2^6*y1^6*y2^2 +21*q0^10*x1^2*x2^4*y1^6*y2^2-4*k*q0^9*x2^4*y1^6*y2^2 +70*k^2*q0^4*x1^4*x2^8*y1^4*y2^2 -32*k^3*q0^3*x1^2*x2^8*y1^4*y2^2 +22*k^4*q0^2*x2^8*y1^4*y2^2 +20*q0^8*x1^6*x2^6*y1^4*y2^2 -14*k*q0^7*x1^4*x2^6*y1^4*y2^2 +50*k^2*q0^6*x1^2*x2^6*y1^4*y2^2 +22*k^3*q0^5*x2^6*y1^4*y2^2 +18*q0^10*x1^4*x2^4*y1^4*y2^2 +46*k*q0^9*x1^2*x2^4*y1^4*y2^2 +30*k^3*q0^3*x1^4*x2^8*y1^2*y2^2 +9*k^4*q0^2*x1^2*x2^8*y1^2*y2^2 +14*k^5*q0*x2^8*y1^2*y2^2 +18*k*q0^7*x1^6*x2^6*y1^2*y2^2 -2*k^2*q0^6*x1^4*x2^6*y1^2*y2^2 +48*k^3*q0^5*x1^2*x2^6*y1^2*y2^2 +18*k^4*q0^4*x2^6*y1^2*y2^2 -5*q0^10*x1^6*x2^4*y1^2*y2^2 +18*k*q0^9*x1^4*x2^4*y1^2*y2^2 +29*k^2*q0^8*x1^2*x2^4*y1^2*y2^2 +4*k^3*q0^7*x2^4*y1^2*y2^2+2*k^4*q0^2*x1^4*x2^8*y2^2 +2*k^5*q0*x1^2*x2^8*y2^2+4*k^6*x2^8*y2^2 +2*k^2*q0^6*x1^6*x2^6*y2^2+6*k^4*q0^4*x1^2*x2^6*y2^2 +6*k^5*q0^3*x2^6*y2^2-2*k*q0^9*x1^6*x2^4*y2^2 +4*k^3*q0^7*x1^2*x2^4*y2^2+2*k^4*q0^6*x2^4*y2^2 +6*k*q0^5*x1*x2^9*y1^9*y2+6*q0^8*x1*x2^7*y1^9*y2 -14*k*q0^5*x1^3*x2^9*y1^7*y2 +12*k^2*q0^4*x1*x2^9*y1^7*y2-4*q0^8*x1^3*x2^7*y1^7*y2 +4*k*q0^7*x1*x2^7*y1^7*y2-8*q0^10*x1*x2^5*y1^7*y2 -32*k^2*q0^4*x1^3*x2^9*y1^5*y2 -10*q0^8*x1^5*x2^7*y1^5*y2-10*k*q0^7*x1^3*x2^7*y1^5*y2 -24*k^2*q0^6*x1*x2^7*y1^5*y2-4*q0^10*x1^3*x2^5*y1^5*y2 -24*k*q0^9*x1*x2^5*y1^5*y2 -22*k^3*q0^3*x1^3*x2^9*y1^3*y2 -12*k^4*q0^2*x1*x2^9*y1^3*y2 -14*k*q0^7*x1^5*x2^7*y1^3*y2 -8*k^2*q0^6*x1^3*x2^7*y1^3*y2 -36*k^3*q0^5*x1*x2^7*y1^3*y2+4*q0^10*x1^5*x2^5*y1^3*y2 -8*k*q0^9*x1^3*x2^5*y1^3*y2 -24*k^2*q0^8*x1*x2^5*y1^3*y2 -4*k^4*q0^2*x1^3*x2^9*y1*y2-6*k^5*q0*x1*x2^9*y1*y2 -4*k^2*q0^6*x1^5*x2^7*y1*y2-2*k^3*q0^5*x1^3*x2^7*y1*y2 -14*k^4*q0^4*x1*x2^7*y1*y2+4*k*q0^9*x1^5*x2^5*y1*y2 -4*k^2*q0^8*x1^3*x2^5*y1*y2-8*k^3*q0^7*x1*x2^5*y1*y2 +2*k*q0^5*x1^2*x2^10*y1^8+k^2*q0^4*x2^10*y1^8 +2*q0^8*x1^2*x2^8*y1^8+2*k*q0^7*x2^8*y1^8 +q0^10*x2^6*y1^8+6*k^2*q0^4*x1^2*x2^10*y1^6 +4*k^3*q0^3*x2^10*y1^6+2*q0^8*x1^4*x2^8*y1^6 +6*k*q0^7*x1^2*x2^8*y1^6+8*k^2*q0^6*x2^8*y1^6 +4*k*q0^9*x2^6*y1^6+6*k^3*q0^3*x1^2*x2^10*y1^4 +6*k^4*q0^2*x2^10*y1^4+4*k*q0^7*x1^4*x2^8*y1^4 +6*k^2*q0^6*x1^2*x2^8*y1^4+12*k^3*q0^5*x2^8*y1^4 -q0^10*x1^4*x2^6*y1^4+6*k^2*q0^8*x2^6*y1^4 +2*k^4*q0^2*x1^2*x2^10*y1^2+4*k^5*q0*x2^10*y1^2 +2*k^2*q0^6*x1^4*x2^8*y1^2+2*k^3*q0^5*x1^2*x2^8*y1^2 +8*k^4*q0^4*x2^8*y1^2-2*k*q0^9*x1^4*x2^6*y1^2 +4*k^3*q0^7*x2^6*y1^2+k^6*x2^10+2*k^5*q0^3*x2^8 -k^2*q0^8*x1^4*x2^6+k^4*q0^6*x2^6);
Type: Polynomial(Integer)
fricas
Time: 0.16 (IN) + 0.05 (EV) + 0.14 (OT) = 0.35 sec factor(pol)
(2) 2 (q0 x1 y1 y2 - q0 x2 y1 - k x2) * 2 2 2 2 4 2 2 2 (k q0 x1 + k )y2 - 2k q0 x1 x2 y1 y2 + (k q0 x2 + q0 )y1 + k x2 + 4 2 3 q0 x1 + k q0 * 3 5 2 3 2 7 (2q0 x1 + 3k q0 x1 + k q0 x1)y1 y2 + 3 4 2 2 2 2 (- 12q0 x1 - 11k q0 x1 - k q0)x2 y1 + 3 6 2 4 2 2 3 (2q0 x1 + 2k q0 x1 - k q0 x1 - k )x2 * 6 y2 + 3 3 2 2 5 3 ((28q0 x1 + 13k q0 x1)x2 + q0 x1)y1 + 3 5 2 3 2 2 5 3 4 ((- 14q0 x1 - 6k q0 x1 + 5k q0 x1)x2 - q0 x1 - k q0 x1)y1 * 5 y2 + 3 2 2 3 5 4 ((- 32q0 x1 - 5k q0 )x2 - q0 x2)y1 + 3 4 2 3 5 2 4 2 ((36q0 x1 - 4k q0)x2 + (7q0 x1 + 2k q0 )x2)y1 + 3 6 2 2 3 3 5 4 4 2 2 3 (- 2q0 x1 - 2k q0 x1 - 3k )x2 + (- 2q0 x1 - 3k q0 x1 - k q0 )x2 * 4 y2 + 3 4 5 3 3 2 4 5 2 3 18q0 x1 x2 y1 + ((- 44q0 x1 + 10k q0 x1)x2 - 8q0 x1 x2 )y1 + 3 5 2 3 2 4 5 3 4 2 ((8q0 x1 - 5k q0 x1 + 7k q0 x1)x2 + (12q0 x1 + 6k q0 x1)x2 )y1 * 3 y2 + 3 5 6 3 2 2 5 5 3 4 - 4q0 x2 y1 + ((26q0 x1 - 6k q0 )x2 + 2q0 x2 )y1 + 3 4 2 2 2 5 5 2 3 2 ((- 12q0 x1 + 9k q0 x1 - 5k q0)x2 - 16q0 x1 x2 )y1 + 2 4 2 2 3 5 5 4 4 2 2 3 3 (- 2k q0 x1 - k q0 x1 - 3k )x2 + (2q0 x1 - 2k q0 x1 - 2k q0 )x2 * 2 y2 + 3 6 5 3 3 2 6 5 4 3 - 6q0 x1 x2 y1 + ((8q0 x1 - 3k q0 x1)x2 + 7q0 x1 x2 )y1 + 2 3 2 6 5 3 4 4 ((4k q0 x1 + 3k q0 x1)x2 + (- 3q0 x1 + 7k q0 x1)x2 )y1 * y2 + 3 2 2 7 5 5 4 ((- 2q0 x1 - k q0 )x2 - q0 x2 )y1 + 2 2 2 7 5 2 4 5 2 3 7 ((- 2k q0 x1 - 2k q0)x2 + (q0 x1 - 2k q0 )x2 )y1 - k x2 + 4 2 2 3 5 (k q0 x1 - k q0 )x2
Type: Factored(Polynomial(Integer))
fricas
Time: 0.77 (EV) + 0.11 (OT) = 0.88 sec