adorian / PFE_28

normalize.tst 11.2 KB
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 
(x^4+4*x^3*y-4*x^3*z-4*x^3+6*x^2*y^2-12*x^2*y*z-12*x^2*y+6*x^2*z^2+12*x^2*z+6*x^2+4*x*y^3-12*x*y^2*z-12*x*y^2+12*x*y*z^2+24*x*y*z+12*x*y-4*x*z^3-12*x*z^2-12*x*z-4*x+y^4-4*y^3*z-4*y^3+6*y^2*z^2+12*y^2*z+6*y^2-4*y*z^3-12*y*z^2-12*y*z-4*y+z^4+4*z^3+6*z^2+4*z+1)/(x^4+4*x^3*y+4*x^3*z+4*x^3+6*x^2*y^2+12*x^2*y*z+12*x^2*y+6*x^2*z^2+12*x^2*z+6*x^2+4*x*y^3+12*x*y^2*z+12*x*y^2+12*x*y*z^2+24*x*y*z+12*x*y+4*x*z^3+12*x*z^2+12*x*z+4*x+y^4+4*y^3*z+4*y^3+6*y^2*z^2+12*y^2*z+6*y^2+4*y*z^3+12*y*z^2+12*y*z+4*y+z^4+4*z^3+6*z^2+4*z+1),
(x^8+8*x^7*y-8*x^7*z-8*x^7+28*x^6*y^2-56*x^6*y*z-56*x^6*y+28*x^6*z^2+56*x^6*z+28*x^6+56*x^5*y^3-168*x^5*y^2*z-168*x^5*y^2+168*x^5*y*z^2+336*x^5*y*z+168*x^5*y-56*x^5*z^3-168*x^5*z^2-168*x^5*z-56*x^5+70*x^4*y^4-280*x^4*y^3*z-280*x^4*y^3+420*x^4*y^2*z^2+840*x^4*y^2*z+420*x^4*y^2-280*x^4*y*z^3-840*x^4*y*z^2-840*x^4*y*z-280*x^4*y+70*x^4*z^4+280*x^4*z^3+420*x^4*z^2+280*x^4*z+70*x^4+56*x^3*y^5-280*x^3*y^4*z-280*x^3*y^4+560*x^3*y^3*z^2+1120*x^3*y^3*z+560*x^3*y^3-560*x^3*y^2*z^3-1680*x^3*y^2*z^2-1680*x^3*y^2*z-560*x^3*y^2+280*x^3*y*z^4+1120*x^3*y*z^3+1680*x^3*y*z^2+1120*x^3*y*z+280*x^3*y-56*x^3*z^5-280*x^3*z^4-560*x^3*z^3-560*x^3*z^2-280*x^3*z-56*x^3+28*x^2*y^6-168*x^2*y^5*z-168*x^2*y^5+420*x^2*y^4*z^2+840*x^2*y^4*z+420*x^2*y^4-560*x^2*y^3*z^3-1680*x^2*y^3*z^2-1680*x^2*y^3*z-560*x^2*y^3+420*x^2*y^2*z^4+1680*x^2*y^2*z^3+2520*x^2*y^2*z^2+1680*x^2*y^2*z+420*x^2*y^2-168*x^2*y*z^5-840*x^2*y*z^4-1680*x^2*y*z^3-1680*x^2*y*z^2-840*x^2*y*z-168*x^2*y+28*x^2*z^6+168*x^2*z^5+420*x^2*z^4+560*x^2*z^3+420*x^2*z^2+168*x^2*z+28*x^2+8*x*y^7-56*x*y^6*z-56*x*y^6+168*x*y^5*z^2+336*x*y^5*z+168*x*y^5-280*x*y^4*z^3-840*x*y^4*z^2-840*x*y^4*z-280*x*y^4+280*x*y^3*z^4+1120*x*y^3*z^3+1680*x*y^3*z^2+1120*x*y^3*z+280*x*y^3-168*x*y^2*z^5-840*x*y^2*z^4-1680*x*y^2*z^3-1680*x*y^2*z^2-840*x*y^2*z-168*x*y^2+56*x*y*z^6+336*x*y*z^5+840*x*y*z^4+1120*x*y*z^3+840*x*y*z^2+336*x*y*z+56*x*y-8*x*z^7-56*x*z^6-168*x*z^5-280*x*z^4-280*x*z^3-168*x*z^2-56*x*z-8*x+y^8-8*y^7*z-8*y^7+28*y^6*z^2+56*y^6*z+28*y^6-56*y^5*z^3-168*y^5*z^2-168*y^5*z-56*y^5+70*y^4*z^4+280*y^4*z^3+420*y^4*z^2+280*y^4*z+70*y^4-56*y^3*z^5-280*y^3*z^4-560*y^3*z^3-560*y^3*z^2-280*y^3*z-56*y^3+28*y^2*z^6+168*y^2*z^5+420*y^2*z^4+560*y^2*z^3+420*y^2*z^2+168*y^2*z+28*y^2-8*y*z^7-56*y*z^6-168*y*z^5-280*y*z^4-280*y*z^3-168*y*z^2-56*y*z-8*y+z^8+8*z^7+28*z^6+56*z^5+70*z^4+56*z^3+28*z^2+8*z+1)/(x^8+8*x^7*y+8*x^7*z+8*x^7+28*x^6*y^2+56*x^6*y*z+56*x^6*y+28*x^6*z^2+56*x^6*z+28*x^6+56*x^5*y^3+168*x^5*y^2*z+168*x^5*y^2+168*x^5*y*z^2+336*x^5*y*z+168*x^5*y+56*x^5*z^3+168*x^5*z^2+168*x^5*z+56*x^5+70*x^4*y^4+280*x^4*y^3*z+280*x^4*y^3+420*x^4*y^2*z^2+840*x^4*y^2*z+420*x^4*y^2+280*x^4*y*z^3+840*x^4*y*z^2+840*x^4*y*z+280*x^4*y+70*x^4*z^4+280*x^4*z^3+420*x^4*z^2+280*x^4*z+70*x^4+56*x^3*y^5+280*x^3*y^4*z+280*x^3*y^4+560*x^3*y^3*z^2+1120*x^3*y^3*z+560*x^3*y^3+560*x^3*y^2*z^3+1680*x^3*y^2*z^2+1680*x^3*y^2*z+560*x^3*y^2+280*x^3*y*z^4+1120*x^3*y*z^3+1680*x^3*y*z^2+1120*x^3*y*z+280*x^3*y+56*x^3*z^5+280*x^3*z^4+560*x^3*z^3+560*x^3*z^2+280*x^3*z+56*x^3+28*x^2*y^6+168*x^2*y^5*z+168*x^2*y^5+420*x^2*y^4*z^2+840*x^2*y^4*z+420*x^2*y^4+560*x^2*y^3*z^3+1680*x^2*y^3*z^2+1680*x^2*y^3*z+560*x^2*y^3+420*x^2*y^2*z^4+1680*x^2*y^2*z^3+2520*x^2*y^2*z^2+1680*x^2*y^2*z+420*x^2*y^2+168*x^2*y*z^5+840*x^2*y*z^4+1680*x^2*y*z^3+1680*x^2*y*z^2+840*x^2*y*z+168*x^2*y+28*x^2*z^6+168*x^2*z^5+420*x^2*z^4+560*x^2*z^3+420*x^2*z^2+168*x^2*z+28*x^2+8*x*y^7+56*x*y^6*z+56*x*y^6+168*x*y^5*z^2+336*x*y^5*z+168*x*y^5+280*x*y^4*z^3+840*x*y^4*z^2+840*x*y^4*z+280*x*y^4+280*x*y^3*z^4+1120*x*y^3*z^3+1680*x*y^3*z^2+1120*x*y^3*z+280*x*y^3+168*x*y^2*z^5+840*x*y^2*z^4+1680*x*y^2*z^3+1680*x*y^2*z^2+840*x*y^2*z+168*x*y^2+56*x*y*z^6+336*x*y*z^5+840*x*y*z^4+1120*x*y*z^3+840*x*y*z^2+336*x*y*z+56*x*y+8*x*z^7+56*x*z^6+168*x*z^5+280*x*z^4+280*x*z^3+168*x*z^2+56*x*z+8*x+y^8+8*y^7*z+8*y^7+28*y^6*z^2+56*y^6*z+28*y^6+56*y^5*z^3+168*y^5*z^2+168*y^5*z+56*y^5+70*y^4*z^4+280*y^4*z^3+420*y^4*z^2+280*y^4*z+70*y^4+56*y^3*z^5+280*y^3*z^4+560*y^3*z^3+560*y^3*z^2+280*y^3*z+56*y^3+28*y^2*z^6+168*y^2*z^5+420*y^2*z^4+560*y^2*z^3+420*y^2*z^2+168*y^2*z+28*y^2+8*y*z^7+56*y*z^6+168*y*z^5+280*y*z^4+280*y*z^3+168*y*z^2+56*y*z+8*y+z^8+8*z^7+28*z^6+56*z^5+70*z^4+56*z^3+28*z^2+8*z+1),
(x^10+10*x^9*y-10*x^9*z-10*x^9+45*x^8*y^2-90*x^8*y*z-90*x^8*y+45*x^8*z^2+90*x^8*z+45*x^8+120*x^7*y^3-360*x^7*y^2*z-360*x^7*y^2+360*x^7*y*z^2+720*x^7*y*z+360*x^7*y-120*x^7*z^3-360*x^7*z^2-360*x^7*z-120*x^7+210*x^6*y^4-840*x^6*y^3*z-840*x^6*y^3+1260*x^6*y^2*z^2+2520*x^6*y^2*z+1260*x^6*y^2-840*x^6*y*z^3-2520*x^6*y*z^2-2520*x^6*y*z-840*x^6*y+210*x^6*z^4+840*x^6*z^3+1260*x^6*z^2+840*x^6*z+210*x^6+252*x^5*y^5-1260*x^5*y^4*z-1260*x^5*y^4+2520*x^5*y^3*z^2+5040*x^5*y^3*z+2520*x^5*y^3-2520*x^5*y^2*z^3-7560*x^5*y^2*z^2-7560*x^5*y^2*z-2520*x^5*y^2+1260*x^5*y*z^4+5040*x^5*y*z^3+7560*x^5*y*z^2+5040*x^5*y*z+1260*x^5*y-252*x^5*z^5-1260*x^5*z^4-2520*x^5*z^3-2520*x^5*z^2-1260*x^5*z-252*x^5+210*x^4*y^6-1260*x^4*y^5*z-1260*x^4*y^5+3150*x^4*y^4*z^2+6300*x^4*y^4*z+3150*x^4*y^4-4200*x^4*y^3*z^3-12600*x^4*y^3*z^2-12600*x^4*y^3*z-4200*x^4*y^3+3150*x^4*y^2*z^4+12600*x^4*y^2*z^3+18900*x^4*y^2*z^2+12600*x^4*y^2*z+3150*x^4*y^2-1260*x^4*y*z^5-6300*x^4*y*z^4-12600*x^4*y*z^3-12600*x^4*y*z^2-6300*x^4*y*z-1260*x^4*y+210*x^4*z^6+1260*x^4*z^5+3150*x^4*z^4+4200*x^4*z^3+3150*x^4*z^2+1260*x^4*z+210*x^4+120*x^3*y^7-840*x^3*y^6*z-840*x^3*y^6+2520*x^3*y^5*z^2+5040*x^3*y^5*z+2520*x^3*y^5-4200*x^3*y^4*z^3-12600*x^3*y^4*z^2-12600*x^3*y^4*z-4200*x^3*y^4+4200*x^3*y^3*z^4+16800*x^3*y^3*z^3+25200*x^3*y^3*z^2+16800*x^3*y^3*z+4200*x^3*y^3-2520*x^3*y^2*z^5-12600*x^3*y^2*z^4-25200*x^3*y^2*z^3-25200*x^3*y^2*z^2-12600*x^3*y^2*z-2520*x^3*y^2+840*x^3*y*z^6+5040*x^3*y*z^5+12600*x^3*y*z^4+16800*x^3*y*z^3+12600*x^3*y*z^2+5040*x^3*y*z+840*x^3*y-120*x^3*z^7-840*x^3*z^6-2520*x^3*z^5-4200*x^3*z^4-4200*x^3*z^3-2520*x^3*z^2-840*x^3*z-120*x^3+45*x^2*y^8-360*x^2*y^7*z-360*x^2*y^7+1260*x^2*y^6*z^2+2520*x^2*y^6*z+1260*x^2*y^6-2520*x^2*y^5*z^3-7560*x^2*y^5*z^2-7560*x^2*y^5*z-2520*x^2*y^5+3150*x^2*y^4*z^4+12600*x^2*y^4*z^3+18900*x^2*y^4*z^2+12600*x^2*y^4*z+3150*x^2*y^4-2520*x^2*y^3*z^5-12600*x^2*y^3*z^4-25200*x^2*y^3*z^3-25200*x^2*y^3*z^2-12600*x^2*y^3*z-2520*x^2*y^3+1260*x^2*y^2*z^6+7560*x^2*y^2*z^5+18900*x^2*y^2*z^4+25200*x^2*y^2*z^3+18900*x^2*y^2*z^2+7560*x^2*y^2*z+1260*x^2*y^2-360*x^2*y*z^7-2520*x^2*y*z^6-7560*x^2*y*z^5-12600*x^2*y*z^4-12600*x^2*y*z^3-7560*x^2*y*z^2-2520*x^2*y*z-360*x^2*y+45*x^2*z^8+360*x^2*z^7+1260*x^2*z^6+2520*x^2*z^5+3150*x^2*z^4+2520*x^2*z^3+1260*x^2*z^2+360*x^2*z+45*x^2+10*x*y^9-90*x*y^8*z-90*x*y^8+360*x*y^7*z^2+720*x*y^7*z+360*x*y^7-840*x*y^6*z^3-2520*x*y^6*z^2-2520*x*y^6*z-840*x*y^6+1260*x*y^5*z^4+5040*x*y^5*z^3+7560*x*y^5*z^2+5040*x*y^5*z+1260*x*y^5-1260*x*y^4*z^5-6300*x*y^4*z^4-12600*x*y^4*z^3-12600*x*y^4*z^2-6300*x*y^4*z-1260*x*y^4+840*x*y^3*z^6+5040*x*y^3*z^5+12600*x*y^3*z^4+16800*x*y^3*z^3+12600*x*y^3*z^2+5040*x*y^3*z+840*x*y^3-360*x*y^2*z^7-2520*x*y^2*z^6-7560*x*y^2*z^5-12600*x*y^2*z^4-12600*x*y^2*z^3-7560*x*y^2*z^2-2520*x*y^2*z-360*x*y^2+90*x*y*z^8+720*x*y*z^7+2520*x*y*z^6+5040*x*y*z^5+6300*x*y*z^4+5040*x*y*z^3+2520*x*y*z^2+720*x*y*z+90*x*y-10*x*z^9-90*x*z^8-360*x*z^7-840*x*z^6-1260*x*z^5-1260*x*z^4-840*x*z^3-360*x*z^2-90*x*z-10*x+y^10-10*y^9*z-10*y^9+45*y^8*z^2+90*y^8*z+45*y^8-120*y^7*z^3-360*y^7*z^2-360*y^7*z-120*y^7+210*y^6*z^4+840*y^6*z^3+1260*y^6*z^2+840*y^6*z+210*y^6-252*y^5*z^5-1260*y^5*z^4-2520*y^5*z^3-2520*y^5*z^2-1260*y^5*z-252*y^5+210*y^4*z^6+1260*y^4*z^5+3150*y^4*z^4+4200*y^4*z^3+3150*y^4*z^2+1260*y^4*z+210*y^4-120*y^3*z^7-840*y^3*z^6-2520*y^3*z^5-4200*y^3*z^4-4200*y^3*z^3-2520*y^3*z^2-840*y^3*z-120*y^3+45*y^2*z^8+360*y^2*z^7+1260*y^2*z^6+2520*y^2*z^5+3150*y^2*z^4+2520*y^2*z^3+1260*y^2*z^2+360*y^2*z+45*y^2-10*y*z^9-90*y*z^8-360*y*z^7-840*y*z^6-1260*y*z^5-1260*y*z^4-840*y*z^3-360*y*z^2-90*y*z-10*y+z^10+10*z^9+45*z^8+120*z^7+210*z^6+252*z^5+210*z^4+120*z^3+45*z^2+10*z+1)/(x^10+10*x^9*y+10*x^9*z+10*x^9+45*x^8*y^2+90*x^8*y*z+90*x^8*y+45*x^8*z^2+90*x^8*z+45*x^8+120*x^7*y^3+360*x^7*y^2*z+360*x^7*y^2+360*x^7*y*z^2+720*x^7*y*z+360*x^7*y+120*x^7*z^3+360*x^7*z^2+360*x^7*z+120*x^7+210*x^6*y^4+840*x^6*y^3*z+840*x^6*y^3+1260*x^6*y^2*z^2+2520*x^6*y^2*z+1260*x^6*y^2+840*x^6*y*z^3+2520*x^6*y*z^2+2520*x^6*y*z+840*x^6*y+210*x^6*z^4+840*x^6*z^3+1260*x^6*z^2+840*x^6*z+210*x^6+252*x^5*y^5+1260*x^5*y^4*z+1260*x^5*y^4+2520*x^5*y^3*z^2+5040*x^5*y^3*z+2520*x^5*y^3+2520*x^5*y^2*z^3+7560*x^5*y^2*z^2+7560*x^5*y^2*z+2520*x^5*y^2+1260*x^5*y*z^4+5040*x^5*y*z^3+7560*x^5*y*z^2+5040*x^5*y*z+1260*x^5*y+252*x^5*z^5+1260*x^5*z^4+2520*x^5*z^3+2520*x^5*z^2+1260*x^5*z+252*x^5+210*x^4*y^6+1260*x^4*y^5*z+1260*x^4*y^5+3150*x^4*y^4*z^2+6300*x^4*y^4*z+3150*x^4*y^4+4200*x^4*y^3*z^3+12600*x^4*y^3*z^2+12600*x^4*y^3*z+4200*x^4*y^3+3150*x^4*y^2*z^4+12600*x^4*y^2*z^3+18900*x^4*y^2*z^2+12600*x^4*y^2*z+3150*x^4*y^2+1260*x^4*y*z^5+6300*x^4*y*z^4+12600*x^4*y*z^3+12600*x^4*y*z^2+6300*x^4*y*z+1260*x^4*y+210*x^4*z^6+1260*x^4*z^5+3150*x^4*z^4+4200*x^4*z^3+3150*x^4*z^2+1260*x^4*z+210*x^4+120*x^3*y^7+840*x^3*y^6*z+840*x^3*y^6+2520*x^3*y^5*z^2+5040*x^3*y^5*z+2520*x^3*y^5+4200*x^3*y^4*z^3+12600*x^3*y^4*z^2+12600*x^3*y^4*z+4200*x^3*y^4+4200*x^3*y^3*z^4+16800*x^3*y^3*z^3+25200*x^3*y^3*z^2+16800*x^3*y^3*z+4200*x^3*y^3+2520*x^3*y^2*z^5+12600*x^3*y^2*z^4+25200*x^3*y^2*z^3+25200*x^3*y^2*z^2+12600*x^3*y^2*z+2520*x^3*y^2+840*x^3*y*z^6+5040*x^3*y*z^5+12600*x^3*y*z^4+16800*x^3*y*z^3+12600*x^3*y*z^2+5040*x^3*y*z+840*x^3*y+120*x^3*z^7+840*x^3*z^6+2520*x^3*z^5+4200*x^3*z^4+4200*x^3*z^3+2520*x^3*z^2+840*x^3*z+120*x^3+45*x^2*y^8+360*x^2*y^7*z+360*x^2*y^7+1260*x^2*y^6*z^2+2520*x^2*y^6*z+1260*x^2*y^6+2520*x^2*y^5*z^3+7560*x^2*y^5*z^2+7560*x^2*y^5*z+2520*x^2*y^5+3150*x^2*y^4*z^4+12600*x^2*y^4*z^3+18900*x^2*y^4*z^2+12600*x^2*y^4*z+3150*x^2*y^4+2520*x^2*y^3*z^5+12600*x^2*y^3*z^4+25200*x^2*y^3*z^3+25200*x^2*y^3*z^2+12600*x^2*y^3*z+2520*x^2*y^3+1260*x^2*y^2*z^6+7560*x^2*y^2*z^5+18900*x^2*y^2*z^4+25200*x^2*y^2*z^3+18900*x^2*y^2*z^2+7560*x^2*y^2*z+1260*x^2*y^2+360*x^2*y*z^7+2520*x^2*y*z^6+7560*x^2*y*z^5+12600*x^2*y*z^4+12600*x^2*y*z^3+7560*x^2*y*z^2+2520*x^2*y*z+360*x^2*y+45*x^2*z^8+360*x^2*z^7+1260*x^2*z^6+2520*x^2*z^5+3150*x^2*z^4+2520*x^2*z^3+1260*x^2*z^2+360*x^2*z+45*x^2+10*x*y^9+90*x*y^8*z+90*x*y^8+360*x*y^7*z^2+720*x*y^7*z+360*x*y^7+840*x*y^6*z^3+2520*x*y^6*z^2+2520*x*y^6*z+840*x*y^6+1260*x*y^5*z^4+5040*x*y^5*z^3+7560*x*y^5*z^2+5040*x*y^5*z+1260*x*y^5+1260*x*y^4*z^5+6300*x*y^4*z^4+12600*x*y^4*z^3+12600*x*y^4*z^2+6300*x*y^4*z+1260*x*y^4+840*x*y^3*z^6+5040*x*y^3*z^5+12600*x*y^3*z^4+16800*x*y^3*z^3+12600*x*y^3*z^2+5040*x*y^3*z+840*x*y^3+360*x*y^2*z^7+2520*x*y^2*z^6+7560*x*y^2*z^5+12600*x*y^2*z^4+12600*x*y^2*z^3+7560*x*y^2*z^2+2520*x*y^2*z+360*x*y^2+90*x*y*z^8+720*x*y*z^7+2520*x*y*z^6+5040*x*y*z^5+6300*x*y*z^4+5040*x*y*z^3+2520*x*y*z^2+720*x*y*z+90*x*y+10*x*z^9+90*x*z^8+360*x*z^7+840*x*z^6+1260*x*z^5+1260*x*z^4+840*x*z^3+360*x*z^2+90*x*z+10*x+y^10+10*y^9*z+10*y^9+45*y^8*z^2+90*y^8*z+45*y^8+120*y^7*z^3+360*y^7*z^2+360*y^7*z+120*y^7+210*y^6*z^4+840*y^6*z^3+1260*y^6*z^2+840*y^6*z+210*y^6+252*y^5*z^5+1260*y^5*z^4+2520*y^5*z^3+2520*y^5*z^2+1260*y^5*z+252*y^5+210*y^4*z^6+1260*y^4*z^5+3150*y^4*z^4+4200*y^4*z^3+3150*y^4*z^2+1260*y^4*z+210*y^4+120*y^3*z^7+840*y^3*z^6+2520*y^3*z^5+4200*y^3*z^4+4200*y^3*z^3+2520*y^3*z^2+840*y^3*z+120*y^3+45*y^2*z^8+360*y^2*z^7+1260*y^2*z^6+2520*y^2*z^5+3150*y^2*z^4+2520*y^2*z^3+1260*y^2*z^2+360*y^2*z+45*y^2+10*y*z^9+90*y*z^8+360*y*z^7+840*y*z^6+1260*y*z^5+1260*y*z^4+840*y*z^3+360*y*z^2+90*y*z+10*y+z^10+10*z^9+45*z^8+120*z^7+210*z^6+252*z^5+210*z^4+120*z^3+45*z^2+10*z+1),
"Done",
"Done",
"Done",
"Done",
"Done",
0,
"Done",
"Done",
"Done",
"Done",
"Done",
0