Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 391547669] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s414 geometric_solution 4.67748028 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.573455622398 0.214832263693 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -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 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.246979366986 0.428338205843 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481633792796 0.528724213242 2 5 4 4 0132 0132 3201 0321 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 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.510210897036 1.105485220134 3 3 2 5 2310 0321 0132 1023 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510210897036 1.105485220134 5 3 5 4 2310 0132 3201 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494979349080 0.482373643528 ==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' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : 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_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_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_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), '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_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_0101_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0011_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 231418005859158858823/248966904606810675*c_0101_5^19 - 329245893936881070169/248966904606810675*c_0101_5^18 + 6437562246221039970652/248966904606810675*c_0101_5^17 - 465673170657103870382/49793380921362135*c_0101_5^16 - 13738175400588589961114/82988968202270225*c_0101_5^15 + 3406644026913556912334/248966904606810675*c_0101_5^14 + 9147844412398229124452/16597793640454045*c_0101_5^13 + 12870376312612900900093/49793380921362135*c_0101_5^12 - 215841053820813997457087/248966904606810675*c_0101_5^11 - 163071581384892410087576/248966904606810675*c_0101_5^10 + 157958536956567021061841/248966904606810675*c_0101_5^9 + 9539049697738086132481/16597793640454045*c_0101_5^8 - 82872460840055538980077/248966904606810675*c_0101_5^7 - 81125781952056640818761/248966904606810675*c_0101_5^6 + 33721599038518417142824/248966904606810675*c_0101_5^5 + 33890668121820477912062/248966904606810675*c_0101_5^4 - 1057190116360940105582/49793380921362135*c_0101_5^3 - 6629326979127707711951/248966904606810675*c_0101_5^2 + 88247845204770203656/248966904606810675*c_0101_5 + 403174194151763552302/248966904606810675, c_0011_0 - 1, c_0011_1 - 135932014224232431/16597793640454045*c_0101_5^19 - 160885701831555097/16597793640454045*c_0101_5^18 + 3811175230635150333/16597793640454045*c_0101_5^17 - 457282355483609711/3319558728090809*c_0101_5^16 - 23416552464856281099/16597793640454045*c_0101_5^15 + 7373201109894455992/16597793640454045*c_0101_5^14 + 77406736420281718621/16597793640454045*c_0101_5^13 + 20250163487113802226/16597793640454045*c_0101_5^12 - 126922148945209223963/16597793640454045*c_0101_5^11 - 65746339855496638192/16597793640454045*c_0101_5^10 + 100205511377621796764/16597793640454045*c_0101_5^9 + 11702103850122721659/3319558728090809*c_0101_5^8 - 55325766294716790549/16597793640454045*c_0101_5^7 - 32762807702983880163/16597793640454045*c_0101_5^6 + 23372443840329273939/16597793640454045*c_0101_5^5 + 13379603416517987502/16597793640454045*c_0101_5^4 - 4423380186170102436/16597793640454045*c_0101_5^3 - 2460035039739164503/16597793640454045*c_0101_5^2 + 211902569558042188/16597793640454045*c_0101_5 + 126648887109997043/16597793640454045, c_0011_4 - 1443813357403210689/82988968202270225*c_0101_5^19 - 1982702225180399857/82988968202270225*c_0101_5^18 + 40262429973587055326/82988968202270225*c_0101_5^17 - 3303892401545061511/16597793640454045*c_0101_5^16 - 256326030657819005556/82988968202270225*c_0101_5^15 + 33972495359344394902/82988968202270225*c_0101_5^14 + 34171915325363319156/3319558728090809*c_0101_5^13 + 71846799677527758266/16597793640454045*c_0101_5^12 - 1363552676281330727206/82988968202270225*c_0101_5^11 - 950275547375163582393/82988968202270225*c_0101_5^10 + 1029595898740450985133/82988968202270225*c_0101_5^9 + 168283245815842197109/16597793640454045*c_0101_5^8 - 553576305172138194461/82988968202270225*c_0101_5^7 - 477246879010565531058/82988968202270225*c_0101_5^6 + 229848548833851970517/82988968202270225*c_0101_5^5 + 199128300787554736296/82988968202270225*c_0101_5^4 - 8123918285596868833/16597793640454045*c_0101_5^3 - 39008545046875566253/82988968202270225*c_0101_5^2 + 1607124056831613793/82988968202270225*c_0101_5 + 2339779731725163601/82988968202270225, c_0101_0 - 5881777896646885817/82988968202270225*c_0101_5^19 - 8619371428140112861/82988968202270225*c_0101_5^18 + 163430292881658855418/82988968202270225*c_0101_5^17 - 10409684192023935203/16597793640454045*c_0101_5^16 - 1054827878473244733968/82988968202270225*c_0101_5^15 + 46315967939403163721/82988968202270225*c_0101_5^14 + 703750607020042708062/16597793640454045*c_0101_5^13 + 70644797995174011116/3319558728090809*c_0101_5^12 - 5505468279553530183733/82988968202270225*c_0101_5^11 - 4374091243595030980154/82988968202270225*c_0101_5^10 + 3992123083091744906894/82988968202270225*c_0101_5^9 + 767467071488125534512/16597793640454045*c_0101_5^8 - 2082690611480698656833/82988968202270225*c_0101_5^7 - 2178927906655484551234/82988968202270225*c_0101_5^6 + 845015480143344327361/82988968202270225*c_0101_5^5 + 912064606951341907543/82988968202270225*c_0101_5^4 - 26075861825020584176/16597793640454045*c_0101_5^3 - 179390509560196403269/82988968202270225*c_0101_5^2 + 1851967675043858364/82988968202270225*c_0101_5 + 11032573892490779443/82988968202270225, c_0101_3 + 1837365163831407733/82988968202270225*c_0101_5^19 + 2817376145360265219/82988968202270225*c_0101_5^18 - 50916018926364257462/82988968202270225*c_0101_5^17 + 2548067497439039487/16597793640454045*c_0101_5^16 + 331917954257931783032/82988968202270225*c_0101_5^15 + 7015285633588961591/82988968202270225*c_0101_5^14 - 221630512485736439857/16597793640454045*c_0101_5^13 - 124592879507103544904/16597793640454045*c_0101_5^12 + 1708854613892659931672/82988968202270225*c_0101_5^11 + 1486988120963427743646/82988968202270225*c_0101_5^10 - 1199563962236750935596/82988968202270225*c_0101_5^9 - 260199561542092316703/16597793640454045*c_0101_5^8 + 608186196670609177167/82988968202270225*c_0101_5^7 + 741277888987839850386/82988968202270225*c_0101_5^6 - 240831012164220058759/82988968202270225*c_0101_5^5 - 312277147987810167092/82988968202270225*c_0101_5^4 + 6371147161783805743/16597793640454045*c_0101_5^3 + 62583685817520101401/82988968202270225*c_0101_5^2 + 603950799194783744/82988968202270225*c_0101_5 - 4048671971052528562/82988968202270225, c_0101_5^20 + 2*c_0101_5^19 - 27*c_0101_5^18 - 6*c_0101_5^17 + 184*c_0101_5^16 + 88*c_0101_5^15 - 602*c_0101_5^14 - 620*c_0101_5^13 + 774*c_0101_5^12 + 1243*c_0101_5^11 - 279*c_0101_5^10 - 1013*c_0101_5^9 + 4*c_0101_5^8 + 558*c_0101_5^7 + 55*c_0101_5^6 - 231*c_0101_5^5 - 61*c_0101_5^4 + 42*c_0101_5^3 + 16*c_0101_5^2 - 2*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB