Magma V2.19-8 Tue Aug 20 2013 16:18:24 on localhost [Seed = 2598045611] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2596 geometric_solution 5.88602867 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3012 0132 0132 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 1 -2 1 -1 0 0 1 -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.677659816309 0.648178804529 3 0 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 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 -1 1 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.975094203664 0.653202600415 6 4 3 0 0132 2310 1023 0132 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 -1 -1 2 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.975094203664 0.653202600415 1 5 2 6 0132 2103 1023 3012 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 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.685496422271 0.180930449494 4 4 1 2 1230 3012 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 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.265366935382 0.885728642481 6 3 6 1 3012 2103 0213 0132 0 0 0 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 0 0 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 0 0 0 0.067679798015 0.873047987060 2 5 3 5 0132 0213 1230 1230 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 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.067679798015 0.873047987060 ==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' : d['c_0101_1'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_4']), '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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 12311446836414258612585/9213800603669153951641*c_0101_3^15 - 371385539461288815357/708753892589934919357*c_0101_3^14 + 224667324131832978887811/9213800603669153951641*c_0101_3^13 + 17785500301575778114465/708753892589934919357*c_0101_3^12 + 817337111782200466457331/9213800603669153951641*c_0101_3^11 + 644016169213577472337325/9213800603669153951641*c_0101_3^10 + 596470739737023612093063/9213800603669153951641*c_0101_3^9 - 1054622274141291533270548/9213800603669153951641*c_0101_3^8 - 181468732857907147487683/1316257229095593421663*c_0101_3^7 - 3663187029867778336393749/9213800603669153951641*c_0101_3^6 - 2884466383372323338401065/9213800603669153951641*c_0101_3^5 - 304883574193521644900281/1316257229095593421663*c_0101_3^4 + 705875526193276071426474/9213800603669153951641*c_0101_3^3 + 50977241397910692633453/1316257229095593421663*c_0101_3^2 + 388924377012969841550447/9213800603669153951641*c_0101_3 + 353424310127478359934027/9213800603669153951641, c_0011_0 - 1, c_0011_2 - 4388053277101708229/101250556084276417051*c_0101_3^15 + 2388762147755868570/101250556084276417051*c_0101_3^14 - 80120676338709997745/101250556084276417051*c_0101_3^13 - 71355590252856155399/101250556084276417051*c_0101_3^12 - 274044769730772970029/101250556084276417051*c_0101_3^11 - 200192516836043556961/101250556084276417051*c_0101_3^10 - 177112813960095995797/101250556084276417051*c_0101_3^9 + 362463322280676417988/101250556084276417051*c_0101_3^8 + 368443724067874375406/101250556084276417051*c_0101_3^7 + 1221716855859592388734/101250556084276417051*c_0101_3^6 + 889205831550303307854/101250556084276417051*c_0101_3^5 + 654956084932865123494/101250556084276417051*c_0101_3^4 - 236170958089260436138/101250556084276417051*c_0101_3^3 - 18010816210540856904/101250556084276417051*c_0101_3^2 - 153847085338698265179/101250556084276417051*c_0101_3 - 135758138048859981085/101250556084276417051, c_0011_4 - 1351927695652498424/101250556084276417051*c_0101_3^15 + 250396901703184714/101250556084276417051*c_0101_3^14 - 25272387289499688475/101250556084276417051*c_0101_3^13 - 29404378986817804550/101250556084276417051*c_0101_3^12 - 108470043793240218247/101250556084276417051*c_0101_3^11 - 88222045869103711306/101250556084276417051*c_0101_3^10 - 114551838590214927853/101250556084276417051*c_0101_3^9 + 106900452842059843701/101250556084276417051*c_0101_3^8 + 159929830985850975884/101250556084276417051*c_0101_3^7 + 491455566983135495137/101250556084276417051*c_0101_3^6 + 391568050363294896435/101250556084276417051*c_0101_3^5 + 424172941219198987720/101250556084276417051*c_0101_3^4 - 14217755439237876168/101250556084276417051*c_0101_3^3 - 69929618444897468274/101250556084276417051*c_0101_3^2 - 86051806376609485786/101250556084276417051*c_0101_3 - 49806182443121251106/101250556084276417051, c_0011_5 + 5359001781576906841/101250556084276417051*c_0101_3^15 - 1068213255430788442/101250556084276417051*c_0101_3^14 + 96333714854225143263/101250556084276417051*c_0101_3^13 + 119735519230230459849/101250556084276417051*c_0101_3^12 + 356219776453567549042/101250556084276417051*c_0101_3^11 + 326109029922018286879/101250556084276417051*c_0101_3^10 + 243956753157419258493/101250556084276417051*c_0101_3^9 - 465040818088411293529/101250556084276417051*c_0101_3^8 - 687654472592505148583/101250556084276417051*c_0101_3^7 - 1586545407923829693719/101250556084276417051*c_0101_3^6 - 1447811893883396261219/101250556084276417051*c_0101_3^5 - 839320673840965442783/101250556084276417051*c_0101_3^4 + 371478911066264323321/101250556084276417051*c_0101_3^3 + 380610094669468697907/101250556084276417051*c_0101_3^2 + 113806368746697074386/101250556084276417051*c_0101_3 + 136164232735536758000/101250556084276417051, c_0101_0 - 8268095847612819285/101250556084276417051*c_0101_3^15 + 3361162581400961698/101250556084276417051*c_0101_3^14 - 150089956379550181384/101250556084276417051*c_0101_3^13 - 153627747643775621239/101250556084276417051*c_0101_3^12 - 530439401478862249674/101250556084276417051*c_0101_3^11 - 412757245931795928069/101250556084276417051*c_0101_3^10 - 327443737425904153976/101250556084276417051*c_0101_3^9 + 762191478408041117254/101250556084276417051*c_0101_3^8 + 910345338316682573236/101250556084276417051*c_0101_3^7 + 2418994251171903354962/101250556084276417051*c_0101_3^6 + 1819461089796740364651/101250556084276417051*c_0101_3^5 + 1125620727832871555549/101250556084276417051*c_0101_3^4 - 725058785724647691237/101250556084276417051*c_0101_3^3 - 474090631802912935293/101250556084276417051*c_0101_3^2 - 335840717618049674055/101250556084276417051*c_0101_3 - 205535792221642705360/101250556084276417051, c_0101_1 + 5359001781576906841/101250556084276417051*c_0101_3^15 - 1068213255430788442/101250556084276417051*c_0101_3^14 + 96333714854225143263/101250556084276417051*c_0101_3^13 + 119735519230230459849/101250556084276417051*c_0101_3^12 + 356219776453567549042/101250556084276417051*c_0101_3^11 + 326109029922018286879/101250556084276417051*c_0101_3^10 + 243956753157419258493/101250556084276417051*c_0101_3^9 - 465040818088411293529/101250556084276417051*c_0101_3^8 - 687654472592505148583/101250556084276417051*c_0101_3^7 - 1586545407923829693719/101250556084276417051*c_0101_3^6 - 1447811893883396261219/101250556084276417051*c_0101_3^5 - 839320673840965442783/101250556084276417051*c_0101_3^4 + 371478911066264323321/101250556084276417051*c_0101_3^3 + 380610094669468697907/101250556084276417051*c_0101_3^2 + 113806368746697074386/101250556084276417051*c_0101_3 + 136164232735536758000/101250556084276417051, c_0101_3^16 + 18*c_0101_3^14 + 26*c_0101_3^13 + 72*c_0101_3^12 + 77*c_0101_3^11 + 63*c_0101_3^10 - 71*c_0101_3^9 - 141*c_0101_3^8 - 332*c_0101_3^7 - 345*c_0101_3^6 - 240*c_0101_3^5 + 8*c_0101_3^4 + 67*c_0101_3^3 + 47*c_0101_3^2 + 46*c_0101_3 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB