Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 4139215380] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0530 geometric_solution 4.54444158 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 0 0 0 0 0 0 0 0 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.369948728762 0.220769872496 0 2 2 0 3201 0132 1023 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 -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 1.062543339889 0.190336291219 3 1 1 4 0132 0132 1023 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 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.912936498410 0.272320333416 2 4 5 4 0132 0321 0132 2031 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 -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.745518498496 0.567165772606 5 3 2 3 0132 1302 0132 0321 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 1 -1 0 0 0 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745518498496 0.567165772606 4 6 6 3 0132 0132 1023 0132 0 0 0 0 0 0 1 -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 1 -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.427642638097 0.192330653868 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 -1 1 -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 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.413956390483 1.056572528817 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), '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_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], '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_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 2506672066/799160117*c_0101_6^11 + 8692453711/799160117*c_0101_6^10 - 59679838/114165731*c_0101_6^9 - 445757155/114165731*c_0101_6^8 - 20561848982/799160117*c_0101_6^7 - 77311622254/799160117*c_0101_6^6 + 130008036007/799160117*c_0101_6^5 - 16503133507/114165731*c_0101_6^4 + 117272514263/799160117*c_0101_6^3 - 85476666731/799160117*c_0101_6^2 + 23269488527/799160117*c_0101_6 + 5074624242/799160117, c_0011_0 - 1, c_0011_1 + 18789518/114165731*c_0101_6^11 + 77321348/114165731*c_0101_6^10 + 41036287/114165731*c_0101_6^9 - 16971937/114165731*c_0101_6^8 - 164509561/114165731*c_0101_6^7 - 685288589/114165731*c_0101_6^6 + 573844595/114165731*c_0101_6^5 - 295452358/114165731*c_0101_6^4 + 393825996/114165731*c_0101_6^3 - 96377490/114165731*c_0101_6^2 - 172312130/114165731*c_0101_6 + 38505993/114165731, c_0011_4 + 18387735/114165731*c_0101_6^11 + 84631662/114165731*c_0101_6^10 + 86327135/114165731*c_0101_6^9 + 47583995/114165731*c_0101_6^8 - 118438048/114165731*c_0101_6^7 - 721772953/114165731*c_0101_6^6 + 180586497/114165731*c_0101_6^5 - 392760559/114165731*c_0101_6^4 + 286257134/114165731*c_0101_6^3 - 7304360/114165731*c_0101_6^2 - 179982858/114165731*c_0101_6 + 42485181/114165731, c_0101_0 - 13652733/114165731*c_0101_6^11 - 53837402/114165731*c_0101_6^10 - 20860722/114165731*c_0101_6^9 + 14155622/114165731*c_0101_6^8 + 116201735/114165731*c_0101_6^7 + 482599284/114165731*c_0101_6^6 - 490665590/114165731*c_0101_6^5 + 348073254/114165731*c_0101_6^4 - 324907446/114165731*c_0101_6^3 + 50213754/114165731*c_0101_6^2 + 90956526/114165731*c_0101_6 - 122877983/114165731, c_0101_2 - 4241512/114165731*c_0101_6^11 - 13114697/114165731*c_0101_6^10 + 6892629/114165731*c_0101_6^9 + 5716802/114165731*c_0101_6^8 + 29507791/114165731*c_0101_6^7 + 134981359/114165731*c_0101_6^6 - 241289179/114165731*c_0101_6^5 + 277819458/114165731*c_0101_6^4 - 184945960/114165731*c_0101_6^3 + 5343343/114165731*c_0101_6^2 - 84115029/114165731*c_0101_6 - 53164120/114165731, c_0101_3 + 9923125/114165731*c_0101_6^11 + 42386254/114165731*c_0101_6^10 + 28056492/114165731*c_0101_6^9 - 13810701/114165731*c_0101_6^8 - 126283838/114165731*c_0101_6^7 - 408862546/114165731*c_0101_6^6 + 243490054/114165731*c_0101_6^5 - 62501089/114165731*c_0101_6^4 + 475419349/114165731*c_0101_6^3 - 97875644/114165731*c_0101_6^2 + 112157916/114165731*c_0101_6 - 32552372/114165731, c_0101_6^12 + 4*c_0101_6^11 + 2*c_0101_6^10 - 8*c_0101_6^8 - 35*c_0101_6^7 + 33*c_0101_6^6 - 30*c_0101_6^5 + 31*c_0101_6^4 - 18*c_0101_6^3 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB