Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 3381155001] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2939 geometric_solution 6.13411986 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132288032813 0.608924862096 0 2 3 5 0132 2310 1023 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132288032813 0.608924862096 2 0 2 1 2031 0132 1302 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 1 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 1.253230187598 1.657967842540 6 6 1 0 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319031962466 0.793806228844 6 5 0 5 1230 2103 0132 1023 0 0 0 0 0 -1 0 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 -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.644206157604 1.611005239769 6 4 1 4 2103 2103 0132 1023 0 0 0 0 0 1 -1 0 1 0 0 -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 0 0 0 0 0 0 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.644206157604 1.611005239769 3 4 5 3 0132 3012 2103 3201 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.552340587421 1.053078787402 ==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_3']), 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1100_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], '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' : negation(d['c_0011_3']), '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' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0011_4'])})} 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_4, c_0101_0, c_0101_1, c_0101_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 3253636955734830799/19360727387314119040*c_1100_0^11 + 495631429471813513/9680363693657059520*c_1100_0^10 - 592693402421273409/1936072738731411904*c_1100_0^9 + 28617352469912661929/9680363693657059520*c_1100_0^8 - 200170868981124370241/19360727387314119040*c_1100_0^7 - 2801818723331554637/2420090923414264880*c_1100_0^6 + 313853207743596364179/19360727387314119040*c_1100_0^5 - 327103890229618801641/9680363693657059520*c_1100_0^4 + 168221123189713209133/4840181846828529760*c_1100_0^3 + 445277784591551854207/19360727387314119040*c_1100_0^2 + 2259608102697736472593/19360727387314119040*c_1100_0 - 804011359281711039867/4840181846828529760, c_0011_0 - 1, c_0011_3 - 531565228433/4654021006565894*c_1100_0^11 - 1176098702574/2327010503282947*c_1100_0^10 - 4873711408394/2327010503282947*c_1100_0^9 - 18331271143457/2327010503282947*c_1100_0^8 - 32499585726749/4654021006565894*c_1100_0^7 - 61527918198089/2327010503282947*c_1100_0^6 - 120489363949713/4654021006565894*c_1100_0^5 + 345365866301429/2327010503282947*c_1100_0^4 - 304038131001501/2327010503282947*c_1100_0^3 + 1646816585280443/4654021006565894*c_1100_0^2 + 3105710285295263/4654021006565894*c_1100_0 + 916533633614584/2327010503282947, c_0011_4 - 287472326714691/37232168052527152*c_1100_0^11 - 342536157860669/18616084026263576*c_1100_0^10 - 493228189420479/18616084026263576*c_1100_0^9 - 3512398083995021/18616084026263576*c_1100_0^8 + 3440180681740909/37232168052527152*c_1100_0^7 + 1001841575033989/4654021006565894*c_1100_0^6 - 3408053105902519/37232168052527152*c_1100_0^5 + 24639291549619509/18616084026263576*c_1100_0^4 + 8973957879248695/9308042013131788*c_1100_0^3 + 49180855052644461/37232168052527152*c_1100_0^2 - 118565536933437421/37232168052527152*c_1100_0 + 2541761445003691/9308042013131788, c_0101_0 + 165790723125989/37232168052527152*c_1100_0^11 + 163092983094723/18616084026263576*c_1100_0^10 + 169590222057993/18616084026263576*c_1100_0^9 + 1793615099650219/18616084026263576*c_1100_0^8 - 3955318294870955/37232168052527152*c_1100_0^7 - 708727199064755/4654021006565894*c_1100_0^6 + 2314515582366849/37232168052527152*c_1100_0^5 - 13345429350669939/18616084026263576*c_1100_0^4 - 5279680669698813/9308042013131788*c_1100_0^3 - 19715697762403323/37232168052527152*c_1100_0^2 + 91241891108890955/37232168052527152*c_1100_0 - 4544411855032221/9308042013131788, c_0101_1 - 165790723125989/37232168052527152*c_1100_0^11 - 163092983094723/18616084026263576*c_1100_0^10 - 169590222057993/18616084026263576*c_1100_0^9 - 1793615099650219/18616084026263576*c_1100_0^8 + 3955318294870955/37232168052527152*c_1100_0^7 + 708727199064755/4654021006565894*c_1100_0^6 - 2314515582366849/37232168052527152*c_1100_0^5 + 13345429350669939/18616084026263576*c_1100_0^4 + 5279680669698813/9308042013131788*c_1100_0^3 + 19715697762403323/37232168052527152*c_1100_0^2 - 91241891108890955/37232168052527152*c_1100_0 + 4544411855032221/9308042013131788, c_0101_3 - 58882802962969/37232168052527152*c_1100_0^11 - 88964149141751/18616084026263576*c_1100_0^10 - 136599209491933/18616084026263576*c_1100_0^9 - 821964787165991/18616084026263576*c_1100_0^8 - 243008332840281/37232168052527152*c_1100_0^7 + 338998287761713/4654021006565894*c_1100_0^6 - 1367893798696053/37232168052527152*c_1100_0^5 + 8477755725528063/18616084026263576*c_1100_0^4 + 4911948516256677/9308042013131788*c_1100_0^3 + 21906549448983831/37232168052527152*c_1100_0^2 - 566232193944231/37232168052527152*c_1100_0 - 6427779722022255/9308042013131788, c_1100_0^12 + 2*c_1100_0^11 + 2*c_1100_0^10 + 22*c_1100_0^9 - 23*c_1100_0^8 - 36*c_1100_0^7 + 29*c_1100_0^6 - 170*c_1100_0^5 - 76*c_1100_0^4 - 63*c_1100_0^3 + 531*c_1100_0^2 - 136*c_1100_0 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB