Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 1545453710] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1318 geometric_solution 5.20512651 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.619805035672 0.160681609045 0 2 2 0 3201 0132 1023 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 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 0 0 0 1.421484253680 0.441253489809 3 1 1 4 0132 0132 1023 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 0 1 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.222568940781 0.646888142038 2 5 4 6 0132 0132 1302 0132 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 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.261672177133 0.483422836010 3 6 2 5 2031 1023 0132 2310 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 -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.261672177133 0.483422836010 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.134023212089 1.599837473431 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 -1 0 1 -1 0 0 1 0 -1 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 0.838094110344 1.020306145507 ==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_4']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 67401516896239761589/9864656960992105211*c_0110_5^13 + 471067972268988869877/9864656960992105211*c_0110_5^12 + 1889151437930221953914/9864656960992105211*c_0110_5^11 - 13502651948660255846101/9864656960992105211*c_0110_5^10 - 14424273552358658796129/9864656960992105211*c_0110_5^9 + 97567039157759744803056/9864656960992105211*c_0110_5^8 + 40242127463336930987422/9864656960992105211*c_0110_5^7 - 259052373891954845660794/9864656960992105211*c_0110_5^6 - 45350911886159610882845/9864656960992105211*c_0110_5^5 + 252260740890794129591352/9864656960992105211*c_0110_5^4 + 37031699840625638820904/9864656960992105211*c_0110_5^3 - 74548631344795864427714/9864656960992105211*c_0110_5^2 - 18530280978543865542256/9864656960992105211*c_0110_5 + 93531691253787703490/9864656960992105211, c_0011_0 - 1, c_0011_1 - 654957553231108649/9864656960992105211*c_0110_5^13 + 4633186674036782051/9864656960992105211*c_0110_5^12 + 18010797067848219724/9864656960992105211*c_0110_5^11 - 133041602292361337952/9864656960992105211*c_0110_5^10 - 130346459035889246642/9864656960992105211*c_0110_5^9 + 967534070251735532824/9864656960992105211*c_0110_5^8 + 323522615157325566983/9864656960992105211*c_0110_5^7 - 2599196387657497674057/9864656960992105211*c_0110_5^6 - 276829211062308486834/9864656960992105211*c_0110_5^5 + 2592978271093126549171/9864656960992105211*c_0110_5^4 + 228594255572862434855/9864656960992105211*c_0110_5^3 - 815254700992789714797/9864656960992105211*c_0110_5^2 - 159572058122467568338/9864656960992105211*c_0110_5 + 18825248063383276876/9864656960992105211, c_0011_4 - 89642801348031005/9864656960992105211*c_0110_5^13 + 663802208834706895/9864656960992105211*c_0110_5^12 + 2261809237189362936/9864656960992105211*c_0110_5^11 - 19057852715260310335/9864656960992105211*c_0110_5^10 - 12051961036868457607/9864656960992105211*c_0110_5^9 + 139042877021799671004/9864656960992105211*c_0110_5^8 + 3352323253783469144/9864656960992105211*c_0110_5^7 - 370869622122607287540/9864656960992105211*c_0110_5^6 + 67018941520616607088/9864656960992105211*c_0110_5^5 + 350123858765258920042/9864656960992105211*c_0110_5^4 - 63797174062693815759/9864656960992105211*c_0110_5^3 - 82451225712230727618/9864656960992105211*c_0110_5^2 + 1395475498613167742/9864656960992105211*c_0110_5 - 2438684935518736437/9864656960992105211, c_0101_0 - 606773325304136864/9864656960992105211*c_0110_5^13 + 4361571074878339893/9864656960992105211*c_0110_5^12 + 16135128564113014105/9864656960992105211*c_0110_5^11 - 124757625982011344569/9864656960992105211*c_0110_5^10 - 104855100946580597385/9864656960992105211*c_0110_5^9 + 898900454410975881717/9864656960992105211*c_0110_5^8 + 180740849014851849769/9864656960992105211*c_0110_5^7 - 2366411415133399554478/9864656960992105211*c_0110_5^6 + 77479044929917586776/9864656960992105211*c_0110_5^5 + 2254349356894701043728/9864656960992105211*c_0110_5^4 - 139871821884780696120/9864656960992105211*c_0110_5^3 - 648735537678586480184/9864656960992105211*c_0110_5^2 - 42873404775398043057/9864656960992105211*c_0110_5 + 17210390962222524366/9864656960992105211, c_0101_2 + 585593705846330391/9864656960992105211*c_0110_5^13 - 4030363962832703258/9864656960992105211*c_0110_5^12 - 16884121333661558196/9864656960992105211*c_0110_5^11 + 115843656823335352517/9864656960992105211*c_0110_5^10 + 138570306577488394369/9864656960992105211*c_0110_5^9 - 842236625887916645747/9864656960992105211*c_0110_5^8 - 441128012567584841713/9864656960992105211*c_0110_5^7 + 2269907572076359264476/9864656960992105211*c_0110_5^6 + 613021008172718378852/9864656960992105211*c_0110_5^5 - 2293640751179141385471/9864656960992105211*c_0110_5^4 - 486900534029248860849/9864656960992105211*c_0110_5^3 + 739629141504786412334/9864656960992105211*c_0110_5^2 + 186533417989066072482/9864656960992105211*c_0110_5 - 18567373668760635144/9864656960992105211, c_0101_5 + 20055293889964993/9864656960992105211*c_0110_5^13 - 137227554624637635/9864656960992105211*c_0110_5^12 - 569428741337258449/9864656960992105211*c_0110_5^11 + 3844638434836708672/9864656960992105211*c_0110_5^10 + 4480812922295767938/9864656960992105211*c_0110_5^9 - 25688250105839603702/9864656960992105211*c_0110_5^8 - 12615138054446423962/9864656960992105211*c_0110_5^7 + 53922023334799445372/9864656960992105211*c_0110_5^6 + 11700918239862200597/9864656960992105211*c_0110_5^5 - 15087397236877455327/9864656960992105211*c_0110_5^4 - 2316052530966899220/9864656960992105211*c_0110_5^3 - 20314952690288937793/9864656960992105211*c_0110_5^2 - 1435893324487184488/9864656960992105211*c_0110_5 - 2534595123012409144/9864656960992105211, c_0110_5^14 - 7*c_0110_5^13 - 28*c_0110_5^12 + 201*c_0110_5^11 + 213*c_0110_5^10 - 1460*c_0110_5^9 - 587*c_0110_5^8 + 3919*c_0110_5^7 + 629*c_0110_5^6 - 3912*c_0110_5^5 - 472*c_0110_5^4 + 1230*c_0110_5^3 + 245*c_0110_5^2 - 30*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB