Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 3751691018] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1234 geometric_solution 5.13049561 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 -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 -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.415997147026 0.249699390241 0 2 2 0 3201 0132 1023 0132 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 0 0 1 -1 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 1.066293291233 0.249096766376 3 1 1 4 0132 0132 1023 0132 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 0 0 0 0 0 -1 1 -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.825998025604 0.313506379440 2 5 6 5 0132 0132 0132 2310 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 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.982276375500 0.617283027970 6 5 2 5 0132 3201 0132 1023 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 -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.982276375500 0.617283027970 3 3 4 4 3201 0132 2310 1023 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 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.718325685368 0.435688278682 4 6 6 3 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534011088631 0.544095627006 ==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' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], '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_1']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(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' : 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_1'], 'c_0011_6' : negation(d['c_0011_1']), '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_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], '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' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : 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_0101_0, c_0101_2, c_0101_3, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 336303122541573118859663503/2311666212814747357723434*c_0110_5^12 + 1336451191702952931435953573/2311666212814747357723434*c_0110_5^11 - 72810798031383905956999787/128425900711930408762413*c_0110_5^10 + 118796398976824445750830463/37284938916366892866507*c_0110_5^9 - 5797456127281779033217816837/385277702135791226287239*c_0110_5^8 - 636711490839593361907355189/770555404271582452574478*c_0110_5^7 + 47550719035159218127536171842/1155833106407373678861717*c_0110_5^6 - 4979147291828996522663892139/1155833106407373678861717*c_0110_5^5 - 48702229223587443295361542762/1155833106407373678861717*c_0110_5^4 + 167618379224270924981430873361/2311666212814747357723434*c_0110_5^3 + 18116744959666968929326813147/2311666212814747357723434*c_0110_5^\ 2 - 21408609852731005587629639981/1155833106407373678861717*c_0110_\ 5 + 50640522544716427810976270723/2311666212814747357723434, c_0011_0 - 1, c_0011_1 - 7442749727349555/2362572563847979778*c_0110_5^12 + 18324196685693784/1181286281923989889*c_0110_5^11 - 26184379804720281/1181286281923989889*c_0110_5^10 + 86909837322650662/1181286281923989889*c_0110_5^9 - 462505547861350578/1181286281923989889*c_0110_5^8 + 624063796491101119/2362572563847979778*c_0110_5^7 + 2569750290914111447/2362572563847979778*c_0110_5^6 - 1713276772837334951/2362572563847979778*c_0110_5^5 - 4129556191004274123/2362572563847979778*c_0110_5^4 + 2237536104926964802/1181286281923989889*c_0110_5^3 - 735211055359233983/2362572563847979778*c_0110_5^2 - 2154659262867074707/2362572563847979778*c_0110_5 + 172691031355374494/1181286281923989889, c_0101_0 + 25393520215775537/2362572563847979778*c_0110_5^12 - 49575928413465663/1181286281923989889*c_0110_5^11 + 42674788672507276/1181286281923989889*c_0110_5^10 - 261040767764323016/1181286281923989889*c_0110_5^9 + 1281196322947393115/1181286281923989889*c_0110_5^8 + 467924953579449999/2362572563847979778*c_0110_5^7 - 7877728960904126787/2362572563847979778*c_0110_5^6 + 244144765928880197/2362572563847979778*c_0110_5^5 + 9470044313695504425/2362572563847979778*c_0110_5^4 - 5970916476242861927/1181286281923989889*c_0110_5^3 - 4910018315993738197/2362572563847979778*c_0110_5^2 + 6566733395059490727/2362572563847979778*c_0110_5 - 1192380963832997822/1181286281923989889, c_0101_2 + 12188122638364388/1181286281923989889*c_0110_5^12 - 46475172767114183/1181286281923989889*c_0110_5^11 + 39745479425531767/1181286281923989889*c_0110_5^10 - 260762821694885716/1181286281923989889*c_0110_5^9 + 1220673584209794134/1181286281923989889*c_0110_5^8 + 267010962985748734/1181286281923989889*c_0110_5^7 - 3397783467791939569/1181286281923989889*c_0110_5^6 - 272457364626720332/1181286281923989889*c_0110_5^5 + 3498826838347870653/1181286281923989889*c_0110_5^4 - 5662577585259245352/1181286281923989889*c_0110_5^3 - 2164549163992021332/1181286281923989889*c_0110_5^2 + 1935104981418763868/1181286281923989889*c_0110_5 - 1291599928050692325/1181286281923989889, c_0101_3 - 13176520314237019/2362572563847979778*c_0110_5^12 + 29089266715940953/1181286281923989889*c_0110_5^11 - 35915110511809342/1181286281923989889*c_0110_5^10 + 155601732292998467/1181286281923989889*c_0110_5^9 - 753208167577516380/1181286281923989889*c_0110_5^8 + 473268829296308403/2362572563847979778*c_0110_5^7 + 3819390289843598411/2362572563847979778*c_0110_5^6 - 1284859983172610641/2362572563847979778*c_0110_5^5 - 3310365857949836761/2362572563847979778*c_0110_5^4 + 3250745498735119600/1181286281923989889*c_0110_5^3 - 1580124737576097801/2362572563847979778*c_0110_5^2 - 2431920332567697623/2362572563847979778*c_0110_5 + 1320764717460737986/1181286281923989889, c_0101_6 - 18176584571349317/7087717691543939334*c_0110_5^12 + 34505168938142813/3543858845771969667*c_0110_5^11 - 9831399957353712/1181286281923989889*c_0110_5^10 + 191318987854924276/3543858845771969667*c_0110_5^9 - 297928069389665006/1181286281923989889*c_0110_5^8 - 139612831052840175/2362572563847979778*c_0110_5^7 + 5118427932287500775/7087717691543939334*c_0110_5^6 - 254461050631447969/7087717691543939334*c_0110_5^5 - 5603801034948872365/7087717691543939334*c_0110_5^4 + 6011110215916677766/3543858845771969667*c_0110_5^3 + 1892579456196178379/7087717691543939334*c_0110_5^2 - 1772299168500134243/7087717691543939334*c_0110_5 + 70374741574962965/3543858845771969667, c_0110_5^13 - 4*c_0110_5^12 + 4*c_0110_5^11 - 22*c_0110_5^10 + 104*c_0110_5^9 + 3*c_0110_5^8 - 283*c_0110_5^7 + 37*c_0110_5^6 + 289*c_0110_5^5 - 506*c_0110_5^4 - 41*c_0110_5^3 + 129*c_0110_5^2 - 154*c_0110_5 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB