Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 37985995] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1574 geometric_solution 5.35647000 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 3201 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 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.426855979324 0.188684213029 2 0 3 0 0132 2310 0132 0132 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 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.829270900694 1.662896961851 1 4 3 5 0132 0132 0213 0132 0 0 0 0 0 1 0 -1 -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 -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.593376935194 0.482674476762 5 2 4 1 3201 0213 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 0 -1 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.593376935194 0.482674476762 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0.985803261895 0.824984678143 6 6 2 3 0132 2310 0132 2310 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 -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.357956695344 0.550084979578 5 6 6 5 0132 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.085069694702 0.588492028245 ==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' : negation(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' : negation(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_5']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0110_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0110_0']), 'c_1010_0' : d['c_0011_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_1, c_0011_5, c_0101_1, c_0101_3, c_0101_4, c_0110_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 27163311086606021/1674785623676767*c_0110_0^26 - 5925371328066495/3349571247353534*c_0110_0^25 + 479324996797459560/1674785623676767*c_0110_0^24 + 159980588691606625/3349571247353534*c_0110_0^23 - 7441066634826837311/3349571247353534*c_0110_0^22 - 843166094635988461/1674785623676767*c_0110_0^21 + 16466530725857318676/1674785623676767*c_0110_0^20 + 9464527132900052449/3349571247353534*c_0110_0^19 - 89970126010868507219/3349571247353534*c_0110_0^18 - 31245383150568783233/3349571247353534*c_0110_0^17 + 76192167377238514582/1674785623676767*c_0110_0^16 + 30683934039370084108/1674785623676767*c_0110_0^15 - 148541204251936884119/3349571247353534*c_0110_0^14 - 65774782394363568285/3349571247353534*c_0110_0^13 + 60724016634416822579/3349571247353534*c_0110_0^12 + 23300746250720525101/3349571247353534*c_0110_0^11 + 6832179474230913668/1674785623676767*c_0110_0^10 + 10114428621863620309/1674785623676767*c_0110_0^9 - 5362315298693115981/1674785623676767*c_0110_0^8 - 8836222702061714150/1674785623676767*c_0110_0^7 - 84998048663760785/34179298442383*c_0110_0^6 - 27818749638087885/3349571247353534*c_0110_0^5 + 2183893052749644765/1674785623676767*c_0110_0^4 + 589585304426435392/1674785623676767*c_0110_0^3 - 46329259333946713/197033602785502*c_0110_0^2 + 254095245447140640/1674785623676767*c_0110_0 + 463676917835350861/3349571247353534, c_0011_0 - 1, c_0011_1 + c_0110_0^2 - 1, c_0011_5 - 619947921678/2010546967199*c_0110_0^26 + 1152055323535/2010546967199*c_0110_0^25 + 10290718675059/2010546967199*c_0110_0^24 - 19126186406080/2010546967199*c_0110_0^23 - 75025780375581/2010546967199*c_0110_0^22 + 139084648090528/2010546967199*c_0110_0^21 + 311068550091394/2010546967199*c_0110_0^20 - 574044070152308/2010546967199*c_0110_0^19 - 791507106613541/2010546967199*c_0110_0^18 + 1455570320792837/2010546967199*c_0110_0^17 + 1225694310830143/2010546967199*c_0110_0^16 - 2275043304380328/2010546967199*c_0110_0^15 - 1007129659743257/2010546967199*c_0110_0^14 + 2019844323299491/2010546967199*c_0110_0^13 + 115982125621580/2010546967199*c_0110_0^12 - 693995178668978/2010546967199*c_0110_0^11 + 505886914479318/2010546967199*c_0110_0^10 - 259700351800507/2010546967199*c_0110_0^9 - 332005622516769/2010546967199*c_0110_0^8 + 167181690916408/2010546967199*c_0110_0^7 + 6008754427752/2010546967199*c_0110_0^6 + 96575704978259/2010546967199*c_0110_0^5 + 13607718466977/2010546967199*c_0110_0^4 - 57685715742070/2010546967199*c_0110_0^3 + 22225039954411/2010546967199*c_0110_0^2 + 907321166476/2010546967199*c_0110_0 - 5809556356799/2010546967199, c_0101_1 - c_0110_0^3 + 2*c_0110_0, c_0101_3 - 215589350002/2010546967199*c_0110_0^26 - 74350980798/2010546967199*c_0110_0^25 + 4165088434037/2010546967199*c_0110_0^24 + 1070150019340/2010546967199*c_0110_0^23 - 35280249505654/2010546967199*c_0110_0^22 - 6578779461924/2010546967199*c_0110_0^21 + 170578098396630/2010546967199*c_0110_0^20 + 21693096151347/2010546967199*c_0110_0^19 - 512072432259159/2010546967199*c_0110_0^18 - 37972121941669/2010546967199*c_0110_0^17 + 966141725387397/2010546967199*c_0110_0^16 + 20833411925155/2010546967199*c_0110_0^15 - 1082187487152297/2010546967199*c_0110_0^14 + 45736753928521/2010546967199*c_0110_0^13 + 565538931586037/2010546967199*c_0110_0^12 - 97982551754176/2010546967199*c_0110_0^11 + 63490378679456/2010546967199*c_0110_0^10 + 72059042926139/2010546967199*c_0110_0^9 - 158212968615367/2010546967199*c_0110_0^8 - 22707865209618/2010546967199*c_0110_0^7 - 27814198920416/2010546967199*c_0110_0^6 + 15010103044543/2010546967199*c_0110_0^5 + 44740884684939/2010546967199*c_0110_0^4 - 14746297768669/2010546967199*c_0110_0^3 + 144231611622/2010546967199*c_0110_0^2 + 3707159578361/2010546967199*c_0110_0 + 410180235515/2010546967199, c_0101_4 - 245295390631/2010546967199*c_0110_0^26 + 33915299394/2010546967199*c_0110_0^25 + 3907482522521/2010546967199*c_0110_0^24 + 146863769141/2010546967199*c_0110_0^23 - 26911453037437/2010546967199*c_0110_0^22 - 7044184343550/2010546967199*c_0110_0^21 + 102642411134834/2010546967199*c_0110_0^20 + 58267524940755/2010546967199*c_0110_0^19 - 229028923082970/2010546967199*c_0110_0^18 - 237591029287839/2010546967199*c_0110_0^17 + 280347761392550/2010546967199*c_0110_0^16 + 550211769977877/2010546967199*c_0110_0^15 - 122171168366334/2010546967199*c_0110_0^14 - 717501304447298/2010546967199*c_0110_0^13 - 88487280482513/2010546967199*c_0110_0^12 + 431638189005038/2010546967199*c_0110_0^11 + 69323101889051/2010546967199*c_0110_0^10 + 27422404634852/2010546967199*c_0110_0^9 + 66225362203745/2010546967199*c_0110_0^8 - 127297007771931/2010546967199*c_0110_0^7 - 61422400144086/2010546967199*c_0110_0^6 - 11124711838116/2010546967199*c_0110_0^5 + 6714311714764/2010546967199*c_0110_0^4 + 32569713462566/2010546967199*c_0110_0^3 - 4794069190749/2010546967199*c_0110_0^2 - 779469397594/2010546967199*c_0110_0 + 3736529202570/2010546967199, c_0110_0^27 - c_0110_0^26 - 18*c_0110_0^25 + 17*c_0110_0^24 + 144*c_0110_0^23 - 127*c_0110_0^22 - 667*c_0110_0^21 + 542*c_0110_0^20 + 1952*c_0110_0^19 - 1439*c_0110_0^18 - 3678*c_0110_0^17 + 2418*c_0110_0^16 + 4283*c_0110_0^15 - 2472*c_0110_0^14 - 2582*c_0110_0^13 + 1331*c_0110_0^12 + 69*c_0110_0^11 - 198*c_0110_0^10 + 801*c_0110_0^9 - 22*c_0110_0^8 - 231*c_0110_0^7 - 128*c_0110_0^6 - 110*c_0110_0^5 + 104*c_0110_0^4 + 26*c_0110_0^3 - 33*c_0110_0^2 + 10*c_0110_0 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB