sfp(2, 2) F :t1*t2*x5+t1*x4+t2^2*x3+t1*t2^2*x2+t1^2*t2*x1-- ann :0.468sec + gc : 0.316sec(0.7823sec) Ann F^s : [-4*x3*x4*dx5-2*x3*x5*dx2+(x5^2+4*t1*x1*x5-4*x2*x4-2*t2*x1*x3+3*t1^2*x1^2)*dx1+(t1*t2*x5+2*t1*x4+t1^2*t2*x1)*dt2+(-2*t1^2*x5-2*t1^3*x1)*dt1,-12*x2*x4*dx1*dx5+12*x2*x3*dx2^2+((-6*x2*x5+18*x1*x3)*dx1+2*t2*x3*dt2+20*x3)*dx2+(9*x1*x5+9*t1*x1^2)*dx1^2+((5*t2*x5+4*x4)*dt2+(-6*t1*x5-12*t2*x3-6*t1^2*x1)*dt1+8*x5+15*t1*x1)*dx1-t1*t2^2*dt2^2+(2*t1^2*t2*dt1+t1*t2)*dt2-4*t1^2*dt1,2*x3*dx5+(t1*x5+t1^2*x1)*dx4+2*x2*dx1-t1*dt2,(-t2*x5-x4-t2^2*x2)*dx3-2*t2*x1*dx2+t2^2*dt1,4*x4*dt2*dx5+x5^2*dx2*dx4-4*x3^2*dx3^2+((4*x2*x5-4*x1*x3)*dx1-10*x3)*dx3+4*x2^2*dx2^2+(2*x5*dt2+2*x2)*dx2-x1^2*dx1^2+(8*t2*x1*dt2+4*x1)*dx1+t2^2*dt2^2+(-4*t1*t2*dt1+4*t2)*dt2-4*t1*dt1,-x4*dx1*dx3*dx5-x5*dx1*dx2*dx3-x2*dx2^3+(-2*x1*dx1-3)*dx2^2+t2*dt1*dx1*dx2,2*t2*x3*dx2+(-t2*x5-2*x4-3*t1*t2*x1)*dx1-t1*t2^2*dt2+2*t1^2*t2*dt1,2*x2*dx1*dx5+(2*x3*dx2+(x5+t1*x1)*dx1+t1)*dx4-dt2*dx1,2*x4*dx1*dx5-2*x3*dx2^2+x5*dx1*dx2+3*t2*x1*dx1^2+(t2^2*dt2-2*t1*t2*dt1+3*t2)*dx1,(-t2*x5-x4-t2^2*x2-2*t1*t2*x1)*dt2+(t1*x5+2*t2*x3+2*t1*t2*x2+t1^2*x1)*dt1,2*x4*dx5-2*t2*x3*dx3+x5*dx2+3*t2*x1*dx1+t2^2*dt2-2*t1*t2*dt1,(-2*x3*dx3-x1*dx1-2)*dx5-x5*dx2*dx4-2*x2*dx1*dx3+dt2*dx2,-x4*dx5+(-x5-t2*x2)*dx2-2*t2*x1*dx1+t1*t2*dt1,(-2*x3*dx2-x5*dx1)*dx3-2*x2*dx2^2+(-x1*dx1+t2*dt2-2)*dx2,-dx1*dx3*dx5+dx2^2*dx4,2*x3*dx2+(x5+2*t2*x2+t1*x1)*dx1-t1*t2*dt2,t2*dx1*dx3-dx2^2,x3*dx3-x1*dx1+t1*dt1-s,x5*dx5+2*x3*dx3+2*x2*dx2+x1*dx1-t2*dt2,t2*dx5-dx2,-t1*dx5+dx1,dx5^2-dx2*dx4,-x4*dx4+2*x3*dx3+x2*dx2-x1*dx1-t2*dt2+t1*dt1,dx5-t2*dx4,-t1*dx3+dx2,-t1*dx2+t2*dx1,dx2*dx5-dx1*dx3] Ann F^(-1) : [-4*x3*x4*dx5-2*x3*x5*dx2+(x5^2+4*t1*x1*x5-4*x2*x4-2*t2*x1*x3+3*t1^2*x1^2)*dx1+(t1*t2*x5+2*t1*x4+t1^2*t2*x1)*dt2+(-2*t1^2*x5-2*t1^3*x1)*dt1,-12*x2*x4*dx1*dx5+12*x2*x3*dx2^2+((-6*x2*x5+18*x1*x3)*dx1+2*t2*x3*dt2+20*x3)*dx2+(9*x1*x5+9*t1*x1^2)*dx1^2+((5*t2*x5+4*x4)*dt2+(-6*t1*x5-12*t2*x3-6*t1^2*x1)*dt1+8*x5+15*t1*x1)*dx1-t1*t2^2*dt2^2+(2*t1^2*t2*dt1+t1*t2)*dt2-4*t1^2*dt1,2*x3*dx5+(t1*x5+t1^2*x1)*dx4+2*x2*dx1-t1*dt2,(-t2*x5-x4-t2^2*x2)*dx3-2*t2*x1*dx2+t2^2*dt1,4*x4*dt2*dx5+x5^2*dx2*dx4-4*x3^2*dx3^2+((4*x2*x5-4*x1*x3)*dx1-10*x3)*dx3+4*x2^2*dx2^2+(2*x5*dt2+2*x2)*dx2-x1^2*dx1^2+(8*t2*x1*dt2+4*x1)*dx1+t2^2*dt2^2+(-4*t1*t2*dt1+4*t2)*dt2-4*t1*dt1,-x4*dx1*dx3*dx5-x5*dx1*dx2*dx3-x2*dx2^3+(-2*x1*dx1-3)*dx2^2+t2*dt1*dx1*dx2,2*t2*x3*dx2+(-t2*x5-2*x4-3*t1*t2*x1)*dx1-t1*t2^2*dt2+2*t1^2*t2*dt1,2*x2*dx1*dx5+(2*x3*dx2+(x5+t1*x1)*dx1+t1)*dx4-dt2*dx1,2*x4*dx1*dx5-2*x3*dx2^2+x5*dx1*dx2+3*t2*x1*dx1^2+(t2^2*dt2-2*t1*t2*dt1+3*t2)*dx1,(-t2*x5-x4-t2^2*x2-2*t1*t2*x1)*dt2+(t1*x5+2*t2*x3+2*t1*t2*x2+t1^2*x1)*dt1,2*x4*dx5-2*t2*x3*dx3+x5*dx2+3*t2*x1*dx1+t2^2*dt2-2*t1*t2*dt1,(-2*x3*dx3-x1*dx1-2)*dx5-x5*dx2*dx4-2*x2*dx1*dx3+dt2*dx2,-x4*dx5+(-x5-t2*x2)*dx2-2*t2*x1*dx1+t1*t2*dt1,(-2*x3*dx2-x5*dx1)*dx3-2*x2*dx2^2+(-x1*dx1+t2*dt2-2)*dx2,-dx1*dx3*dx5+dx2^2*dx4,2*x3*dx2+(x5+2*t2*x2+t1*x1)*dx1-t1*t2*dt2,t2*dx1*dx3-dx2^2,x3*dx3-x1*dx1+t1*dt1+1,x5*dx5+2*x3*dx3+2*x2*dx2+x1*dx1-t2*dt2,t2*dx5-dx2,-t1*dx5+dx1,dx5^2-dx2*dx4,-x4*dx4+2*x3*dx3+x2*dx2-x1*dx1-t2*dt2+t1*dt1,dx5-t2*dx4,-t1*dx3+dx2,-t1*dx2+t2*dx1,dx2*dx5-dx1*dx3]-- nd_weyl_gr :0.024sec + gc : 0.008001sec(0.03331sec) -- weyl_minipoly :0.004sec(0.002331sec) -- generic_bfct_and_gr :0.004sec(0.002343sec) generic bfct : [[1,1],[s,1],[s-1,2]] S0 : 1 B_{S0} length : 3 -- fctr(BF) + base :0.016sec + gc : 0.012sec(0.02883sec) -- integration_ideal_internal :0.008sec + gc : 0.008001sec(0.01877sec) [(-3*x2*x5^4+3*x1*x3*x5^3+24*x2^2*x4*x5^2-108*x1*x2*x3*x4*x5-48*x2^3*x4^2+81*x1^2*x3^2*x4)*dx5^2+(-12*x2*x5^3+9*x1*x3*x5^2-16*x2^2*x4*x5-36*x1*x2*x3*x4)*dx5+(-8*x2*x4*x5^2-96*x2^2*x4^2)*dx4-6*x2*x5^2+3*x1*x3*x5-36*x2^2*x4,(-28*x2^2*x5^2+108*x1*x2*x3*x5+48*x2^3*x4-81*x1^2*x3^2)*dx5^2+((-8*x2*x5^3+9*x1*x3*x5^2)*dx4+12*x2^2*x5+36*x1*x2*x3)*dx5+(-8*x2*x5^2+9*x1*x3*x5+96*x2^2*x4)*dx4+36*x2^2,(x1*x5^2-6*x1*x2*x4)*dx5^2+(3*x1*x4*x5*dx4+(x2*x5^2-4*x2^2*x4)*dx3+2*x1*x5)*dx5+x2*x5*dx3,-4*x2^2*dx5^3+(-4*x2*x5+9*x1*x3)*dx4*dx5^2+(-x5^2*dx4^2-4*x2*dx4)*dx5-x5*dx4^2,(-3*x2*x5^2+3*x1*x3*x5-4*x2^2*x4)*dx5+(-8*x2*x4*x5+9*x1*x3*x4)*dx4-3*x2*x5+3*x1*x3,6*x3*x4*dx5^2+(-x3*x5*dx2+(-x5^2+4*x2*x4)*dx1)*dx5-x5*dx1,6*x1*x4*dx5^2+((-x5^2+4*x2*x4)*dx3-x1*x5*dx2)*dx5-x5*dx3,(8*x2*x5-9*x1*x3)*dx5^2+((x5^2+12*x2*x4)*dx4+12*x2)*dx5+x5*dx4,3*x1*dx5^3+2*x2*dx3*dx5^2+x5*dx3*dx4*dx5+dx3*dx4,(3*x5^2+4*x2*x4)*dx5+8*x4*x5*dx4-3*x1*x3*dx2+3*x5,2*x4*dx1*dx5+x3*dx2^2+x5*dx1*dx2,2*x4*dx3*dx5+x5*dx2*dx3+x1*dx2^2,(-x3*dx2-x5*dx1)*dx5-2*x4*dx1*dx4-dx1,3*x3*dx5^2+2*x2*dx1*dx5+x5*dx1*dx4,(x5*dx3+x1*dx2)*dx5+2*x4*dx3*dx4+dx3,-x2*dx5^2+x5*dx4*dx5+3*x4*dx4^2+4*dx4,x5*dx5+2*x4*dx4+x1*dx1+1,-x5*dx5-3*x4*dx4+x2*dx2-1,-x5*dx5-2*x4*dx4-x3*dx3-1,dx2*dx5-dx1*dx3,dx5^2-dx2*dx4]