swh:1:snp:e69952b3901aec538b122ef9c4d0ac0702cf4353
Tip revision: a9827241a890603ba5329b0db8b5f26d7c84a0f6 authored by Maarten Derickx on 07 September 2016, 15:02:17 UTC
Update README.md
Update README.md
Tip revision: a982724
X1_2_32.txt
N:=16;
X := (u^10 + 4*u^9 + 6*u^8 + 4*u^7 + u^6)*v^19 - (7*u^11 + 30*u^10 + 58*u^9 + 70*u^8 + 57*u^7 + 28*u^6 + 6*u^5)*v^18 + (20*u^12 + 52*u^11 + 22*u^10 - 40*u^9 - 4*u^8 + 102*u^7 + 133*u^6 + 72*u^5 + 15*u^4)*v^17 - (28*u^13 + 40*u^12 + 26*u^11 + 94*u^10 - 44*u^9 - 544*u^8 - 729*u^7 - 328*u^6 + 45*u^5 + 84*u^4 + 20*u^3)*v^16 + (14*u^14 - 56*u^13 - 140*u^12 - 132*u^11 + 69*u^10 + 1006*u^9 + 1637*u^8 + 396*u^7 - 1064*u^6 - 931*u^5 - 213*u^4 + 35*u^3 + 15*u^2)*v^15 + (14*u^15 + 140*u^14 + 196*u^13 + 164*u^12 + 83*u^11 + 284*u^10 + 741*u^9 - 1240*u^8 - 4544*u^7 - 3866*u^6 - 601*u^5 + 687*u^4 + 301*u^3 + 15*u^2 - 6*u)*v^14 - (28*u^16 + 56*u^15 - 196*u^14 - 336*u^13 + 136*u^12 + 1108*u^11 + 1428*u^10 + 2264*u^9 + 5755*u^8 + 5367*u^7 - 1275*u^6 - 4516*u^5 - 2148*u^4 - 96*u^3 + 138*u^2 + 19*u - 1)*v^13 + (20*u^17 - 40*u^16 - 140*u^15 + 164*u^14 - 136*u^13 - 1600*u^12 - 1806*u^11 + 912*u^10 + 1321*u^9 - 388*u^8 + 4935*u^7 + 10195*u^6 + 5404*u^5 - 666*u^4 - 1344*u^3 - 316*u^2 + 3*u + 5)*v^12 - (7*u^18 - 52*u^17 + 26*u^16 + 132*u^15 - 83*u^14 + 1108*u^13 + 1806*u^12 - 3592*u^11 - 10072*u^10 - 6170*u^9 - 1250*u^8 - 5109*u^7 - 3495*u^6 + 4408*u^5 + 5372*u^4 + 1664*u^3 - 38*u^2 - 90*u - 10)*v^11 + (u^19 - 30*u^18 + 22*u^17 - 94*u^16 + 69*u^15 + 284*u^14 - 1428*u^13 + 912*u^12 + 10072*u^11 + 8932*u^10 - 6626*u^9 - 10882*u^8 - 3811*u^7 - 5423*u^6 - 7794*u^5 - 2964*u^4 + 706*u^3 + 700*u^2 + 150*u + 10)*v^10 + (4*u^19 - 58*u^18 - 40*u^17 + 44*u^16 + 1006*u^15 + 741*u^14 - 2264*u^13 + 1321*u^12 + 6170*u^11 - 6626*u^10 - 19320*u^9 - 7296*u^8 + 5464*u^7 + 2962*u^6 + 1691*u^5 + 3885*u^4 + 2938*u^3 + 922*u^2 + 126*u + 6)*v^9 + (6*u^19 - 70*u^18 - 4*u^17 + 544*u^16 + 1637*u^15 - 1240*u^14 - 5755*u^13 - 388*u^12 + 1250*u^11 - 10882*u^10 - 7296*u^9 + 14452*u^8 + 20908*u^7 + 14032*u^6 + 10607*u^5 + 7603*u^4 + 3190*u^3 + 682*u^2 + 66*u + 2)*v^8 + (4*u^19 - 57*u^18 + 102*u^17 + 729*u^16 + 396*u^15 - 4544*u^14 - 5367*u^13 + 4935*u^12 + 5109*u^11 - 3811*u^10 + 5464*u^9 + 20908*u^8 + 21488*u^7 + 17016*u^6 + 13100*u^5 + 6992*u^4 + 2072*u^3 + 300*u^2 + 16*u)*v^7 + (u^19 - 28*u^18 + 133*u^17 + 328*u^16 - 1064*u^15 - 3866*u^14 + 1275*u^13 + 10195*u^12 + 3495*u^11 - 5423*u^10 + 2962*u^9 + 14032*u^8 + 17016*u^7 + 15640*u^6 + 10240*u^5 + 3916*u^4 + 756*u^3 + 56*u^2)*v^6 - (6*u^18 - 72*u^17 + 45*u^16 + 931*u^15 + 601*u^14 - 4516*u^13 - 5404*u^12 + 4408*u^11 + 7794*u^10 - 1691*u^9 - 10607*u^8 - 13100*u^7 - 10240*u^6 - 4820*u^5 - 1176*u^4 - 112*u^3)*v^5 + (15*u^17 - 84*u^16 - 213*u^15 + 687*u^14 + 2148*u^13 - 666*u^12 - 5372*u^11 - 2964*u^10 + 3885*u^9 + 7603*u^8 + 6992*u^7 + 3916*u^6 + 1176*u^5 + 140*u^4)*v^4 - (20*u^16 - 35*u^15 - 301*u^14 - 96*u^13 + 1344*u^12 + 1664*u^11 - 706*u^10 - 2938*u^9 - 3190*u^8 - 2072*u^7 - 756*u^6 - 112*u^5)*v^3 + (15*u^15 + 15*u^14 - 138*u^13 - 316*u^12 + 38*u^11 + 700*u^10 + 922*u^9 + 682*u^8 + 300*u^7 + 56*u^6)*v^2 - (6*u^14 + 19*u^13 - 3*u^12 - 90*u^11 - 150*u^10 - 126*u^9 - 66*u^8 - 16*u^7)*v + u^13 + 5*u^12 + 10*u^11 + 10*u^10 + 6*u^9 + 2*u^8;
q := (2*u*v + u + v)/(u - v);
t :=(u^3*v + 1/2*u^3 + 1/2*u^2*v - u*v^3 - 1/2*u*v^2 - 1/2*v^3)/(u^3*v^3 - u^3*v - 1/2*u^3 - u^2*v^2 - 1/2*u^2*v - u*v^3 - 1/2*u*v^2 - 1/2*v^3);
E:=[0,t^2-2*q*t-2,0,-(t^2-1)*(q*t+1)^2,0];
P:=[(t+1)*(q*t+1),t*(q*t+1)*(t+1)];
Q:=[0,0];