Magma V2.19-8 Tue Aug 20 2013 23:39:11 on localhost [Seed = 3347162025] Type ? for help. Type -D to quit. Loading file "L11a365__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a365 geometric_solution 8.79071278 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 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 0 0 0 1 0 -1 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.206799853355 1.360779096302 0 5 2 4 0132 0132 1023 1230 0 0 1 1 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 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.402211800879 0.380865250419 6 0 1 7 0132 0132 1023 0132 0 0 1 1 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 -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.536071862534 1.099817916967 4 5 4 0 1230 1230 2031 0132 0 0 1 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 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624605118753 0.811688688000 1 3 0 3 3012 3012 0132 1302 0 0 0 1 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 -1 1 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.975360752371 1.017806690691 8 1 3 7 0132 0132 3012 1023 0 0 1 1 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 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.536071862534 1.099817916967 2 9 8 7 0132 0132 3120 3120 1 0 1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.733825932780 0.512834663856 6 8 2 5 3120 1302 0132 1023 0 0 1 1 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 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.258706279138 0.837107851736 5 9 6 7 0132 1023 3120 2031 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 1 -1 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.733825932780 0.512834663856 8 6 9 9 1023 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869838458437 0.662112927397 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : d['c_0101_9'], 's_2_8' : d['1'], 's_2_9' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : d['c_0101_9'], 'c_1100_8' : negation(d['c_0101_6']), 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0110_4']), 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : d['c_0011_7'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_6'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_7, c_0101_2, c_0101_3, c_0101_5, c_0101_6, c_0101_9, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 22610025143500117874177/4797147972858154775*c_0110_4^9 - 480219219142215638329433/52768627701439702525*c_0110_4^8 + 108092387603159354552529/4797147972858154775*c_0110_4^7 + 65016382552164068054812/52768627701439702525*c_0110_4^6 - 1036982219800615163050174/52768627701439702525*c_0110_4^5 + 809339871596063925336633/52768627701439702525*c_0110_4^4 + 53333960974595459787767/2110745108057588101*c_0110_4^3 + 77714966606110626013778/4797147972858154775*c_0110_4^2 + 296511998541901958670154/52768627701439702525*c_0110_4 + 7936519506427329403758/52768627701439702525, c_0011_0 - 1, c_0011_3 - 290513497132234343/191885918914326191*c_0110_4^9 + 738470343358517562/191885918914326191*c_0110_4^8 - 1950780168866300252/191885918914326191*c_0110_4^7 + 1357872543533141904/191885918914326191*c_0110_4^6 - 257568778768405870/191885918914326191*c_0110_4^5 - 542301507190251832/191885918914326191*c_0110_4^4 - 1095086346538372944/191885918914326191*c_0110_4^3 - 647061142313169047/191885918914326191*c_0110_4^2 - 311788565692799769/191885918914326191*c_0110_4 - 177428191162192921/191885918914326191, c_0011_4 - 1, c_0011_7 + 3695639372294516834/191885918914326191*c_0110_4^9 - 7609218619022762226/191885918914326191*c_0110_4^8 + 19432285204645142711/191885918914326191*c_0110_4^7 - 3634249384348968218/191885918914326191*c_0110_4^6 - 9575520115570250520/191885918914326191*c_0110_4^5 + 9517892371196202767/191885918914326191*c_0110_4^4 + 18099877176218108611/191885918914326191*c_0110_4^3 + 13695538920226423748/191885918914326191*c_0110_4^2 + 4491838688172453128/191885918914326191*c_0110_4 + 726024525285577694/191885918914326191, c_0101_2 - 29182195827008719/191885918914326191*c_0110_4^9 - 55449567072356024/191885918914326191*c_0110_4^8 + 140580335005489665/191885918914326191*c_0110_4^7 - 739741970002249236/191885918914326191*c_0110_4^6 + 617822406493386444/191885918914326191*c_0110_4^5 - 167572237934347140/191885918914326191*c_0110_4^4 - 301056515654994011/191885918914326191*c_0110_4^3 - 536015287934196824/191885918914326191*c_0110_4^2 - 515988664322142756/191885918914326191*c_0110_4 - 156146486426238869/191885918914326191, c_0101_3 - 29182195827008719/191885918914326191*c_0110_4^9 - 55449567072356024/191885918914326191*c_0110_4^8 + 140580335005489665/191885918914326191*c_0110_4^7 - 739741970002249236/191885918914326191*c_0110_4^6 + 617822406493386444/191885918914326191*c_0110_4^5 - 167572237934347140/191885918914326191*c_0110_4^4 - 301056515654994011/191885918914326191*c_0110_4^3 - 536015287934196824/191885918914326191*c_0110_4^2 - 324102745407816565/191885918914326191*c_0110_4 + 35739432488087322/191885918914326191, c_0101_5 - 29182195827008719/191885918914326191*c_0110_4^9 - 55449567072356024/191885918914326191*c_0110_4^8 + 140580335005489665/191885918914326191*c_0110_4^7 - 739741970002249236/191885918914326191*c_0110_4^6 + 617822406493386444/191885918914326191*c_0110_4^5 - 167572237934347140/191885918914326191*c_0110_4^4 - 301056515654994011/191885918914326191*c_0110_4^3 - 536015287934196824/191885918914326191*c_0110_4^2 - 515988664322142756/191885918914326191*c_0110_4 - 156146486426238869/191885918914326191, c_0101_6 + 591476955749079279/191885918914326191*c_0110_4^9 - 1390264662493919297/191885918914326191*c_0110_4^8 + 3683396682816091812/191885918914326191*c_0110_4^7 - 2047764272026548240/191885918914326191*c_0110_4^6 + 37965999024333122/191885918914326191*c_0110_4^5 + 1100365034788460232/191885918914326191*c_0110_4^4 + 2111953986525615433/191885918914326191*c_0110_4^3 + 2091661699863603938/191885918914326191*c_0110_4^2 + 651730795122928252/191885918914326191*c_0110_4 + 143368092403202586/191885918914326191, c_0101_9 - 4847439723755008325/191885918914326191*c_0110_4^9 + 11195601729351483150/191885918914326191*c_0110_4^8 - 28383469649320270317/191885918914326191*c_0110_4^7 + 11876525213167996410/191885918914326191*c_0110_4^6 + 9729094277272243348/191885918914326191*c_0110_4^5 - 16204113894485195603/191885918914326191*c_0110_4^4 - 18164918973493635953/191885918914326191*c_0110_4^3 - 13049827376685608724/191885918914326191*c_0110_4^2 - 4071808688348780983/191885918914326191*c_0110_4 - 815237908308961426/191885918914326191, c_0110_4^10 - 260/121*c_0110_4^9 + 666/121*c_0110_4^8 - 191/121*c_0110_4^7 - 268/121*c_0110_4^6 + 31/11*c_0110_4^5 + 526/121*c_0110_4^4 + 419/121*c_0110_4^3 + 148/121*c_0110_4^2 + 32/121*c_0110_4 + 1/121 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB