Magma V2.19-8 Tue Aug 20 2013 16:19:14 on localhost [Seed = 4172899839] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3358 geometric_solution 6.52457187 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 -1 0 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 -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.182653365428 0.688692176878 0 0 4 3 0132 3201 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 -1 0 1 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.137127500042 1.433247825310 0 0 6 5 3201 0132 0132 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -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 0 0 0 -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.788107445061 1.118333519125 4 4 1 6 1302 1023 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 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.376512147842 1.109739607265 3 3 5 1 1023 2031 2310 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 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.376512147842 1.109739607265 6 4 2 6 1023 3201 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 1 0 -1 0 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.344687716769 0.622049011497 3 5 5 2 3201 1023 2031 0132 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 -1 1 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.344687716769 0.622049011497 ==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_6'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_4']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_6']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(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_3, c_0011_5, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 5340663811177/2189627331381*c_0101_6^14 - 64381302503818/6568881994143*c_0101_6^13 - 5441765813689/134058816207*c_0101_6^12 - 6318353988910/243291925709*c_0101_6^11 + 1408731160030015/6568881994143*c_0101_6^10 + 9944562781855/34755989387*c_0101_6^9 + 1017820841622856/938411713449*c_0101_6^8 + 5020608513962651/6568881994143*c_0101_6^7 + 10542310368361588/6568881994143*c_0101_6^6 + 4296776895077180/6568881994143*c_0101_6^5 + 3377067470959918/6568881994143*c_0101_6^4 - 242584384922983/729875777127*c_0101_6^3 - 3284826761934763/6568881994143*c_0101_6^2 + 1335913679045/2189627331381*c_0101_6 + 340963876297661/6568881994143, c_0011_0 - 1, c_0011_3 - 332577430001/14895424023*c_0101_6^14 - 531348672325/44686272069*c_0101_6^13 - 13263666928354/44686272069*c_0101_6^12 + 12277558389574/14895424023*c_0101_6^11 - 20429103692693/44686272069*c_0101_6^10 + 46391970402892/14895424023*c_0101_6^9 - 23935325449145/44686272069*c_0101_6^8 + 190281089849729/44686272069*c_0101_6^7 - 28867782551948/44686272069*c_0101_6^6 + 65591202023681/44686272069*c_0101_6^5 - 61531264427114/44686272069*c_0101_6^4 - 16245964537216/14895424023*c_0101_6^3 + 22063257315692/44686272069*c_0101_6^2 + 1841372105089/14895424023*c_0101_6 - 1859158985416/44686272069, c_0011_5 + 107087228423/4965141341*c_0101_6^14 + 530104097087/44686272069*c_0101_6^13 + 12815395280618/44686272069*c_0101_6^12 - 11785274753659/14895424023*c_0101_6^11 + 19035136894564/44686272069*c_0101_6^10 - 44611756698091/14895424023*c_0101_6^9 + 20539389615259/44686272069*c_0101_6^8 - 182501860120141/44686272069*c_0101_6^7 + 24067358332642/44686272069*c_0101_6^6 - 61595593918546/44686272069*c_0101_6^5 + 57409356262474/44686272069*c_0101_6^4 + 16249568651980/14895424023*c_0101_6^3 - 21297661337245/44686272069*c_0101_6^2 - 632081850228/4965141341*c_0101_6 + 1851544907342/44686272069, c_0101_1 - 73033271012/44686272069*c_0101_6^14 - 49321273874/44686272069*c_0101_6^13 - 326600131222/14895424023*c_0101_6^12 + 2552661617060/44686272069*c_0101_6^11 - 128617312226/4965141341*c_0101_6^10 + 10055870131013/44686272069*c_0101_6^9 - 265227329972/44686272069*c_0101_6^8 + 14101363535657/44686272069*c_0101_6^7 + 236402705680/44686272069*c_0101_6^6 + 5176946571872/44686272069*c_0101_6^5 - 1075466415185/14895424023*c_0101_6^4 - 3905426539853/44686272069*c_0101_6^3 + 421668893323/14895424023*c_0101_6^2 + 357701418484/44686272069*c_0101_6 - 43562276252/14895424023, c_0101_4 + 73033271012/44686272069*c_0101_6^14 + 49321273874/44686272069*c_0101_6^13 + 326600131222/14895424023*c_0101_6^12 - 2552661617060/44686272069*c_0101_6^11 + 128617312226/4965141341*c_0101_6^10 - 10055870131013/44686272069*c_0101_6^9 + 265227329972/44686272069*c_0101_6^8 - 14101363535657/44686272069*c_0101_6^7 - 236402705680/44686272069*c_0101_6^6 - 5176946571872/44686272069*c_0101_6^5 + 1075466415185/14895424023*c_0101_6^4 + 3905426539853/44686272069*c_0101_6^3 - 421668893323/14895424023*c_0101_6^2 - 357701418484/44686272069*c_0101_6 + 43562276252/14895424023, c_0101_5 - 236718598942/44686272069*c_0101_6^14 - 143053569593/44686272069*c_0101_6^13 - 3162278190124/44686272069*c_0101_6^12 + 8507855277295/44686272069*c_0101_6^11 - 4306731011297/44686272069*c_0101_6^10 + 32881861745164/44686272069*c_0101_6^9 - 1132530134624/14895424023*c_0101_6^8 + 15213548807188/14895424023*c_0101_6^7 - 391257711788/4965141341*c_0101_6^6 + 5479346394553/14895424023*c_0101_6^5 - 13261371370247/44686272069*c_0101_6^4 - 11969530879762/44686272069*c_0101_6^3 + 4200801360446/44686272069*c_0101_6^2 + 1368111672665/44686272069*c_0101_6 - 359939246899/44686272069, c_0101_6^15 + 13*c_0101_6^13 - 44*c_0101_6^12 + 40*c_0101_6^11 - 150*c_0101_6^10 + 98*c_0101_6^9 - 202*c_0101_6^8 + 130*c_0101_6^7 - 79*c_0101_6^6 + 96*c_0101_6^5 + 17*c_0101_6^4 - 49*c_0101_6^3 + 6*c_0101_6^2 + 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB