Magma V2.19-8 Tue Aug 20 2013 16:18:38 on localhost [Seed = 1048552207] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2803 geometric_solution 6.03455167 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3120 0132 0132 0 0 0 0 0 0 0 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 0 1 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.933735840698 1.144168722224 0 0 5 4 0132 3120 0132 0132 0 0 0 0 0 0 1 -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 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.392263925447 0.521138527676 4 5 4 0 0132 1230 2031 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 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.543822852017 0.437821935978 6 4 0 6 0132 3120 0132 1023 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 -1 1 -1 0 1 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.329377123742 0.537222741915 2 3 1 2 0132 3120 0132 1302 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 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.993561424362 0.969856311874 5 5 2 1 1302 2031 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277708155526 1.068089082142 3 6 6 3 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.875819146561 0.772347482458 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_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_2, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 25123592979472343074825/77622186515080933*c_0101_6^23 + 412859832429894697491110/77622186515080933*c_0101_6^22 - 2730562751025597317313127/77622186515080933*c_0101_6^21 + 9029335604147726576634128/77622186515080933*c_0101_6^20 - 12695087547633492986410664/77622186515080933*c_0101_6^19 - 10887220001294162802507780/77622186515080933*c_0101_6^18 + 74699272524874306794673544/77622186515080933*c_0101_6^17 - 124758678642696797083482524/77622186515080933*c_0101_6^16 + 74815112938556890668076073/77622186515080933*c_0101_6^15 + 36104636545220659728673375/77622186515080933*c_0101_6^14 - 35001814761428689122400962/77622186515080933*c_0101_6^13 - 110522725772369911215436077/77622186515080933*c_0101_6^12 + 178712784306494094498741641/77622186515080933*c_0101_6^11 - 4017700690334644634261919/7056562410461903*c_0101_6^10 - 9108405485307403266001187/7056562410461903*c_0101_6^9 + 85162044402628649235042741/77622186515080933*c_0101_6^8 - 5539161454417789034837197/77622186515080933*c_0101_6^7 - 17753459137524493110346965/77622186515080933*c_0101_6^6 + 300555805306594649521006/7056562410461903*c_0101_6^5 + 2725858188798923384883849/77622186515080933*c_0101_6^4 - 138664747346783788781401/77622186515080933*c_0101_6^3 - 907329891275521678332574/77622186515080933*c_0101_6^2 + 33199127906320379397665/7056562410461903*c_0101_6 - 44357367229045960078675/77622186515080933, c_0011_0 - 1, c_0011_2 - 266011950620255774/719396718367*c_0101_6^23 + 4385566052580964747/719396718367*c_0101_6^22 - 29136833100958907559/719396718367*c_0101_6^21 + 97026008857394087859/719396718367*c_0101_6^20 - 138772143232800975974/719396718367*c_0101_6^19 - 110362163697576210171/719396718367*c_0101_6^18 + 799579525003935579906/719396718367*c_0101_6^17 - 1358583216871398302449/719396718367*c_0101_6^16 + 843093790622439503168/719396718367*c_0101_6^15 + 366290777921130562659/719396718367*c_0101_6^14 - 399119836819072126405/719396718367*c_0101_6^13 - 1165169678395034693617/719396718367*c_0101_6^12 + 1957054084778835820290/719396718367*c_0101_6^11 - 535291259221714094146/719396718367*c_0101_6^10 - 1070509445290656810569/719396718367*c_0101_6^9 + 953137054556516418816/719396718367*c_0101_6^8 - 80215108442682581337/719396718367*c_0101_6^7 - 195903901451425234856/719396718367*c_0101_6^6 + 40930576637596786503/719396718367*c_0101_6^5 + 30036373536530719876/719396718367*c_0101_6^4 - 2400043139851523724/719396718367*c_0101_6^3 - 10006045716628486630/719396718367*c_0101_6^2 + 4172770720117609213/719396718367*c_0101_6 - 518411357335306995/719396718367, c_0011_3 - 281558050057201395/719396718367*c_0101_6^23 + 4641565908878605731/719396718367*c_0101_6^22 - 30834861070102432652/719396718367*c_0101_6^21 + 102666100357712947638/719396718367*c_0101_6^20 - 146788886889803209209/719396718367*c_0101_6^19 - 116919513291813202881/719396718367*c_0101_6^18 + 846128793884985844224/719396718367*c_0101_6^17 - 1437176063749383484346/719396718367*c_0101_6^16 + 891255589552008935334/719396718367*c_0101_6^15 + 388072311461514080425/719396718367*c_0101_6^14 - 421842413215239222322/719396718367*c_0101_6^13 - 1233400437265824908795/719396718367*c_0101_6^12 + 2070050474463670293498/719396718367*c_0101_6^11 - 565088570237092620866/719396718367*c_0101_6^10 - 1132908566973387659945/719396718367*c_0101_6^9 + 1007724882297728926089/719396718367*c_0101_6^8 - 84407380710024291403/719396718367*c_0101_6^7 - 207189219652879128905/719396718367*c_0101_6^6 + 43187444069931298500/719396718367*c_0101_6^5 + 31768450556434122370/719396718367*c_0101_6^4 - 2518696349103984229/719396718367*c_0101_6^3 - 10582460654831584176/719396718367*c_0101_6^2 + 4409718648761807526/719396718367*c_0101_6 - 547570000677457169/719396718367, c_0011_5 + 2705044488382562954036/77622186515080933*c_0101_6^23 - 44792108966368568753028/77622186515080933*c_0101_6^22 + 299417648016280599751052/77622186515080933*c_0101_6^21 - 1006503454236144026788244/77622186515080933*c_0101_6^20 + 1472485619355256362767528/77622186515080933*c_0101_6^19 + 1051288984228260048134881/77622186515080933*c_0101_6^18 - 8248189363229378450254750/77622186515080933*c_0101_6^17 + 14344287187978337183694640/77622186515080933*c_0101_6^16 - 9304445225900473847234467/77622186515080933*c_0101_6^15 - 3476231944416026950004756/77622186515080933*c_0101_6^14 + 4455240220655436942943552/77622186515080933*c_0101_6^13 + 11756135233240941147719043/77622186515080933*c_0101_6^12 - 20806228134085957748702256/77622186515080933*c_0101_6^11 + 583997148573812121234700/7056562410461903*c_0101_6^10 + 999206880057270620472103/7056562410461903*c_0101_6^9 - 10427663858213911988547278/77622186515080933*c_0101_6^8 + 1143207676010122366143044/77622186515080933*c_0101_6^7 + 2100273272494456577872511/77622186515080933*c_0101_6^6 - 45960970223085288307720/7056562410461903*c_0101_6^5 - 320903572103425291717046/77622186515080933*c_0101_6^4 + 38690553273828968596341/77622186515080933*c_0101_6^3 + 107279854365971631677175/77622186515080933*c_0101_6^2 - 4271886013581366600261/7056562410461903*c_0101_6 + 6018532099565177202338/77622186515080933, c_0101_0 + 33684608335677725091542/77622186515080933*c_0101_6^23 - 555547556250503607345369/77622186515080933*c_0101_6^22 + 3692911188836139185749789/77622186515080933*c_0101_6^21 - 12307511522709416611706791/77622186515080933*c_0101_6^20 + 17637768205543712065612616/77622186515080933*c_0101_6^19 + 13900868235518505483465610/77622186515080933*c_0101_6^18 - 101378081285696821324136949/77622186515080933*c_0101_6^17 + 172599071502806807440441435/77622186515080933*c_0101_6^16 - 107526468755672572260733020/77622186515080933*c_0101_6^15 - 46138332337660553850726927/77622186515080933*c_0101_6^14 + 50967466389771927643405486/77622186515080933*c_0101_6^13 + 147462559742915431902977399/77622186515080933*c_0101_6^12 - 248789662540278446615857335/77622186515080933*c_0101_6^11 + 6254587168035242603328824/7056562410461903*c_0101_6^10 + 12336037943898453489963648/7056562410461903*c_0101_6^9 - 121468991977832344869589138/77622186515080933*c_0101_6^8 + 10485218935293584562247642/77622186515080933*c_0101_6^7 + 24926098164096356112677947/77622186515080933*c_0101_6^6 - 479360393527100859621640/7056562410461903*c_0101_6^5 - 3821108557731356502300797/77622186515080933*c_0101_6^4 + 318095504851966053270195/77622186515080933*c_0101_6^3 + 1273063081385555708840312/77622186515080933*c_0101_6^2 - 48456415608636832382827/7056562410461903*c_0101_6 + 66381506315581783989754/77622186515080933, c_0101_2 + 37670899664626226365941/77622186515080933*c_0101_6^23 - 621508570983227694863704/77622186515080933*c_0101_6^22 + 4133399581230298689185488/77622186515080933*c_0101_6^21 - 13786003711223428403911261/77622186515080933*c_0101_6^20 + 19793101978396531841553950/77622186515080933*c_0101_6^19 + 15466802843042935048800350/77622186515080933*c_0101_6^18 - 113504576431838388982076901/77622186515080933*c_0101_6^17 + 193611428811098865948350850/77622186515080933*c_0101_6^16 - 121065473187202049405012170/77622186515080933*c_0101_6^15 - 51317164506680119051635492/77622186515080933*c_0101_6^14 + 57437161651653255450782967/77622186515080933*c_0101_6^13 + 164806709222959552781856544/77622186515080933*c_0101_6^12 - 279233635286537196707931393/77622186515080933*c_0101_6^11 + 7094286347760971619630042/7056562410461903*c_0101_6^10 + 13805808898468206551018953/7056562410461903*c_0101_6^9 - 136661043422722416920822998/77622186515080933*c_0101_6^8 + 12095378984831902872954562/77622186515080933*c_0101_6^7 + 27994269305769734660640621/77622186515080933*c_0101_6^6 - 545230224243352032829209/7056562410461903*c_0101_6^5 - 4289993061692608605022976/77622186515080933*c_0101_6^4 + 371880246023549289275154/77622186515080933*c_0101_6^3 + 1429792045068401035671591/77622186515080933*c_0101_6^2 - 54656619229551247524147/7056562410461903*c_0101_6 + 75085900841200621056595/77622186515080933, c_0101_6^24 - 17*c_0101_6^23 + 118*c_0101_6^22 - 421*c_0101_6^21 + 709*c_0101_6^20 + 147*c_0101_6^19 - 3219*c_0101_6^18 + 6651*c_0101_6^17 - 5792*c_0101_6^16 + 250*c_0101_6^15 + 2208*c_0101_6^14 + 3610*c_0101_6^13 - 9607*c_0101_6^12 + 5790*c_0101_6^11 + 2992*c_0101_6^10 - 5650*c_0101_6^9 + 2141*c_0101_6^8 + 582*c_0101_6^7 - 532*c_0101_6^6 - 34*c_0101_6^5 + 67*c_0101_6^4 + 33*c_0101_6^3 - 35*c_0101_6^2 + 10*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB