Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 4054871354] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1593 geometric_solution 5.36178369 oriented_manifold CS_known -0.0000000000000002 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.655091065831 0.187853087899 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.416268272614 0.575068240769 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.202173978699 0.470999986548 2 5 4 6 0132 0132 1302 0132 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 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.277514443211 0.652642383938 3 6 2 5 2031 2310 0132 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 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.277514443211 0.652642383938 4 3 5 5 3201 0132 1230 3012 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 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 1.448233540368 1.297612381626 6 6 3 4 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533714197263 0.895728776546 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], '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_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_4'], 'c_0011_6' : d['c_0011_6'], '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_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), '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' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), '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_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1024886155489914736574/17605805955073256675*c_0101_5^25 + 39227662661638792894809/17605805955073256675*c_0101_5^23 - 232165810990153116329061/17605805955073256675*c_0101_5^21 + 316922673052142847977186/17605805955073256675*c_0101_5^19 + 118291147378306058458967/17605805955073256675*c_0101_5^17 + 258701675168903199866416/3521161191014651335*c_0101_5^15 - 5027741924423505360562308/17605805955073256675*c_0101_5^13 + 4446011502390573002021907/17605805955073256675*c_0101_5^11 - 39890822132448575422797/3521161191014651335*c_0101_5^9 - 846684745867322254345511/17605805955073256675*c_0101_5^7 + 35193052652805997487636/17605805955073256675*c_0101_5^5 + 42574194385728194526718/17605805955073256675*c_0101_5^3 + 4744620193053403089258/17605805955073256675*c_0101_5, c_0011_0 - 1, c_0011_1 + 4672751451984415004/17605805955073256675*c_0101_5^24 - 179626371907839185389/17605805955073256675*c_0101_5^22 + 1087311423885199613131/17605805955073256675*c_0101_5^20 - 1586805382233386477031/17605805955073256675*c_0101_5^18 - 476838538090242593732/17605805955073256675*c_0101_5^16 - 1134181256291594196941/3521161191014651335*c_0101_5^14 + 24104769389983497506893/17605805955073256675*c_0101_5^12 - 22749448391209116881997/17605805955073256675*c_0101_5^10 + 186176446368123023472/3521161191014651335*c_0101_5^8 + 4986716388907882449031/17605805955073256675*c_0101_5^6 - 242490313988229012881/17605805955073256675*c_0101_5^4 - 231545233419111250653/17605805955073256675*c_0101_5^2 - 12283540442057142218/17605805955073256675, c_0011_4 - 9094438264867896044/17605805955073256675*c_0101_5^24 + 347572573286092603329/17605805955073256675*c_0101_5^22 - 2041551706142348381741/17605805955073256675*c_0101_5^20 + 2741468545373135571366/17605805955073256675*c_0101_5^18 + 963065330797032258877/17605805955073256675*c_0101_5^16 + 2348660031583350920851/3521161191014651335*c_0101_5^14 - 43690216473060645920473/17605805955073256675*c_0101_5^12 + 38699603269260902440692/17605805955073256675*c_0101_5^10 - 850581144585043651307/3521161191014651335*c_0101_5^8 - 5550500852470707554241/17605805955073256675*c_0101_5^6 + 665554896700447572891/17605805955073256675*c_0101_5^4 + 170744128858359244858/17605805955073256675*c_0101_5^2 + 22740950313074504623/17605805955073256675, c_0011_6 + 7191258027557510178/17605805955073256675*c_0101_5^24 - 274812980207636206148/17605805955073256675*c_0101_5^22 + 1613208694425226848467/17605805955073256675*c_0101_5^20 - 2154704402593301554817/17605805955073256675*c_0101_5^18 - 806788812393853939474/17605805955073256675*c_0101_5^16 - 1854264849278643970167/3521161191014651335*c_0101_5^14 + 34574185679630945665776/17605805955073256675*c_0101_5^12 - 30166830949886087926679/17605805955073256675*c_0101_5^10 + 521436651176407438789/3521161191014651335*c_0101_5^8 + 4431634057346613532992/17605805955073256675*c_0101_5^6 - 276342791926110089042/17605805955073256675*c_0101_5^4 - 151696998547912088946/17605805955073256675*c_0101_5^2 - 24292199711272075176/17605805955073256675, c_0101_0 - 31984845677534881036/17605805955073256675*c_0101_5^25 + 1221921502230733217526/17605805955073256675*c_0101_5^23 - 7157534583283079403429/17605805955073256675*c_0101_5^21 + 9376395470652994357104/17605805955073256675*c_0101_5^19 + 4371873098629990281463/17605805955073256675*c_0101_5^17 + 8123675043096295637119/3521161191014651335*c_0101_5^15 - 153907257076239172351712/17605805955073256675*c_0101_5^13 + 127803108559530595750973/17605805955073256675*c_0101_5^11 + 662843459055924859962/3521161191014651335*c_0101_5^9 - 27526768385073201491504/17605805955073256675*c_0101_5^7 - 159145067501597686446/17605805955073256675*c_0101_5^5 + 1550582269600166433077/17605805955073256675*c_0101_5^3 + 160286043957502375487/17605805955073256675*c_0101_5, c_0101_2 - 35294940846397134237/17605805955073256675*c_0101_5^25 + 1352551850864513399967/17605805955073256675*c_0101_5^23 - 8057203772885249706568/17605805955073256675*c_0101_5^21 + 11261690282355631233468/17605805955073256675*c_0101_5^19 + 3676414796287175115221/17605805955073256675*c_0101_5^17 + 8864353501115200187658/3521161191014651335*c_0101_5^15 - 175381331231364064421654/17605805955073256675*c_0101_5^13 + 160173237795041520337991/17605805955073256675*c_0101_5^11 - 2430337812802385631311/3521161191014651335*c_0101_5^9 - 28668030047988892549018/17605805955073256675*c_0101_5^7 + 1808830633923141007618/17605805955073256675*c_0101_5^5 + 1315198991826201688809/17605805955073256675*c_0101_5^3 + 120705230609863432154/17605805955073256675*c_0101_5, c_0101_5^26 - 38*c_0101_5^24 + 216*c_0101_5^22 - 247*c_0101_5^20 - 200*c_0101_5^18 - 1294*c_0101_5^16 + 4557*c_0101_5^14 - 2992*c_0101_5^12 - 989*c_0101_5^10 + 884*c_0101_5^8 + 178*c_0101_5^6 - 49*c_0101_5^4 - 13*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB