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_24.txt
N := 12;
X := (u^5 + u^4 + u^3)*v^9 + (4*u^6 + 7*u^5 + 5*u^4 + 2*u^3 - 3*u^2)*v^8 + (6*u^7 + 16*u^6 + 11*u^5 + 4*u^4 - 6*u^3 - 9*u^2 + 3*u)*v^7 + (4*u^8 + 16*u^7 + 14*u^6 + 2*u^5 + 3*u^4 - 9*u^3 - 4*u^2 + 8*u - 1)*v^6 + (u^9 + 7*u^8 + 11*u^7 + 2*u^6 + 12*u^5 + 18*u^4 - 3*u^3 + 5*u - 2)*v^5 + (u^9 + 5*u^8 + 4*u^7 + 3*u^6 + 18*u^5 + 8*u^4 - 8*u^3 - 3*u^2 - 1)*v^4 + (u^9 + 2*u^8 - 6*u^7 - 9*u^6 - 3*u^5 - 8*u^4 - 2*u^3 + 2*u^2)*v^3 - (3*u^8 + 9*u^7 + 4*u^6 + 3*u^4 - 2*u^3 - 2*u^2)*v^2 + (3*u^7 + 8*u^6 + 5*u^5)*v - u^6 - 2*u^5 - u^4;
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];