Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 1174919851] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1947 geometric_solution 5.53415102 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 -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.435878904364 0.274010817151 0 3 0 3 0132 0132 2310 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 -1 0 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.644377125689 1.033720869265 4 0 5 0 0132 2310 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919743969947 0.759710052114 1 1 4 5 3201 0132 3012 3012 0 0 0 0 0 1 -1 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 -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 0 0.137518807265 1.301764118717 2 3 4 4 0132 1230 2031 1302 0 0 0 0 0 0 0 0 -1 0 0 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 -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.574218925610 1.018913948870 6 6 3 2 0132 3201 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.361898907795 1.551071693732 5 6 5 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.620689971291 0.492540456947 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), '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_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_5']})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 6301672717205222311862/1014181830552453169455*c_0101_5^18 - 525166985107273810436/1014181830552453169455*c_0101_5^17 - 2105782076792607029558/338060610184151056485*c_0101_5^16 - 81290685203514435719234/1014181830552453169455*c_0101_5^15 - 8357812673372607882506/112686870061383685495*c_0101_5^14 - 99998581038436156267312/1014181830552453169455*c_0101_5^13 - 2258049545188112686726/202836366110490633891*c_0101_5^12 + 175137232740143078480402/338060610184151056485*c_0101_5^11 + 791914875914135138159078/1014181830552453169455*c_0101_5^10 + 344929551516548525838742/338060610184151056485*c_0101_5^9 + 88235980104292003874843/1014181830552453169455*c_0101_5^8 - 97059015979966256542902/112686870061383685495*c_0101_5^7 - 12032068552251264508301/67612122036830211297*c_0101_5^6 - 33941646179771934164687/338060610184151056485*c_0101_5^5 - 43063854610066223799673/1014181830552453169455*c_0101_5^4 - 165891695262593700990061/1014181830552453169455*c_0101_5^3 - 60316732746653532019640/202836366110490633891*c_0101_5^2 - 14273915597157627668419/1014181830552453169455*c_0101_5 - 19355215839494234423279/1014181830552453169455, c_0011_0 - 1, c_0011_2 - 1401918462991296609/22537374012276737099*c_0101_5^18 + 1862806316935840791/22537374012276737099*c_0101_5^17 - 190604297340729566/22537374012276737099*c_0101_5^16 + 17777875871694390320/22537374012276737099*c_0101_5^15 - 5812382945361726690/22537374012276737099*c_0101_5^14 + 20214069243754019965/22537374012276737099*c_0101_5^13 - 24994229648241137267/22537374012276737099*c_0101_5^12 - 95020521171258258246/22537374012276737099*c_0101_5^11 - 49903536585452757220/22537374012276737099*c_0101_5^10 - 110452439852031910949/22537374012276737099*c_0101_5^9 + 174639140198685724606/22537374012276737099*c_0101_5^8 + 55997735093393999769/22537374012276737099*c_0101_5^7 - 92223690243394272200/22537374012276737099*c_0101_5^6 + 48665800241374865380/22537374012276737099*c_0101_5^5 - 51185055513644406255/22537374012276737099*c_0101_5^4 + 73160620354486853772/22537374012276737099*c_0101_5^3 - 4759720627922163925/22537374012276737099*c_0101_5^2 - 11387867877129593661/22537374012276737099*c_0101_5 + 19190439167370779244/22537374012276737099, c_0011_5 + 1028592802139034518/22537374012276737099*c_0101_5^18 - 1395902353402071756/22537374012276737099*c_0101_5^17 - 602389113918016410/22537374012276737099*c_0101_5^16 - 11850931987457614861/22537374012276737099*c_0101_5^15 + 4297300896548642528/22537374012276737099*c_0101_5^14 - 4925960513804656083/22537374012276737099*c_0101_5^13 + 13376397685544951327/22537374012276737099*c_0101_5^12 + 81625756698759917772/22537374012276737099*c_0101_5^11 + 16846243287140780814/22537374012276737099*c_0101_5^10 + 31768746469488527919/22537374012276737099*c_0101_5^9 - 152516154311684721334/22537374012276737099*c_0101_5^8 - 88451297924384975718/22537374012276737099*c_0101_5^7 + 170879251804442658394/22537374012276737099*c_0101_5^6 - 18046625889247587802/22537374012276737099*c_0101_5^5 - 11958364827351486864/22537374012276737099*c_0101_5^4 - 26354418234630062450/22537374012276737099*c_0101_5^3 + 5856423458918327685/22537374012276737099*c_0101_5^2 + 36229254670741065902/22537374012276737099*c_0101_5 - 2793352390251446981/22537374012276737099, c_0101_0 + 3346934844905957855/22537374012276737099*c_0101_5^18 + 1401918462991296609/22537374012276737099*c_0101_5^17 - 5209741161841798646/22537374012276737099*c_0101_5^16 - 43319548686436722549/22537374012276737099*c_0101_5^15 - 61288028855471842435/22537374012276737099*c_0101_5^14 - 51085509418039556845/22537374012276737099*c_0101_5^13 - 30254873778471893530/22537374012276737099*c_0101_5^12 + 302789821775435639232/22537374012276737099*c_0101_5^11 + 540162855543750652961/22537374012276737099*c_0101_5^10 + 635617134443995381845/22537374012276737099*c_0101_5^9 + 204166615509398730889/22537374012276737099*c_0101_5^8 - 633169213950801950741/22537374012276737099*c_0101_5^7 - 196568998579444229679/22537374012276737099*c_0101_5^6 + 31978863035087030810/22537374012276737099*c_0101_5^5 - 75441279000622528220/22537374012276737099*c_0101_5^4 - 32488315609004540120/22537374012276737099*c_0101_5^3 - 237160427754878788667/22537374012276737099*c_0101_5^2 - 18668823286419541060/22537374012276737099*c_0101_5 + 1347063342411720096/22537374012276737099, c_0101_1 + 1, c_0101_2 + 1380898362483055503/22537374012276737099*c_0101_5^18 + 77831856461145911/22537374012276737099*c_0101_5^17 - 1056024007886328845/22537374012276737099*c_0101_5^16 - 18552532397473602514/22537374012276737099*c_0101_5^15 - 18878463452767213656/22537374012276737099*c_0101_5^14 - 28676978381214969911/22537374012276737099*c_0101_5^13 - 3001087992669216823/22537374012276737099*c_0101_5^12 + 110725474558543689212/22537374012276737099*c_0101_5^11 + 198622430410396229623/22537374012276737099*c_0101_5^10 + 276482741379435495048/22537374012276737099*c_0101_5^9 + 56522947546282032155/22537374012276737099*c_0101_5^8 - 166511003231803815852/22537374012276737099*c_0101_5^7 - 139526917107686381766/22537374012276737099*c_0101_5^6 - 52875095022211463304/22537374012276737099*c_0101_5^5 - 728536951070036959/22537374012276737099*c_0101_5^4 - 52427756828208154976/22537374012276737099*c_0101_5^3 - 31818214722379796270/22537374012276737099*c_0101_5^2 - 40415321882905617569/22537374012276737099*c_0101_5 + 7029002146200883531/22537374012276737099, c_0101_5^19 - c_0101_5^17 - 13*c_0101_5^16 - 13*c_0101_5^15 - 17*c_0101_5^14 - 3*c_0101_5^13 + 83*c_0101_5^12 + 133*c_0101_5^11 + 175*c_0101_5^10 + 28*c_0101_5^9 - 137*c_0101_5^8 - 42*c_0101_5^7 - 18*c_0101_5^6 - 8*c_0101_5^5 - 25*c_0101_5^4 - 49*c_0101_5^3 - 7*c_0101_5^2 - 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB