https://github.com/koffie/mdmagma
Raw File
Tip revision: f69d0e06f67b9ac6f57e7d8e6ba3b3d69e650352 authored by Maarten Derickx on 02 November 2020, 22:43:35 UTC
Quickly lists all non cuspidal places up to diamond operators on X_1(N)
Tip revision: f69d0e0
X1_4_24.txt
N := 6;
X := (u^20 - u^16 + u^12)*v^32 + (28*u^21 + 4*u^20 - 8*u^19 + 8*u^18 - 40*u^17 + 8*u^16 - 8*u^15 + 8*u^14 + 28*u^13 + 4*u^12)*v^31 + (u^30 - 2*u^29 + 5*u^28 - 8*u^27 + 13*u^26 - 18*u^25 + 25*u^24 - 32*u^23 + 419*u^22 + 34*u^21 - 109*u^20 + 40*u^19 - 478*u^18 - 28*u^17 + 18*u^16 + 40*u^15 + 511*u^14 + 34*u^13 + 47*u^12 - 32*u^11 + 25*u^10 - 18*u^9 + 13*u^8 - 8*u^7 + 5*u^6 - 2*u^5 + u^4)*v^30 + (18*u^31 - 26*u^30 + 52*u^29 - 44*u^28 + 30*u^27 + 34*u^26 - 104*u^25 + 216*u^24 + 2966*u^23 + 1170*u^22 - 2048*u^21 + 560*u^20 - 4252*u^19 - 708*u^18 + 408*u^17 + 1032*u^16 + 4190*u^15 + 1658*u^14 - 600*u^13 + 584*u^12 - 426*u^11 + 314*u^10 - 184*u^9 + 120*u^8 - 46*u^7 + 38*u^6 - 4*u^5 + 12*u^4)*v^29 + (152*u^32 - 140*u^31 + 164*u^30 + 220*u^29 - 702*u^28 + 1512*u^27 - 2126*u^26 + 2872*u^25 + 17182*u^24 + 7244*u^23 - 12180*u^22 - 5836*u^21 - 14979*u^20 - 18864*u^19 + 15176*u^18 + 2016*u^17 + 33364*u^16 + 10636*u^15 - 2088*u^14 + 980*u^13 + 304*u^12 - 376*u^11 + 774*u^10 - 344*u^9 + 574*u^8 - 12*u^7 + 280*u^6 + 92*u^5 + 65*u^4)*v^28 + (800*u^33 - 352*u^32 - 366*u^31 + 3082*u^30 - 5612*u^29 + 8356*u^28 - 9102*u^27 + 11650*u^26 + 81296*u^25 + 32944*u^24 - 69298*u^23 - 43066*u^22 - 68140*u^21 - 77572*u^20 + 36852*u^19 + 95364*u^18 + 99496*u^17 + 128424*u^16 - 61066*u^15 + 29342*u^14 - 9984*u^13 + 6008*u^12 + 306*u^11 + 2466*u^10 + 2144*u^9 + 2672*u^8 + 1986*u^7 + 1850*u^6 + 688*u^5 + 208*u^4)*v^27 + (u^38 - 6*u^37 + 27*u^36 - 92*u^35 + 3213*u^34 - 754*u^33 - 3449*u^32 + 10728*u^31 - 11413*u^30 + 5078*u^29 + 8375*u^28 - 2760*u^27 + 331553*u^26 + 90242*u^25 - 289751*u^24 - 251688*u^23 - 186865*u^22 - 319218*u^21 + 166507*u^20 + 447808*u^19 + 502198*u^18 + 358284*u^17 - 21634*u^16 - 171552*u^15 + 206581*u^14 - 139078*u^13 + 112061*u^12 - 43584*u^11 + 51449*u^10 + 3818*u^9 + 27161*u^8 + 11232*u^7 + 9448*u^6 + 1640*u^5 + 702*u^4 - 92*u^3 + 27*u^2 - 6*u + 1)*v^26 + (10*u^39 - 50*u^38 + 196*u^37 - 564*u^36 + 9462*u^35 - 574*u^34 - 15600*u^33 + 23680*u^32 - 1640*u^31 - 44152*u^30 + 71376*u^29 + 29208*u^28 + 795928*u^27 + 504824*u^26 - 1357656*u^25 - 688232*u^24 - 666860*u^23 - 645380*u^22 + 258872*u^21 + 2033080*u^20 + 1528920*u^19 + 1219800*u^18 - 309912*u^17 - 368616*u^16 + 203176*u^15 + 265656*u^14 - 314556*u^13 + 476460*u^12 - 201224*u^11 + 343688*u^10 - 12216*u^9 + 174072*u^8 + 16282*u^7 + 38766*u^6 - 3352*u^5 + 3824*u^4 - 1126*u^3 + 350*u^2 - 80*u + 16)*v^25 + (44*u^40 - 172*u^39 + 536*u^38 - 1060*u^37 + 18606*u^36 + 7648*u^35 - 58782*u^34 + 49896*u^33 + 35099*u^32 - 139728*u^31 + 77096*u^30 + 411280*u^29 + 1350309*u^28 + 1472592*u^27 - 3722872*u^26 - 2969088*u^25 + 20800*u^24 - 2556712*u^23 + 2107912*u^22 + 4725064*u^21 + 6044029*u^20 + 1079344*u^19 + 216472*u^18 - 2441552*u^17 + 1441130*u^16 + 216432*u^15 + 79648*u^14 + 200592*u^13 + 1007499*u^12 - 26960*u^11 + 1177496*u^10 + 59712*u^9 + 582924*u^8 - 46284*u^7 + 120408*u^6 - 34372*u^5 + 17741*u^4 - 6160*u^3 + 2086*u^2 - 472*u + 119)*v^24 + (112*u^41 - 304*u^40 + 530*u^39 + 474*u^38 + 23716*u^37 + 32748*u^36 - 146054*u^35 + 58098*u^34 + 178600*u^33 - 339736*u^32 - 6240*u^31 + 1222896*u^30 + 2354972*u^29 + 1871740*u^28 - 6810632*u^27 - 9380024*u^26 + 2590552*u^25 - 2851048*u^24 + 1413764*u^23 + 16611092*u^22 + 9095924*u^21 + 6029868*u^20 - 7122128*u^19 - 119184*u^18 - 2131440*u^17 + 5711776*u^16 - 3035616*u^15 + 2766352*u^14 + 1444504*u^13 + 2447424*u^12 + 1905448*u^11 + 2601352*u^10 + 575320*u^9 + 1067800*u^8 - 204222*u^7 + 255738*u^6 - 106292*u^5 + 53588*u^4 - 19250*u^3 + 7606*u^2 - 1568*u + 544)*v^23 + (183*u^42 - 262*u^41 - 473*u^40 + 4848*u^39 + 22225*u^38 + 54342*u^37 - 215325*u^36 - 73388*u^35 + 587273*u^34 - 696366*u^33 - 210949*u^32 + 2370736*u^31 + 4026181*u^30 + 489702*u^29 - 11058027*u^28 - 18296864*u^27 + 4545941*u^26 + 5205006*u^25 - 2994659*u^24 + 33589024*u^23 + 24521605*u^22 - 4969450*u^21 - 4445699*u^20 - 16442968*u^19 + 12716986*u^18 - 3396396*u^17 + 8475514*u^16 - 6466216*u^15 + 13380715*u^14 + 2061706*u^13 + 9312087*u^12 + 5605272*u^11 + 4352458*u^10 + 1419588*u^9 + 1030138*u^8 - 255640*u^7 + 339458*u^6 - 164940*u^5 + 105692*u^4 - 34804*u^3 + 19215*u^2 - 2930*u + 1701)*v^22 + (202*u^43 - 26*u^42 - 1912*u^41 + 8008*u^40 + 22876*u^39 + 35700*u^38 - 196920*u^37 - 313104*u^36 + 1009064*u^35 - 572600*u^34 - 1385384*u^33 + 4541480*u^32 + 4900354*u^31 - 1640106*u^30 - 18775280*u^29 - 23125192*u^28 + 3607798*u^27 + 24285034*u^26 - 5383088*u^25 + 44076288*u^24 + 54861230*u^23 - 26059398*u^22 - 24333296*u^21 - 7862848*u^20 - 3502788*u^19 + 28182964*u^18 - 19768368*u^17 + 20617808*u^16 - 1958042*u^15 + 33192034*u^14 + 4495332*u^13 + 25732844*u^12 + 5599156*u^11 + 6760380*u^10 + 914568*u^9 + 684936*u^8 - 4026*u^7 + 291410*u^6 - 76180*u^5 + 148196*u^4 - 23584*u^3 + 36848*u^2 - 1712*u + 3824)*v^21 + (155*u^44 + 160*u^43 - 2402*u^42 + 6224*u^41 + 27808*u^40 - 7592*u^39 - 148684*u^38 - 366152*u^37 + 912468*u^36 + 447520*u^35 - 3157956*u^34 + 5810048*u^33 + 7088656*u^32 - 7858876*u^31 - 23031232*u^30 - 27176868*u^29 + 13198612*u^28 + 35640840*u^27 + 12977534*u^26 + 27984520*u^25 + 94195246*u^24 - 49864788*u^23 - 73117168*u^22 + 9555204*u^21 + 5293307*u^20 + 17655632*u^19 + 10335380*u^18 - 23686288*u^17 + 59789056*u^16 + 8568828*u^15 + 64039348*u^14 + 10528276*u^13 + 42940519*u^12 - 4716536*u^11 + 11550380*u^10 - 2870712*u^9 + 2132534*u^8 + 81660*u^7 + 495560*u^6 + 209428*u^5 + 208171*u^4 + 53152*u^3 + 59240*u^2 + 6320*u + 6308)*v^20 + (84*u^45 + 148*u^44 - 1714*u^43 + 2190*u^42 + 26200*u^41 - 25336*u^40 - 141676*u^39 - 168780*u^38 + 500056*u^37 + 1156480*u^36 - 3091344*u^35 + 3054768*u^34 + 11761384*u^33 - 15485528*u^32 - 25618902*u^31 - 19501998*u^30 + 19815512*u^29 + 53384952*u^28 + 14734754*u^27 + 29389058*u^26 + 73585448*u^25 - 20953272*u^24 - 172167730*u^23 + 46850710*u^22 + 34941788*u^21 + 467636*u^20 + 8110900*u^19 - 7145628*u^18 + 36724496*u^17 + 101025168*u^16 + 25504070*u^15 + 99078862*u^14 + 4493552*u^13 + 46282616*u^12 - 20424556*u^11 + 20195300*u^10 - 8682608*u^9 + 7386800*u^8 - 776282*u^7 + 1844190*u^6 + 500264*u^5 + 439504*u^4 + 185680*u^3 + 88128*u^2 + 20624*u + 7632)*v^19 + (32*u^46 + 56*u^45 - 800*u^44 + 64*u^43 + 15721*u^42 - 13838*u^41 - 130215*u^40 - 816*u^39 + 327726*u^38 + 753420*u^37 - 1339510*u^36 - 538512*u^35 + 11680826*u^34 - 12393308*u^33 - 34663194*u^32 + 3734536*u^31 + 21134639*u^30 + 58562398*u^29 + 17470167*u^28 + 6733344*u^27 + 62407789*u^26 - 43882902*u^25 - 164517463*u^24 - 27974488*u^23 + 181207753*u^22 - 86894646*u^21 + 18972573*u^20 - 6497648*u^19 + 60781598*u^18 + 118108588*u^17 + 106196974*u^16 + 53027680*u^15 + 98167649*u^14 - 23013206*u^13 + 41765141*u^12 - 26685704*u^11 + 30866516*u^10 - 11800032*u^9 + 15260472*u^8 - 2075616*u^7 + 4719953*u^6 + 542634*u^5 + 979173*u^4 + 277160*u^3 + 125398*u^2 + 30836*u + 6682)*v^18 + (8*u^47 + 8*u^46 - 268*u^45 - 132*u^44 + 5860*u^43 - 2420*u^42 - 78656*u^41 + 19776*u^40 + 317120*u^39 + 155408*u^38 - 358544*u^37 - 932296*u^36 + 5562988*u^35 - 3042092*u^34 - 34900344*u^33 + 11072008*u^32 + 41765888*u^31 + 23060128*u^30 + 31971380*u^29 - 25920060*u^28 + 36451648*u^27 - 39759824*u^26 - 168097472*u^25 - 5296608*u^24 + 162282632*u^23 + 25237864*u^22 - 179235336*u^21 + 143405848*u^20 + 783288*u^19 + 187806808*u^18 + 110446224*u^17 + 91003472*u^16 + 54993616*u^15 + 42148464*u^14 - 34437516*u^13 + 45875036*u^12 - 17509460*u^11 + 39158004*u^10 - 8517392*u^9 + 21985616*u^8 - 2005896*u^7 + 7937032*u^6 + 322644*u^5 + 1644332*u^4 + 213668*u^3 + 161980*u^2 + 23920*u + 4368)*v^17 + (u^48 - 64*u^46 + 1442*u^44 - 28076*u^42 + 211780*u^40 - 362472*u^38 + 1142004*u^36 - 19125388*u^34 + 55143344*u^32 + 1797336*u^30 - 29431550*u^28 - 142978528*u^26 + 175779636*u^24 - 145137528*u^22 + 235962012*u^20 + 250944168*u^18 + 84409303*u^16 + 3220024*u^14 + 51366634*u^12 + 42124812*u^10 + 24536400*u^8 + 9367824*u^6 + 1956238*u^4 + 177892*u^2 + 3146)*v^16 - (8*u^47 - 8*u^46 - 268*u^45 + 132*u^44 + 5860*u^43 + 2420*u^42 - 78656*u^41 - 19776*u^40 + 317120*u^39 - 155408*u^38 - 358544*u^37 + 932296*u^36 + 5562988*u^35 + 3042092*u^34 - 34900344*u^33 - 11072008*u^32 + 41765888*u^31 - 23060128*u^30 + 31971380*u^29 + 25920060*u^28 + 36451648*u^27 + 39759824*u^26 - 168097472*u^25 + 5296608*u^24 + 162282632*u^23 - 25237864*u^22 - 179235336*u^21 - 143405848*u^20 + 783288*u^19 - 187806808*u^18 + 110446224*u^17 - 91003472*u^16 + 54993616*u^15 - 42148464*u^14 - 34437516*u^13 - 45875036*u^12 - 17509460*u^11 - 39158004*u^10 - 8517392*u^9 - 21985616*u^8 - 2005896*u^7 - 7937032*u^6 + 322644*u^5 - 1644332*u^4 + 213668*u^3 - 161980*u^2 + 23920*u - 4368)*v^15 + (32*u^46 - 56*u^45 - 800*u^44 - 64*u^43 + 15721*u^42 + 13838*u^41 - 130215*u^40 + 816*u^39 + 327726*u^38 - 753420*u^37 - 1339510*u^36 + 538512*u^35 + 11680826*u^34 + 12393308*u^33 - 34663194*u^32 - 3734536*u^31 + 21134639*u^30 - 58562398*u^29 + 17470167*u^28 - 6733344*u^27 + 62407789*u^26 + 43882902*u^25 - 164517463*u^24 + 27974488*u^23 + 181207753*u^22 + 86894646*u^21 + 18972573*u^20 + 6497648*u^19 + 60781598*u^18 - 118108588*u^17 + 106196974*u^16 - 53027680*u^15 + 98167649*u^14 + 23013206*u^13 + 41765141*u^12 + 26685704*u^11 + 30866516*u^10 + 11800032*u^9 + 15260472*u^8 + 2075616*u^7 + 4719953*u^6 - 542634*u^5 + 979173*u^4 - 277160*u^3 + 125398*u^2 - 30836*u + 6682)*v^14 - (84*u^45 - 148*u^44 - 1714*u^43 - 2190*u^42 + 26200*u^41 + 25336*u^40 - 141676*u^39 + 168780*u^38 + 500056*u^37 - 1156480*u^36 - 3091344*u^35 - 3054768*u^34 + 11761384*u^33 + 15485528*u^32 - 25618902*u^31 + 19501998*u^30 + 19815512*u^29 - 53384952*u^28 + 14734754*u^27 - 29389058*u^26 + 73585448*u^25 + 20953272*u^24 - 172167730*u^23 - 46850710*u^22 + 34941788*u^21 - 467636*u^20 + 8110900*u^19 + 7145628*u^18 + 36724496*u^17 - 101025168*u^16 + 25504070*u^15 - 99078862*u^14 + 4493552*u^13 - 46282616*u^12 - 20424556*u^11 - 20195300*u^10 - 8682608*u^9 - 7386800*u^8 - 776282*u^7 - 1844190*u^6 + 500264*u^5 - 439504*u^4 + 185680*u^3 - 88128*u^2 + 20624*u - 7632)*v^13 + (155*u^44 - 160*u^43 - 2402*u^42 - 6224*u^41 + 27808*u^40 + 7592*u^39 - 148684*u^38 + 366152*u^37 + 912468*u^36 - 447520*u^35 - 3157956*u^34 - 5810048*u^33 + 7088656*u^32 + 7858876*u^31 - 23031232*u^30 + 27176868*u^29 + 13198612*u^28 - 35640840*u^27 + 12977534*u^26 - 27984520*u^25 + 94195246*u^24 + 49864788*u^23 - 73117168*u^22 - 9555204*u^21 + 5293307*u^20 - 17655632*u^19 + 10335380*u^18 + 23686288*u^17 + 59789056*u^16 - 8568828*u^15 + 64039348*u^14 - 10528276*u^13 + 42940519*u^12 + 4716536*u^11 + 11550380*u^10 + 2870712*u^9 + 2132534*u^8 - 81660*u^7 + 495560*u^6 - 209428*u^5 + 208171*u^4 - 53152*u^3 + 59240*u^2 - 6320*u + 6308)*v^12 - (202*u^43 + 26*u^42 - 1912*u^41 - 8008*u^40 + 22876*u^39 - 35700*u^38 - 196920*u^37 + 313104*u^36 + 1009064*u^35 + 572600*u^34 - 1385384*u^33 - 4541480*u^32 + 4900354*u^31 + 1640106*u^30 - 18775280*u^29 + 23125192*u^28 + 3607798*u^27 - 24285034*u^26 - 5383088*u^25 - 44076288*u^24 + 54861230*u^23 + 26059398*u^22 - 24333296*u^21 + 7862848*u^20 - 3502788*u^19 - 28182964*u^18 - 19768368*u^17 - 20617808*u^16 - 1958042*u^15 - 33192034*u^14 + 4495332*u^13 - 25732844*u^12 + 5599156*u^11 - 6760380*u^10 + 914568*u^9 - 684936*u^8 - 4026*u^7 - 291410*u^6 - 76180*u^5 - 148196*u^4 - 23584*u^3 - 36848*u^2 - 1712*u - 3824)*v^11 + (183*u^42 + 262*u^41 - 473*u^40 - 4848*u^39 + 22225*u^38 - 54342*u^37 - 215325*u^36 + 73388*u^35 + 587273*u^34 + 696366*u^33 - 210949*u^32 - 2370736*u^31 + 4026181*u^30 - 489702*u^29 - 11058027*u^28 + 18296864*u^27 + 4545941*u^26 - 5205006*u^25 - 2994659*u^24 - 33589024*u^23 + 24521605*u^22 + 4969450*u^21 - 4445699*u^20 + 16442968*u^19 + 12716986*u^18 + 3396396*u^17 + 8475514*u^16 + 6466216*u^15 + 13380715*u^14 - 2061706*u^13 + 9312087*u^12 - 5605272*u^11 + 4352458*u^10 - 1419588*u^9 + 1030138*u^8 + 255640*u^7 + 339458*u^6 + 164940*u^5 + 105692*u^4 + 34804*u^3 + 19215*u^2 + 2930*u + 1701)*v^10 - (112*u^41 + 304*u^40 + 530*u^39 - 474*u^38 + 23716*u^37 - 32748*u^36 - 146054*u^35 - 58098*u^34 + 178600*u^33 + 339736*u^32 - 6240*u^31 - 1222896*u^30 + 2354972*u^29 - 1871740*u^28 - 6810632*u^27 + 9380024*u^26 + 2590552*u^25 + 2851048*u^24 + 1413764*u^23 - 16611092*u^22 + 9095924*u^21 - 6029868*u^20 - 7122128*u^19 + 119184*u^18 - 2131440*u^17 - 5711776*u^16 - 3035616*u^15 - 2766352*u^14 + 1444504*u^13 - 2447424*u^12 + 1905448*u^11 - 2601352*u^10 + 575320*u^9 - 1067800*u^8 - 204222*u^7 - 255738*u^6 - 106292*u^5 - 53588*u^4 - 19250*u^3 - 7606*u^2 - 1568*u - 544)*v^9 + (44*u^40 + 172*u^39 + 536*u^38 + 1060*u^37 + 18606*u^36 - 7648*u^35 - 58782*u^34 - 49896*u^33 + 35099*u^32 + 139728*u^31 + 77096*u^30 - 411280*u^29 + 1350309*u^28 - 1472592*u^27 - 3722872*u^26 + 2969088*u^25 + 20800*u^24 + 2556712*u^23 + 2107912*u^22 - 4725064*u^21 + 6044029*u^20 - 1079344*u^19 + 216472*u^18 + 2441552*u^17 + 1441130*u^16 - 216432*u^15 + 79648*u^14 - 200592*u^13 + 1007499*u^12 + 26960*u^11 + 1177496*u^10 - 59712*u^9 + 582924*u^8 + 46284*u^7 + 120408*u^6 + 34372*u^5 + 17741*u^4 + 6160*u^3 + 2086*u^2 + 472*u + 119)*v^8 - (10*u^39 + 50*u^38 + 196*u^37 + 564*u^36 + 9462*u^35 + 574*u^34 - 15600*u^33 - 23680*u^32 - 1640*u^31 + 44152*u^30 + 71376*u^29 - 29208*u^28 + 795928*u^27 - 504824*u^26 - 1357656*u^25 + 688232*u^24 - 666860*u^23 + 645380*u^22 + 258872*u^21 - 2033080*u^20 + 1528920*u^19 - 1219800*u^18 - 309912*u^17 + 368616*u^16 + 203176*u^15 - 265656*u^14 - 314556*u^13 - 476460*u^12 - 201224*u^11 - 343688*u^10 - 12216*u^9 - 174072*u^8 + 16282*u^7 - 38766*u^6 - 3352*u^5 - 3824*u^4 - 1126*u^3 - 350*u^2 - 80*u - 16)*v^7 + (u^38 + 6*u^37 + 27*u^36 + 92*u^35 + 3213*u^34 + 754*u^33 - 3449*u^32 - 10728*u^31 - 11413*u^30 - 5078*u^29 + 8375*u^28 + 2760*u^27 + 331553*u^26 - 90242*u^25 - 289751*u^24 + 251688*u^23 - 186865*u^22 + 319218*u^21 + 166507*u^20 - 447808*u^19 + 502198*u^18 - 358284*u^17 - 21634*u^16 + 171552*u^15 + 206581*u^14 + 139078*u^13 + 112061*u^12 + 43584*u^11 + 51449*u^10 - 3818*u^9 + 27161*u^8 - 11232*u^7 + 9448*u^6 - 1640*u^5 + 702*u^4 + 92*u^3 + 27*u^2 + 6*u + 1)*v^6 - (800*u^33 + 352*u^32 - 366*u^31 - 3082*u^30 - 5612*u^29 - 8356*u^28 - 9102*u^27 - 11650*u^26 + 81296*u^25 - 32944*u^24 - 69298*u^23 + 43066*u^22 - 68140*u^21 + 77572*u^20 + 36852*u^19 - 95364*u^18 + 99496*u^17 - 128424*u^16 - 61066*u^15 - 29342*u^14 - 9984*u^13 - 6008*u^12 + 306*u^11 - 2466*u^10 + 2144*u^9 - 2672*u^8 + 1986*u^7 - 1850*u^6 + 688*u^5 - 208*u^4)*v^5 + (152*u^32 + 140*u^31 + 164*u^30 - 220*u^29 - 702*u^28 - 1512*u^27 - 2126*u^26 - 2872*u^25 + 17182*u^24 - 7244*u^23 - 12180*u^22 + 5836*u^21 - 14979*u^20 + 18864*u^19 + 15176*u^18 - 2016*u^17 + 33364*u^16 - 10636*u^15 - 2088*u^14 - 980*u^13 + 304*u^12 + 376*u^11 + 774*u^10 + 344*u^9 + 574*u^8 + 12*u^7 + 280*u^6 - 92*u^5 + 65*u^4)*v^4 - (18*u^31 + 26*u^30 + 52*u^29 + 44*u^28 + 30*u^27 - 34*u^26 - 104*u^25 - 216*u^24 + 2966*u^23 - 1170*u^22 - 2048*u^21 - 560*u^20 - 4252*u^19 + 708*u^18 + 408*u^17 - 1032*u^16 + 4190*u^15 - 1658*u^14 - 600*u^13 - 584*u^12 - 426*u^11 - 314*u^10 - 184*u^9 - 120*u^8 - 46*u^7 - 38*u^6 - 4*u^5 - 12*u^4)*v^3 + (u^30 + 2*u^29 + 5*u^28 + 8*u^27 + 13*u^26 + 18*u^25 + 25*u^24 + 32*u^23 + 419*u^22 - 34*u^21 - 109*u^20 - 40*u^19 - 478*u^18 + 28*u^17 + 18*u^16 - 40*u^15 + 511*u^14 - 34*u^13 + 47*u^12 + 32*u^11 + 25*u^10 + 18*u^9 + 13*u^8 + 8*u^7 + 5*u^6 + 2*u^5 + u^4)*v^2 - (28*u^21 - 4*u^20 - 8*u^19 - 8*u^18 - 40*u^17 - 8*u^16 - 8*u^15 - 8*u^14 + 28*u^13 - 4*u^12)*v + u^20 - u^16 + u^12;
Xi := u^24*v^8 + (2*i + 4)*u^23*v^9 + 4*i*u^23*v^8 + (2*i - 4)*u^23*v^7 + (7*i + 6)*u^22*v^10 + (14*i - 4)*u^22*v^9 - 28*u^22*v^8 + (-14*i - 4)*u^22*v^7 + (-7*i + 6)*u^22*v^6 + (9*i + 4)*u^21*v^11 + (12*i -     12)*u^21*v^10 + (-13*i - 68)*u^21*v^9 - 32*i*u^21*v^8 + (-13*i + 68)*u^21*v^7 + (12*i + 12)*u^21*v^6 + (9*i - 4)*u^21*v^5 + (5*i + 1)*u^20*v^12 + (-5*i - 12)*u^20*v^11 - 90*u^20*v^10 + (35*i -     12)*u^20*v^9 + 158*u^20*v^8 + (-35*i - 12)*u^20*v^7 - 90*u^20*v^6 + (5*i - 12)*u^20*v^5 + (-5*i + 1)*u^20*v^4 + i*u^19*v^13 + (-10*i - 4)*u^19*v^12 + (47*i - 88)*u^19*v^11 + (112*i - 88)*u^19*v^10 +     (-132*i + 184)*u^19*v^9 - 372*i*u^19*v^8 + (-132*i - 184)*u^19*v^7 + (112*i + 88)*u^19*v^6 + (47*i + 88)*u^19*v^5 + (-10*i + 4)*u^19*v^4 + i*u^19*v^3 - 3*i*u^18*v^13 + (52*i - 70)*u^18*v^12 + (25*i -     128)*u^18*v^11 + (-382*i + 232)*u^18*v^10 + (-616*i + 176)*u^18*v^9 - 284*u^18*v^8 + (616*i + 176)*u^18*v^7 + (382*i + 232)*u^18*v^6 + (-25*i - 128)*u^18*v^5 + (-52*i - 70)*u^18*v^4 + 3*i*u^18*v^3 +     (17*i - 36)*u^17*v^13 + (-64*i - 60)*u^17*v^12 + (-289*i + 260)*u^17*v^11 + (-192*i + 136)*u^17*v^10 + (260*i - 792)*u^17*v^9 + 488*i*u^17*v^8 + (260*i + 792)*u^17*v^7 + (-192*i - 136)*u^17*v^6 + (-289*i    - 260)*u^17*v^5 + (-64*i + 60)*u^17*v^4 + (17*i + 36)*u^17*v^3 + (i - 9)*u^16*v^14 - 31*i*u^16*v^13 + (-24*i + 133)*u^16*v^12 + (73*i - 160)*u^16*v^11 + (-557*i - 1095)*u^16*v^10 + (-1268*i +     432)*u^16*v^9 + 2556*u^16*v^8 + (1268*i + 432)*u^16*v^7 + (557*i - 1095)*u^16*v^6 + (-73*i - 160)*u^16*v^5 + (24*i + 133)*u^16*v^4 + 31*i*u^16*v^3 + (-i - 9)*u^16*v^2 - u^15*v^15 + (-2*i + 4)*u^15*v^14 +    (12*i + 7)*u^15*v^13 + (-112*i - 208)*u^15*v^12 + (-1236*i - 617)*u^15*v^11 + (-1762*i + 1124)*u^15*v^10 + (1912*i + 3543)*u^15*v^9 + 5128*i*u^15*v^8 + (1912*i - 3543)*u^15*v^7 + (-1762*i -     1124)*u^15*v^6 + (-1236*i + 617)*u^15*v^5 + (-112*i + 208)*u^15*v^4 + (12*i - 7)*u^15*v^3 + (-2*i - 4)*u^15*v^2 + u^15*v + u^14*v^15 + (-6*i - 6)*u^14*v^14 + (-72*i - 45)*u^14*v^13 + (-671*i -     80)*u^14*v^12 + (-680*i + 965)*u^14*v^11 + (2760*i + 2610)*u^14*v^10 + (5200*i - 625)*u^14*v^9 - 4512*u^14*v^8 + (-5200*i - 625)*u^14*v^7 + (-2760*i + 2610)*u^14*v^6 + (680*i + 965)*u^14*v^5 + (671*i -     80)*u^14*v^4 + (72*i - 45)*u^14*v^3 + (6*i - 6)*u^14*v^2 + u^14*v + (-i - 2)*u^13*v^15 - 4*u^13*v^14 + (-247*i - 30)*u^13*v^13 + (-456*i + 216)*u^13*v^12 + (951*i + 1098)*u^13*v^11 + (2280*i -     300)*u^13*v^10 + (-387*i - 3114)*u^13*v^9 - 3016*i*u^13*v^8 + (-387*i + 3114)*u^13*v^7 + (2280*i + 300)*u^13*v^6 + (951*i - 1098)*u^13*v^5 + (-456*i - 216)*u^13*v^4 + (-247*i + 30)*u^13*v^3 + 4*u^13*v^2     + (-i + 2)*u^13*v + (i + 2)*u^12*v^15 + (-93*i - 1)*u^12*v^14 + (-223*i + 70)*u^12*v^13 + (382*i + 776)*u^12*v^12 + (1641*i + 1066)*u^12*v^11 + (2029*i - 607)*u^12*v^10 + (1213*i + 78)*u^12*v^9 +     2124*u^12*v^8 + (-1213*i + 78)*u^12*v^7 + (-2029*i - 607)*u^12*v^6 + (-1641*i + 1066)*u^12*v^5 + (-382*i + 776)*u^12*v^4 + (223*i + 70)*u^12*v^3 + (93*i - 1)*u^12*v^2 + (-i + 2)*u^12*v + (-16*i -     3)*u^11*v^15 + (-22*i - 4)*u^11*v^14 + (192*i + 273)*u^11*v^13 + (616*i + 472)*u^11*v^12 + (1124*i - 1143)*u^11*v^11 + (594*i - 2292)*u^11*v^10 + (-2720*i - 523)*u^11*v^9 - 5216*i*u^11*v^8 + (-2720*i +     523)*u^11*v^7 + (594*i + 2292)*u^11*v^6 + (1124*i + 1143)*u^11*v^5 + (616*i - 472)*u^11*v^4 + (192*i - 273)*u^11*v^3 + (-22*i + 4)*u^11*v^2 + (-16*i + 3)*u^11*v - i*u^10*v^16 + 3*u^10*v^15 + (19*i +     106)*u^10*v^14 + (32*i + 245)*u^10*v^13 + (507*i - 324)*u^10*v^12 + (1012*i - 357)*u^10*v^11 + (-1061*i + 2286)*u^10*v^10 + (-3184*i + 3933)*u^10*v^9 + 3504*u^10*v^8 + (3184*i + 3933)*u^10*v^7 + (1061*i     + 2286)*u^10*v^6 + (-1012*i - 357)*u^10*v^5 + (-507*i - 324)*u^10*v^4 + (-32*i + 245)*u^10*v^3 + (-19*i + 106)*u^10*v^2 + 3*u^10*v + i*u^10 + 12*u^9*v^15 + 8*u^9*v^14 + (326*i - 224)*u^9*v^13 + (840*i -     256)*u^9*v^12 + (-468*i + 624)*u^9*v^11 + (-2720*i + 184)*u^9*v^10 + (-1398*i - 1476)*u^9*v^9 + 680*i*u^9*v^8 + (-1398*i + 1476)*u^9*v^7 + (-2720*i - 184)*u^9*v^6 + (-468*i - 624)*u^9*v^5 + (840*i +     256)*u^9*v^4 + (326*i + 224)*u^9*v^3 - 8*u^9*v^2 - 12*u^9*v + u^8*v^16 + 4*u^8*v^15 + (101*i + 1)*u^8*v^14 + (234*i + 140)*u^8*v^13 + (-512*i + 594)*u^8*v^12 + (-1840*i + 588)*u^8*v^11 + (-1165*i +     883)*u^8*v^10 + (578*i + 4372)*u^8*v^9 + 7251*u^8*v^8 + (-578*i + 4372)*u^8*v^7 + (1165*i + 883)*u^8*v^6 + (1840*i + 588)*u^8*v^5 + (512*i + 594)*u^8*v^4 + (-234*i + 140)*u^8*v^3 + (-101*i + 1)*u^8*v^2 +    4*u^8*v + u^8 + (16*i - 3)*u^7*v^15 + (22*i - 4)*u^7*v^14 + (-188*i - 35)*u^7*v^13 + (-376*i - 304)*u^7*v^12 + (260*i - 243)*u^7*v^11 + (926*i + 1564)*u^7*v^10 + (54*i + 2817)*u^7*v^9 - 860*i*u^7*v^8 +     (54*i - 2817)*u^7*v^7 + (926*i - 1564)*u^7*v^6 + (260*i + 243)*u^7*v^5 + (-376*i + 304)*u^7*v^4 + (-188*i + 35)*u^7*v^3 + (22*i + 4)*u^7*v^2 + (16*i + 3)*u^7*v + i*u^6*v^16 + 3*u^6*v^15 + (-12*i +     14)*u^6*v^14 + (40*i + 65)*u^6*v^13 + (73*i + 440)*u^6*v^12 + (-472*i + 1607)*u^6*v^11 + (-1489*i + 2656)*u^6*v^10 + (-1534*i + 1905)*u^6*v^9 + 940*u^6*v^8 + (1534*i + 1905)*u^6*v^7 + (1489*i +     2656)*u^6*v^6 + (472*i + 1607)*u^6*v^5 + (-73*i + 440)*u^6*v^4 + (-40*i + 65)*u^6*v^3 + (12*i + 14)*u^6*v^2 + 3*u^6*v - i*u^6 + (i - 2)*u^5*v^15 - 4*u^5*v^14 + (-93*i + 10)*u^5*v^13 + (-304*i +     104)*u^5*v^12 + (-180*i + 222)*u^5*v^11 + (588*i + 48)*u^5*v^10 + (1384*i - 214)*u^5*v^9 + 1656*i*u^5*v^8 + (1384*i + 214)*u^5*v^7 + (588*i - 48)*u^5*v^6 + (-180*i - 222)*u^5*v^5 + (-304*i - 104)*u^5*v^4    + (-93*i - 10)*u^5*v^3 + 4*u^5*v^2 + (i + 2)*u^5*v + (-i + 2)*u^4*v^15 + (-9*i + 9)*u^4*v^14 + (19*i + 70)*u^4*v^13 + (141*i + 315)*u^4*v^12 + (104*i + 694)*u^4*v^11 + (-355*i + 881)*u^4*v^10 + (-600*i +    794)*u^4*v^9 + 710*u^4*v^8 + (600*i + 794)*u^4*v^7 + (355*i + 881)*u^4*v^6 + (-104*i + 694)*u^4*v^5 + (-141*i + 315)*u^4*v^4 + (-19*i + 70)*u^4*v^3 + (9*i + 9)*u^4*v^2 + (i + 2)*u^4*v - u^3*v^15 + (2*i +    4)*u^3*v^14 + (-17*i + 35)*u^3*v^13 + (-118*i + 44)*u^3*v^12 + (-195*i - 93)*u^3*v^11 + (130*i - 308)*u^3*v^10 + (884*i - 305)*u^3*v^9 + 1316*i*u^3*v^8 + (884*i + 305)*u^3*v^7 + (130*i + 308)*u^3*v^6 +     (-195*i + 93)*u^3*v^5 + (-118*i - 44)*u^3*v^4 + (-17*i - 35)*u^3*v^3 + (2*i - 4)*u^3*v^2 + u^3*v + u^2*v^15 + (-i + 6)*u^2*v^14 + (3*i + 15)*u^2*v^13 + (39*i + 34)*u^2*v^12 + (115*i + 97)*u^2*v^11 +     (165*i + 218)*u^2*v^10 + (120*i + 335)*u^2*v^9 + 380*u^2*v^8 + (-120*i + 335)*u^2*v^7 + (-165*i + 218)*u^2*v^6 + (-115*i + 97)*u^2*v^5 + (-39*i + 34)*u^2*v^4 + (-3*i + 15)*u^2*v^3 + (i + 6)*u^2*v^2 +     u^2*v - 3*i*u*v^13 + (-16*i - 4)*u*v^12 + (-23*i - 24)*u*v^11 + (32*i - 56)*u*v^10 + (154*i - 56)*u*v^9 + 224*i*u*v^8 + (154*i + 56)*u*v^7 + (32*i + 56)*u*v^6 + (-23*i + 24)*u*v^5 + (-16*i + 4)*u*v^4 -     3*i*u*v^3 + i*v^13 + (8*i + 1)*v^12 + (27*i + 8)*v^11 + (48*i + 28)*v^10 + (42*i + 56)*v^9 + 70*v^8 + (-42*i + 56)*v^7 + (-48*i + 28)*v^6 + (-27*i + 8)*v^5 + (-8*i + 1)*v^4 - i*v^3;
q := (u*v - u - v - 1)/(u*v + u - v - 1);
t := (-u*v + u + v + 1)/(u*v + u + v + 1);
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];
back to top