swh:1:snp:e69952b3901aec538b122ef9c4d0ac0702cf4353
Tip revision: 82a2b638f1954dd3e257dec414362797424d2776 authored by Maarten Derickx on 04 July 2024, 17:46:49 UTC
Check contribution in the fiber above 2
Check contribution in the fiber above 2
Tip revision: 82a2b63
X1_2_28.txt
N := 14;
X := (u^8 + 2*u^7 + u^6)*v^15 + (7*u^9 + 22*u^8 + 17*u^7 - 4*u^6 - 6*u^5)*v^14 + (21*u^10 + 92*u^9 + 128*u^8 + 28*u^7 - 40*u^6 + 9*u^5 + 22*u^4 + u^3)*v^13 + (35*u^11 + 202*u^10 + 432*u^9 + 352*u^8 + 18*u^7 + 28*u^6 + 160*u^5 + 39*u^4 - 34*u^3 - 3*u^2)*v^12 + (35*u^12 + 260*u^11 + 766*u^10 + 1092*u^9 + 646*u^8 + 148*u^7 + 342*u^6 + 233*u^5 - 169*u^4 - 119*u^3 + 18*u^2 + 3*u)*v^11 + (21*u^13 + 202*u^12 + 766*u^11 + 1544*u^10 + 1622*u^9 + 644*u^8 + 162*u^7 + 348*u^6 - 209*u^5 - 497*u^4 - 66*u^3 + 93*u^2 + 2*u - 1)*v^10 + (7*u^14 + 92*u^13 + 432*u^12 + 1092*u^11 + 1622*u^10 + 1030*u^9 - 238*u^8 - 202*u^7 + 77*u^6 - 544*u^5 - 392*u^4 + 149*u^3 + 130*u^2 - 17*u - 3)*v^9 + (u^15 + 22*u^14 + 128*u^13 + 352*u^12 + 646*u^11 + 644*u^10 - 238*u^9 - 710*u^8 + 335*u^7 + 500*u^6 - 240*u^5 - 64*u^4 + 188*u^3 + 69*u^2 - 31*u - 3)*v^8 + (2*u^15 + 17*u^14 + 28*u^13 + 18*u^12 + 148*u^11 + 162*u^10 - 202*u^9 + 335*u^8 + 1326*u^7 + 680*u^6 - 152*u^5 - 52*u^4 + 32*u^3 + 12*u^2 - 18*u - 1)*v^7 + (u^15 - 4*u^14 - 40*u^13 + 28*u^12 + 342*u^11 + 348*u^10 + 77*u^9 + 500*u^8 + 680*u^7 - 58*u^6 - 268*u^5 - 68*u^4 - 44*u^3 - 3*u)*v^6 - (6*u^14 - 9*u^13 - 160*u^12 - 233*u^11 + 209*u^10 + 544*u^9 + 240*u^8 + 152*u^7 + 268*u^6 + 30*u^5 - 66*u^4 + 14*u^3 + u^2)*v^5 + (22*u^13 + 39*u^12 - 169*u^11 - 497*u^10 - 392*u^9 - 64*u^8 - 52*u^7 - 68*u^6 + 66*u^5 + 70*u^4 + 5*u^3)*v^4 + (u^13 - 34*u^12 - 119*u^11 - 66*u^10 + 149*u^9 + 188*u^8 + 32*u^7 - 44*u^6 - 14*u^5 + 5*u^4)*v^3 - (3*u^12 - 18*u^11 - 93*u^10 - 130*u^9 - 69*u^8 - 12*u^7 + u^5)*v^2 + (3*u^11 + 2*u^10 - 17*u^9 - 31*u^8 - 18*u^7 - 3*u^6)*v - u^10 - 3*u^9 - 3*u^8 - u^7;
q := (-u - v - 2)/(u - v);
t := (u^3 + u^2*v + 2*u^2 - u*v^2 - v^3 - 2*v^2)/(u^3 + u^2*v + 2*u^2 + u*v^2 + 2*u*v + v^3 + 2*v^2 - 2);
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];