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_4_12.txt
N := 3;
X := (u^10 - 4*u^9 + 5*u^8 - 4*u^6 + 5*u^4 - 4*u^3 + u^2)*v^8 + (8*u^10 - 16*u^9 - 8*u^8 + 32*u^7 - 32*u^5 + 8*u^4 + 16*u^3 - 8*u^2)*v^7 + (20*u^10 + 16*u^9 - 92*u^8 + 112*u^6 - 92*u^4 + 16*u^3 + 20*u^2)*v^6 + (8*u^10 + 112*u^9 - 8*u^8 - 224*u^7 + 224*u^5 + 8*u^4 - 112*u^3 - 8*u^2)*v^5 - (28*u^10 - 40*u^9 - 254*u^8 + 276*u^6 - 254*u^4 - 40*u^3 + 28*u^2)*v^4 - (16*u^10 + 128*u^9 + 8*u^8 - 208*u^7 + 208*u^5 - 8*u^4 - 128*u^3 - 16*u^2)*v^3 + (16*u^10 - 16*u^9 - 156*u^8 - 96*u^7 - 8*u^6 - 96*u^5 - 156*u^4 - 16*u^3 + 16*u^2)*v^2 + (32*u^9 + 24*u^8 - 16*u^7 + 16*u^5 - 24*u^4 - 32*u^3)*v + u^12 + 4*u^11 + 9*u^10 + 16*u^9 + 36*u^8 + 40*u^7 + 44*u^6 + 40*u^5 + 36*u^4 + 16*u^3 + 9*u^2 + 4*u + 1;
Xi := u^6 + i*u^5*v^4 + 4*i*u^5*v^3 + 2*i*u^5*v^2 - 4*i*u^5*v + (i + 2)*u^5 + (-2*i - 1)*u^4*v^4 - 4*u^4*v^3 + (12*i - 2)*u^4*v^2 + 4*u^4*v + (-2*i + 2)*u^4 + 2*u^3*v^4 - 8*i*u^3*v^3 - 12*u^3*v^2 + 8*i*u^3*v + 6*u^3 + (2*i - 1)*u^2*v^4 + 4*u^2*v^3 + (-12*i - 2)*u^2*v^2 - 4*u^2*v + (2*i + 2)*u^2 - i*u*v^4 + 4*i*u*v^3 - 2*i*u*v^2 - 4*i*u*v + (-i + 2)*u + 1;
q := (u*v + u - v + 1)/2;
t := (u*v + u - v + 1)/(2*u);
E := [1,(q^2-1)*(t^2-1)/16,(q^2-1)*(t^2-1)/16,0,0];
P := [(q+1)*(t^2-1)/8,(q+1)^2*(t-1)^2*(t+1)/32];
Q := [0,0];