Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 3903419439] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0255 geometric_solution 4.29284369 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.227522569933 0.101366615083 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -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 1.314498922742 0.265229927342 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668486638257 0.823590147750 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 -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 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.222439739608 0.525638648030 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.222439739608 0.525638648030 4 6 3 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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 1.637069629108 2.017358345761 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384640564466 0.242632627821 ==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_0101_3']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 224397456359312/844495299351*c_0110_6^15 + 572807734361774/281498433117*c_0110_6^14 - 2048330557146442/281498433117*c_0110_6^13 + 26626700033058079/844495299351*c_0110_6^12 - 107821004910484439/844495299351*c_0110_6^11 + 310570133465187698/844495299351*c_0110_6^10 - 667593770661310364/844495299351*c_0110_6^9 + 368622317888448497/281498433117*c_0110_6^8 - 1404203364565145810/844495299351*c_0110_6^7 + 151527305293880327/93832811039*c_0110_6^6 - 1000578316479485432/844495299351*c_0110_6^5 + 533888379962579380/844495299351*c_0110_6^4 - 198707482912952339/844495299351*c_0110_6^3 + 49819244817156358/844495299351*c_0110_6^2 - 7964221663697602/844495299351*c_0110_6 + 656654713349434/844495299351, c_0011_0 - 1, c_0011_4 + 498560237087/8530255549*c_0110_6^15 - 3755807852735/8530255549*c_0110_6^14 + 13206390589742/8530255549*c_0110_6^13 - 57668983065990/8530255549*c_0110_6^12 + 232889809972001/8530255549*c_0110_6^11 - 663328547062612/8530255549*c_0110_6^10 + 1409939326970251/8530255549*c_0110_6^9 - 2307048267946888/8530255549*c_0110_6^8 + 2885128109027395/8530255549*c_0110_6^7 - 2753222713730521/8530255549*c_0110_6^6 + 1977864095234853/8530255549*c_0110_6^5 - 1026701405302245/8530255549*c_0110_6^4 + 370315839770048/8530255549*c_0110_6^3 - 90010683849491/8530255549*c_0110_6^2 + 13927994347399/8530255549*c_0110_6 - 1097644453329/8530255549, c_0101_0 - 245646213529/8530255549*c_0110_6^15 + 1879112841741/8530255549*c_0110_6^14 - 6704215543942/8530255549*c_0110_6^13 + 29045683218030/8530255549*c_0110_6^12 - 117646766793703/8530255549*c_0110_6^11 + 338322180258556/8530255549*c_0110_6^10 - 725345886603144/8530255549*c_0110_6^9 + 1197688764707223/8530255549*c_0110_6^8 - 1513897292459179/8530255549*c_0110_6^7 + 1460768462059684/8530255549*c_0110_6^6 - 1062062401775033/8530255549*c_0110_6^5 + 558772529979878/8530255549*c_0110_6^4 - 203474356009928/8530255549*c_0110_6^3 + 49602136171276/8530255549*c_0110_6^2 - 7674218866894/8530255549*c_0110_6 + 602897653769/8530255549, c_0101_1 - 392913853946/8530255549*c_0110_6^15 + 2997353608159/8530255549*c_0110_6^14 - 10667415383530/8530255549*c_0110_6^13 + 46286064353808/8530255549*c_0110_6^12 - 187374607673064/8530255549*c_0110_6^11 + 537973829141620/8530255549*c_0110_6^10 - 1151972988087761/8530255549*c_0110_6^9 + 1900010072397292/8530255549*c_0110_6^8 - 2398975992280436/8530255549*c_0110_6^7 + 2313326557687985/8530255549*c_0110_6^6 - 1682126889332717/8530255549*c_0110_6^5 + 886432624425643/8530255549*c_0110_6^4 - 324690674415648/8530255549*c_0110_6^3 + 80141726653418/8530255549*c_0110_6^2 - 12591443717741/8530255549*c_0110_6 + 1000589178914/8530255549, c_0101_2 - 224143788412/8530255549*c_0110_6^15 + 1690704734025/8530255549*c_0110_6^14 - 5950531403519/8530255549*c_0110_6^13 + 25964396717681/8530255549*c_0110_6^12 - 104894113639680/8530255549*c_0110_6^11 + 298941560987170/8530255549*c_0110_6^10 - 635649119228131/8530255549*c_0110_6^9 + 1040506695618814/8530255549*c_0110_6^8 - 1301704280881847/8530255549*c_0110_6^7 + 1242489075864907/8530255549*c_0110_6^6 - 892773206568848/8530255549*c_0110_6^5 + 463437368074747/8530255549*c_0110_6^4 - 167093901027587/8530255549*c_0110_6^3 + 40601817692103/8530255549*c_0110_6^2 - 6252805269741/8530255549*c_0110_6 + 490029981538/8530255549, c_0101_3 - 265886193126/8530255549*c_0110_6^15 + 2005391329867/8530255549*c_0110_6^14 - 7059663308596/8530255549*c_0110_6^13 + 30808909515664/8530255549*c_0110_6^12 - 124447110023937/8530255549*c_0110_6^11 + 354730736793974/8530255549*c_0110_6^10 - 754542666146185/8530255549*c_0110_6^9 + 1235602335451851/8530255549*c_0110_6^8 - 1546666956984907/8530255549*c_0110_6^7 + 1477482701735612/8530255549*c_0110_6^6 - 1062673377083233/8530255549*c_0110_6^5 + 552456203446915/8530255549*c_0110_6^4 - 199579519623038/8530255549*c_0110_6^3 + 48589961624684/8530255549*c_0110_6^2 - 7538704988874/8530255549*c_0110_6 + 599084216242/8530255549, c_0110_6^16 - 8*c_0110_6^15 + 30*c_0110_6^14 - 128*c_0110_6^13 + 521*c_0110_6^12 - 1548*c_0110_6^11 + 3447*c_0110_6^10 - 5942*c_0110_6^9 + 7936*c_0110_6^8 - 8207*c_0110_6^7 + 6526*c_0110_6^6 - 3895*c_0110_6^5 + 1694*c_0110_6^4 - 523*c_0110_6^3 + 111*c_0110_6^2 - 15*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB