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_30.txt
N := 15;
X := (u^8 + 3*u^7 + 3*u^6 + u^5)*v^15 + (7*u^9 + 34*u^8 + 50*u^7 + 26*u^6 - 2*u^5 - 4*u^4)*v^14 + (21*u^10 + 144*u^9 + 309*u^8 + 253*u^7 + 35*u^6 - 56*u^5 - 11*u^4 + 7*u^3)*v^13 + (35*u^11 + 318*u^10 + 935*u^9 + 1128*u^8 + 439*u^7 - 204*u^6 - 188*u^5 + 22*u^4 + 21*u^3 - 7*u^2)*v^12 + (35*u^12 + 410*u^11 + 1583*u^10 + 2626*u^9 + 1725*u^8 - 160*u^7 - 771*u^6 - 249*u^5 + 108*u^4 + 10*u^3 - 19*u^2 + 4*u)*v^11 + (21*u^13 + 318*u^12 + 1583*u^11 + 3452*u^10 + 3243*u^9 + 432*u^8 - 1425*u^7 - 1016*u^6 - 75*u^5 + 189*u^4 - 9*u^3 - 10*u^2 + 11*u - 1)*v^10 + (7*u^14 + 144*u^13 + 935*u^12 + 2626*u^11 + 3243*u^10 + 880*u^9 - 1637*u^8 - 1518*u^7 - 425*u^6 + 200*u^5 + 210*u^4 - 12*u^3 + 5*u^2 + 8*u - 3)*v^9 + (u^15 + 34*u^14 + 309*u^13 + 1128*u^12 + 1725*u^11 + 432*u^10 - 1637*u^9 - 1532*u^8 - 269*u^7 + 138*u^6 + 190*u^5 + 88*u^4 - 38*u^3 + 3*u^2 - 3)*v^8 + (3*u^15 + 50*u^14 + 253*u^13 + 439*u^12 - 160*u^11 - 1425*u^10 - 1518*u^9 - 269*u^8 + 220*u^7 + 12*u^6 + 8*u^5 - 26*u^4 - 32*u^3 + 9*u^2 - 1)*v^7 + (3*u^15 + 26*u^14 + 35*u^13 - 204*u^12 - 771*u^11 - 1016*u^10 - 425*u^9 + 138*u^8 + 12*u^7 - 28*u^6 + 48*u^5 - 2*u^4 + 3*u^3 + 12*u^2 + u)*v^6 + (u^15 - 2*u^14 - 56*u^13 - 188*u^12 - 249*u^11 - 75*u^10 + 200*u^9 + 190*u^8 + 8*u^7 + 48*u^6 + 48*u^5 - 9*u^4 + 3*u^2)*v^5 - (4*u^14 + 11*u^13 - 22*u^12 - 108*u^11 - 189*u^10 - 210*u^9 - 88*u^8 + 26*u^7 + 2*u^6 + 9*u^5 + 18*u^4 + 3*u^3)*v^4 + (7*u^13 + 21*u^12 + 10*u^11 - 9*u^10 - 12*u^9 - 38*u^8 - 32*u^7 + 3*u^6 - 3*u^4)*v^3 - (7*u^12 + 19*u^11 + 10*u^10 - 5*u^9 - 3*u^8 - 9*u^7 - 12*u^6 - 3*u^5)*v^2 + (4*u^11 + 11*u^10 + 8*u^9 + 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];