jules(zimmerma): magma << remote execution on laudomia1 >> Magma V2.6-2 Mon Jul 10 2000 16:59:44 [Seed = 306260605] Type ? for help. Type -D to quit. > P:= PolynomialRing(GF(5), 3); > F := 2*y^10*x^10-x^24*z-x^25+2*x^10*y^5-2*x^10*z^5-x^10*y^7*z-y^ > 8*x^12*z^2-z^5*y^10+y^10*x^9*z+y^7*x^15*z+2*y^9*z*x^6+2*y^8*z*x > ^8+x^13*z^5*y-2*x^13*y^3*z-2*x^13*y^2*z^3+2*y^12*x^6+2*y^15*z*x^4 > +2*y^10*x^7*z^3-2*y^10*x^6*z^4-2*y^10*x^8*z^2-x^15+z^8*y^2*x^8-z^ > 8*y^4*x^4-z^8*y^3*x^6-2*y^13*x^8*z-y^12*x^9*z^2-z^6*y^3*x^8+y^7* > x^14*z^2-2*y^9*x^16*z-2*y^8*x^18*z-2*y^7*x^20*z+y^8*x^10*z^4-2*y > ^8*x^11*z^3-2*y^7*x^13*z^3-y^7*x^12*z^4-2*y^10*x^13*z^2-y^9*x^15* > z^2+y^11*x^12*z-y^10*x^15+y^7*x^16-2*y^6*x^18+y^5*x^20+2*y^4*x^22 > +2*y^5*x^25+x^26*y^2+x^23*z^2-x^22*z^3-2*x^28*y+2*y^5*x^15-x^17*y > ^4-x^19*y^3-2*x^29*z-x^28*z^2+2*x^34*z+x^33*z^2+x^27*z^3+x^21*y^2 > +x^20*z^5+x^35+2*x^32*y*z+2*x^24*y*z^4+2*x^31*y*z^2-2*z^2*y^6*x^ > 11-y^8*x^17*z^2-y^7*x^19*z^2+2*y^6*x^16*z^2+2*y^6*x^15*z^3+2*y^4* > x^16*z-y^5*x^13*z^2+y^4*x^15*z^2+y^10*x^14*z+y^6*x^17*z-2*y^5*x > ^19*z-y^4*x^21*z+y^5*x^24*z-2*y^5*x^11*z^4+y^5*x^10*z^5+y^5*x^12 > *z^3+y^4*x^14*z^3-y^4*x^13*z^4-2*y^8*x^13*z-y^5*x^18*z^2+y^4*x^ > 12*z^5-2*y^4*x^20*z^2-2*y^4*x^19*z^3+y^3*x^16*z^3-y^3*x^15*z^4-2* > y^6*x^22*z-y^6*x^21*z^2+y^5*x^17*z^3-y^5*x^23*z^2+2*y^4*x^18*z^4 > -2*x^18*y^3*z+x^23*y^3*z-2*x^26*y^4*z-2*x^22*y^3*z^2+x^21*y^3*z^ > 3-2*x^18*y^2*z^3-2*x^17*y^2*z^4-2*x^20*y^2*z-2*x^25*y^2*z-x^16*y^ > 2*z^5+2*x^24*y^2*z^2+x^23*y^2*z^3-x^20*y*z^3+2*x^19*y*z^4+y^4*x^ > 25*z^2+y^7*z^3*x^8+y^3*x^20*z^4-y^3*x^27*z^2+2*z^4*y^6*x^9-2*z^5* > y^6*x^8+2*z^6*y^5*x^9-y^12*z^2*x^4+z^3*y^9*x^9+y^11*z*x^7+z^6*y > ^3*x^13-2*y^11*z^2*x^6+z^6*y^2*x^15-z^3*y^6*x^10+2*z^2*y^11*x^11-2 > *z^4*y^9*x^8+z^2*y^9*x^10+x^22*y*z+2*x^27*y*z-x^30*y^2*z+x^25* > z^3*y-2*z^6*x^17*y-y^12*x^10*z-2*z*y^6*x^12-2*z*y^5*x^14-y^9*x^ > 12+x^8*y^11+x^4*y^11*z^4-2*x^5*y^14*z^2-2*x^13*z^7+z^6*y^9*x-2*x^ > 9*z^3*y^4+x^19*z+x^9*z^2*y^7+x^18*y+x^11*z^7*y-2*x^10*z^6*y^2-2* > x^17*y*z-2*x^15*y^2*z+x^12*z^8-x^12*y^4-2*x^11*y^7-x^12*z^2*y^3- > 2*x^12*z^6*y-x^3*z^3*y^12+x^3*y^8*z^6-2*x^11*z^3*y^3+2*x^11*z^5* > y^2+x^10*z^8*y-2*x^10*y^4*z^2+2*x^18*z^2+x^14*z^6+2*x^16*y^2+x^16 > *z^2*y-x^15*z^3*y+2*x^7*z^5*y^4+2*x^7*z^7*y^3-2*x^5*y^12*z+x^14* > y^2*z^2-2*x^5*z^10-x^5*z^7*y^4+x^5*z^5*y^5-2*x^5*y^15-2*x^5*y^10- > x^5*y^11*z^3+x^5*z^6*y^7; > time Factorization(F); [ , ] Time: 0.339