Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 4223297306] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1987 geometric_solution 5.55255652 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 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.540209033286 0.262884494066 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 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 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.963093653140 0.465460446143 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 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 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.654717387877 0.520931062657 5 4 2 1 0132 1023 0213 0132 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 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.654717387877 0.520931062657 3 4 4 2 1023 1230 3012 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 -1 0 1 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.064721552702 0.744161686328 3 6 2 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 1.298692047307 1.157056648260 6 5 6 5 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472411472825 0.244547824582 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 489452021459181277/1772415870837111*c_0110_6^16 + 3324936103984044878/1772415870837111*c_0110_6^15 - 7609300065097754681/1772415870837111*c_0110_6^14 - 54273750423027580663/1772415870837111*c_0110_6^13 + 25457754300436902725/590805290279037*c_0110_6^12 + 84590251982404498805/590805290279037*c_0110_6^11 - 376225825993680148505/1772415870837111*c_0110_6^10 - 88770443939950070084/590805290279037*c_0110_6^9 + 612460775009563954247/1772415870837111*c_0110_6^8 - 356694079921643779765/1772415870837111*c_0110_6^7 + 112366294802206764802/1772415870837111*c_0110_6^6 + 18064942776114669671/590805290279037*c_0110_6^5 - 7234810725184508518/196935096759679*c_0110_6^4 + 11140683792026921782/1772415870837111*c_0110_6^3 - 213591588743891825/590805290279037*c_0110_6^2 - 1363029618142762241/1772415870837111*c_0110_6 + 698467566276620462/1772415870837111, c_0011_0 - 1, c_0011_1 + 3058724142700331/5317247612511333*c_0110_6^16 + 19619662986847690/5317247612511333*c_0110_6^15 - 55296034381645447/5317247612511333*c_0110_6^14 - 320570380747647194/5317247612511333*c_0110_6^13 + 200572031896639433/1772415870837111*c_0110_6^12 + 464808845309555960/1772415870837111*c_0110_6^11 - 2899288336112150299/5317247612511333*c_0110_6^10 - 82066333056295057/590805290279037*c_0110_6^9 + 4207469534839398121/5317247612511333*c_0110_6^8 - 3593047883784502097/5317247612511333*c_0110_6^7 + 1882717852060681379/5317247612511333*c_0110_6^6 - 30321618790684733/590805290279037*c_0110_6^5 - 119030662973307956/1772415870837111*c_0110_6^4 + 158846100012789572/5317247612511333*c_0110_6^3 - 16669308523867708/1772415870837111*c_0110_6^2 + 8089784448264893/5317247612511333*c_0110_6 + 2798283571447918/5317247612511333, c_0011_3 - 953152295412053/1772415870837111*c_0110_6^16 - 6041310779211743/1772415870837111*c_0110_6^15 + 1975570115227910/196935096759679*c_0110_6^14 + 99168419313046931/1772415870837111*c_0110_6^13 - 196317992345217020/1772415870837111*c_0110_6^12 - 429896792539061302/1772415870837111*c_0110_6^11 + 947976444645416849/1772415870837111*c_0110_6^10 + 208876492399854490/1772415870837111*c_0110_6^9 - 1385173152395958344/1772415870837111*c_0110_6^8 + 1154440856298484219/1772415870837111*c_0110_6^7 - 63750251973386345/196935096759679*c_0110_6^6 + 32969209952205745/590805290279037*c_0110_6^5 + 35205785780610313/590805290279037*c_0110_6^4 - 45581667206776535/1772415870837111*c_0110_6^3 + 13565841976965791/1772415870837111*c_0110_6^2 - 4295633831153293/1772415870837111*c_0110_6 - 203540266930204/590805290279037, c_0101_0 + 4857569763685163/5317247612511333*c_0110_6^16 + 32662730365169998/5317247612511333*c_0110_6^15 - 78705937440030880/5317247612511333*c_0110_6^14 - 539687087772175277/5317247612511333*c_0110_6^13 + 269512870390519715/1772415870837111*c_0110_6^12 + 855944152252256951/1772415870837111*c_0110_6^11 - 4037528582012170768/5317247612511333*c_0110_6^10 - 318080321379984629/590805290279037*c_0110_6^9 + 6899957649088242520/5317247612511333*c_0110_6^8 - 3429578796277406765/5317247612511333*c_0110_6^7 + 309759083605370459/5317247612511333*c_0110_6^6 + 116496201359275697/590805290279037*c_0110_6^5 - 287379948577600955/1772415870837111*c_0110_6^4 + 64165366111308539/5317247612511333*c_0110_6^3 + 20369429449387658/1772415870837111*c_0110_6^2 - 23209261254583555/5317247612511333*c_0110_6 + 9452129952673747/5317247612511333, c_0101_1 - 67353768314046/196935096759679*c_0110_6^16 - 462673528510625/196935096759679*c_0110_6^15 + 3051216119982398/590805290279037*c_0110_6^14 + 7583645573497249/196935096759679*c_0110_6^13 - 9995564127925054/196935096759679*c_0110_6^12 - 108871522772592473/590805290279037*c_0110_6^11 + 148568224171494358/590805290279037*c_0110_6^10 + 43396893078570413/196935096759679*c_0110_6^9 - 250265480809146860/590805290279037*c_0110_6^8 + 115619238479617702/590805290279037*c_0110_6^7 - 25544686045650218/590805290279037*c_0110_6^6 - 28691481138694175/590805290279037*c_0110_6^5 + 27714653727374417/590805290279037*c_0110_6^4 - 991088165496365/590805290279037*c_0110_6^3 - 1773355141036138/590805290279037*c_0110_6^2 + 459836992490830/196935096759679*c_0110_6 - 115840703685011/590805290279037, c_0101_4 + 456899267080883/5317247612511333*c_0110_6^16 + 3235649825296213/5317247612511333*c_0110_6^15 - 6336127424594683/5317247612511333*c_0110_6^14 - 53794957772822537/5317247612511333*c_0110_6^13 + 6340799882070281/590805290279037*c_0110_6^12 + 91148333049493642/1772415870837111*c_0110_6^11 - 278221401571721731/5317247612511333*c_0110_6^10 - 141945323814843959/1772415870837111*c_0110_6^9 + 481614835855291036/5317247612511333*c_0110_6^8 - 48221735610289790/5317247612511333*c_0110_6^7 + 11826026952708143/5317247612511333*c_0110_6^6 + 7654102741669927/590805290279037*c_0110_6^5 - 10017118102878632/1772415870837111*c_0110_6^4 - 29815153996911634/5317247612511333*c_0110_6^3 - 1895565264282548/1772415870837111*c_0110_6^2 - 9729067808586913/5317247612511333*c_0110_6 + 418489581977236/5317247612511333, c_0110_6^17 + 6*c_0110_6^16 - 21*c_0110_6^15 - 99*c_0110_6^14 + 245*c_0110_6^13 + 402*c_0110_6^12 - 1190*c_0110_6^11 + 31*c_0110_6^10 + 1733*c_0110_6^9 - 1682*c_0110_6^8 + 723*c_0110_6^7 - 29*c_0110_6^6 - 228*c_0110_6^5 + 118*c_0110_6^4 - 11*c_0110_6^3 - 2*c_0110_6^2 + 3*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB