Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 2766485614] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1664 geometric_solution 5.39924207 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420297305295 0.218706155248 0 4 5 3 0132 0132 0132 3201 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.038094741828 1.048776073761 0 0 2 2 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839187500072 1.484722523038 5 1 0 4 1023 2310 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.038094741828 1.048776073761 3 1 6 6 3201 0132 0132 3201 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.863213652733 2.208888111340 5 3 5 1 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.034588113697 0.952236039440 6 4 6 4 2310 2310 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.536255991431 0.366185543544 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 16116144217466359863016/4619277795225173952029*c_0101_4^20 - 22219150893001390723700/4619277795225173952029*c_0101_4^19 + 917328976759293051835791/4619277795225173952029*c_0101_4^18 - 1353870985488955549906840/4619277795225173952029*c_0101_4^17 - 7517608890483376920196386/4619277795225173952029*c_0101_4^16 + 15093810616622828173394563/4619277795225173952029*c_0101_4^15 + 25788949603746495445222177/4619277795225173952029*c_0101_4^14 - 66495095214846418003355258/4619277795225173952029*c_0101_4^13 - 40738399374559484595197271/4619277795225173952029*c_0101_4^12 + 154794743516509714115116576/4619277795225173952029*c_0101_4^11 + 17247741205145703673561089/4619277795225173952029*c_0101_4^10 - 205040390439283509129317447/4619277795225173952029*c_0101_4^9 + 33444253444016933632586282/4619277795225173952029*c_0101_4^8 + 153386544749320669868813556/4619277795225173952029*c_0101_4^7 - 49755669445324392595990169/4619277795225173952029*c_0101_4^6 - 3488377131102455998317298/271722223248539644237*c_0101_4^5 + 1425175353379173699079206/271722223248539644237*c_0101_4^4 + 9626276140749279119347094/4619277795225173952029*c_0101_4^3 - 4004023479799667728364616/4619277795225173952029*c_0101_4^2 - 657149757932255536420778/4619277795225173952029*c_0101_4 + 371656464651840337992346/4619277795225173952029, c_0011_0 - 1, c_0011_3 + 420871391963135226066/4619277795225173952029*c_0101_4^20 + 2197196043083783947009/4619277795225173952029*c_0101_4^19 - 18817282354280686926796/4619277795225173952029*c_0101_4^18 - 47307404751239790310368/4619277795225173952029*c_0101_4^17 + 183283270556202993495958/4619277795225173952029*c_0101_4^16 + 328573266032064282286210/4619277795225173952029*c_0101_4^15 - 860941409022614982505156/4619277795225173952029*c_0101_4^14 - 1135615879332528946643673/4619277795225173952029*c_0101_4^13 + 2334372759807916435642032/4619277795225173952029*c_0101_4^12 + 2220750982933011599022851/4619277795225173952029*c_0101_4^11 - 3848305287230909009639760/4619277795225173952029*c_0101_4^10 - 2526202140667038418640522/4619277795225173952029*c_0101_4^9 + 3847796952441865918166188/4619277795225173952029*c_0101_4^8 + 1609218983926041090513471/4619277795225173952029*c_0101_4^7 - 2205131486405754800346122/4619277795225173952029*c_0101_4^6 - 29280125890443550743020/271722223248539644237*c_0101_4^5 + 35771128333728015264265/271722223248539644237*c_0101_4^4 + 44008308732002162908871/4619277795225173952029*c_0101_4^3 - 49896758585983358058824/4619277795225173952029*c_0101_4^2 + 1572919497822399970837/4619277795225173952029*c_0101_4 + 3854939643821046826350/4619277795225173952029, c_0011_6 + 355940906566816800725/4619277795225173952029*c_0101_4^20 + 1515992281856120562410/4619277795225173952029*c_0101_4^19 - 16742299012087861194949/4619277795225173952029*c_0101_4^18 - 21519894470168669757267/4619277795225173952029*c_0101_4^17 + 145341844387838337461604/4619277795225173952029*c_0101_4^16 + 115439476075984183934266/4619277795225173952029*c_0101_4^15 - 588198192983826064002970/4619277795225173952029*c_0101_4^14 - 320656807675416232634860/4619277795225173952029*c_0101_4^13 + 1336022247098220389063812/4619277795225173952029*c_0101_4^12 + 510127441507452312177077/4619277795225173952029*c_0101_4^11 - 1786601123473374791771139/4619277795225173952029*c_0101_4^10 - 464185493771670475778355/4619277795225173952029*c_0101_4^9 + 1374632147577808746993339/4619277795225173952029*c_0101_4^8 + 221252654571853116772975/4619277795225173952029*c_0101_4^7 - 532332200152345977825667/4619277795225173952029*c_0101_4^6 - 2351497486909706980089/271722223248539644237*c_0101_4^5 + 3307299984855395996673/271722223248539644237*c_0101_4^4 - 2958706969116730838778/4619277795225173952029*c_0101_4^3 + 6291895241484467299375/4619277795225173952029*c_0101_4^2 + 726335472075271142928/4619277795225173952029*c_0101_4 + 1910775960465888838040/4619277795225173952029, c_0101_0 + 685193263067521424440/4619277795225173952029*c_0101_4^20 + 2416317435250335468948/4619277795225173952029*c_0101_4^19 - 34081187683335826661277/4619277795225173952029*c_0101_4^18 - 16892844114633932332637/4619277795225173952029*c_0101_4^17 + 295668591054985194764142/4619277795225173952029*c_0101_4^16 + 14787975335133233580592/4619277795225173952029*c_0101_4^15 - 1173405449338516480754647/4619277795225173952029*c_0101_4^14 + 180295080965256687210797/4619277795225173952029*c_0101_4^13 + 2569490043689383856892256/4619277795225173952029*c_0101_4^12 - 689548307905620961210123/4619277795225173952029*c_0101_4^11 - 3264869162789195823497312/4619277795225173952029*c_0101_4^10 + 1093087137184260514536364/4619277795225173952029*c_0101_4^9 + 2371963761470520867279644/4619277795225173952029*c_0101_4^8 - 870179994106307404158749/4619277795225173952029*c_0101_4^7 - 903777937331966260281977/4619277795225173952029*c_0101_4^6 + 19883083855844428815959/271722223248539644237*c_0101_4^5 + 8919035380914071511890/271722223248539644237*c_0101_4^4 - 72681216402732161712387/4619277795225173952029*c_0101_4^3 - 13808785881653883039844/4619277795225173952029*c_0101_4^2 + 17263335851726435541063/4619277795225173952029*c_0101_4 + 448259883238251348769/4619277795225173952029, c_0101_1 + 882479339256943859156/4619277795225173952029*c_0101_4^20 + 2205903003939632903418/4619277795225173952029*c_0101_4^19 - 47683736517899936113049/4619277795225173952029*c_0101_4^18 + 20870283866728001449904/4619277795225173952029*c_0101_4^17 + 430974013380457112473832/4619277795225173952029*c_0101_4^16 - 341761849557341455762695/4619277795225173952029*c_0101_4^15 - 1754831116465640578564076/4619277795225173952029*c_0101_4^14 + 1634678492550315372323810/4619277795225173952029*c_0101_4^13 + 3889189000106214620088062/4619277795225173952029*c_0101_4^12 - 3881183060076233980363239/4619277795225173952029*c_0101_4^11 - 4919257521043412819308442/4619277795225173952029*c_0101_4^10 + 5035615333839611418495959/4619277795225173952029*c_0101_4^9 + 3441792425744011485799477/4619277795225173952029*c_0101_4^8 - 3496222576859150608105336/4619277795225173952029*c_0101_4^7 - 1160287661692345259230959/4619277795225173952029*c_0101_4^6 + 64824484675930548990923/271722223248539644237*c_0101_4^5 + 7184670102707363424622/271722223248539644237*c_0101_4^4 - 80799629101684443339212/4619277795225173952029*c_0101_4^3 - 12868708564184792681/4619277795225173952029*c_0101_4^2 + 8883359457103026656645/4619277795225173952029*c_0101_4 + 131126604394907360976/4619277795225173952029, c_0101_2 + 3169508945340348520505/4619277795225173952029*c_0101_4^20 + 9586136660179256603924/4619277795225173952029*c_0101_4^19 - 164540847710461141200710/4619277795225173952029*c_0101_4^18 - 3872592953063536324898/4619277795225173952029*c_0101_4^17 + 1468593232666000049127189/4619277795225173952029*c_0101_4^16 - 571477372110748979712924/4619277795225173952029*c_0101_4^15 - 5969711569261280649873999/4619277795225173952029*c_0101_4^14 + 3393147144372657604865458/4619277795225173952029*c_0101_4^13 + 13357305377443075234695352/4619277795225173952029*c_0101_4^12 - 8892345309927782422178799/4619277795225173952029*c_0101_4^11 - 17319176652544626138407972/4619277795225173952029*c_0101_4^10 + 12444998955953554512001423/4619277795225173952029*c_0101_4^9 + 12777792707549726730883797/4619277795225173952029*c_0101_4^8 - 9422762958335672607859022/4619277795225173952029*c_0101_4^7 - 4846141080787872789688678/4619277795225173952029*c_0101_4^6 + 202960709832222824548161/271722223248539644237*c_0101_4^5 + 42212281305779102132987/271722223248539644237*c_0101_4^4 - 434965360301810158551909/4619277795225173952029*c_0101_4^3 - 20763831386671222497017/4619277795225173952029*c_0101_4^2 + 30726159446218024250673/4619277795225173952029*c_0101_4 - 3225845384709851889375/4619277795225173952029, c_0101_4^21 + 3*c_0101_4^20 - 52*c_0101_4^19 + 464*c_0101_4^17 - 191*c_0101_4^16 - 1886*c_0101_4^15 + 1116*c_0101_4^14 + 4225*c_0101_4^13 - 2924*c_0101_4^12 - 5505*c_0101_4^11 + 4137*c_0101_4^10 + 4123*c_0101_4^9 - 3233*c_0101_4^8 - 1638*c_0101_4^7 + 1294*c_0101_4^6 + 289*c_0101_4^5 - 225*c_0101_4^4 - 20*c_0101_4^3 + 24*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB