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