Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 374835955] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2019 geometric_solution 5.56371594 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0.227157265615 0.212601367956 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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 -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.426171069781 1.983699087976 1 4 3 5 0132 0132 0213 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 1 0 -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.361613776378 0.565145253919 5 2 4 1 3201 0213 3201 0132 0 0 0 0 0 1 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 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.361613776378 0.565145253919 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.196688172495 1.255449588450 6 6 2 3 0132 2310 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 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.260704012978 0.967061245309 5 6 6 5 0132 3201 2310 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 0 1 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.793188470123 0.607674914370 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 217240151535389398700940418/6263301549221216419331855*c_0101_4^25 - 6977573423610189183849914404/6263301549221216419331855*c_0101_4^23 + 43409029697538290770856356147/6263301549221216419331855*c_0101_4^21 + 20294230123729490486359789054/6263301549221216419331855*c_0101_4^\ 19 - 290359615753228687858601850326/6263301549221216419331855*c_010\ 1_4^17 - 240980006328484149041136622463/6263301549221216419331855*c\ _0101_4^15 + 126684601931070656202026629861/12526603098442432838663\ 71*c_0101_4^13 + 985352032613495431657793280633/6263301549221216419\ 331855*c_0101_4^11 + 2362916038992964415490820027/12526603098442432\ 83866371*c_0101_4^9 - 149335909421418316715331436041/12526603098442\ 43283866371*c_0101_4^7 - 292229767790086033985816185348/62633015492\ 21216419331855*c_0101_4^5 - 44850737169384297582591786352/626330154\ 9221216419331855*c_0101_4^3 + 427400622209764009937745507/626330154\ 9221216419331855*c_0101_4, c_0011_0 - 1, c_0011_1 - 83905812832814839363962/6263301549221216419331855*c_0101_4^2\ 4 + 2691410062372326608854956/6263301549221216419331855*c_0101_4^22 - 16658647538018630076448473/6263301549221216419331855*c_0101_4^20 - 8311134036640022501864026/6263301549221216419331855*c_0101_4^18 + 110185879009610621237311229/6263301549221216419331855*c_0101_4^16 + 98197575016013963335944032/6263301549221216419331855*c_0101_4^14 - 46203906146844165479703439/1252660309844243283866371*c_0101_4^12 - 389119500095696251581897057/6263301549221216419331855*c_0101_4^10 - 8714384900955343126210493/1252660309844243283866371*c_0101_4^8 + 54045996907893609085414133/1252660309844243283866371*c_0101_4^6 + 139393781144202751945172427/6263301549221216419331855*c_0101_4^4 + 34149705180611927346253978/6263301549221216419331855*c_0101_4^2 - 2319170274974217661764048/6263301549221216419331855, c_0011_3 + 2116135687765187547290269/6263301549221216419331855*c_0101_4\ ^25 - 67864172591092528564321262/6263301549221216419331855*c_0101_4\ ^23 + 419508689509256794420952971/6263301549221216419331855*c_0101_\ 4^21 + 218115845667113953583208002/6263301549221216419331855*c_0101\ _4^19 - 2816000635548149028787746333/6263301549221216419331855*c_01\ 01_4^17 - 2485690813873063537378151884/6263301549221216419331855*c_\ 0101_4^15 + 1207157219945982192583124484/1252660309844243283866371*\ c_0101_4^13 + 9890426390337048505607462809/626330154922121641933185\ 5*c_0101_4^11 + 126373977770138987988198093/12526603098442432838663\ 71*c_0101_4^9 - 1442691596933598821076324876/1252660309844243283866\ 371*c_0101_4^7 - 3220320879034916929395575164/626330154922121641933\ 1855*c_0101_4^5 - 620363354552425202525423486/626330154922121641933\ 1855*c_0101_4^3 - 20568987370334994400009839/6263301549221216419331\ 855*c_0101_4, c_0011_5 + 1814874045357488519289937/6263301549221216419331855*c_0101_4\ ^25 - 58074616631575256174408221/6263301549221216419331855*c_0101_4\ ^23 + 355651644694657533774238673/6263301549221216419331855*c_0101_\ 4^21 + 213259306620650906426423256/6263301549221216419331855*c_0101\ _4^19 - 2406784384694074188170222449/6263301549221216419331855*c_01\ 01_4^17 - 2305154406870845560914913177/6263301549221216419331855*c_\ 0101_4^15 + 1012087926255791799179884285/1252660309844243283866371*\ c_0101_4^13 + 8876368211362524227227442347/626330154922121641933185\ 5*c_0101_4^11 + 212325194500567896695895558/12526603098442432838663\ 71*c_0101_4^9 - 1252424220801177492913346806/1252660309844243283866\ 371*c_0101_4^7 - 3185776993708986895643351902/626330154922121641933\ 1855*c_0101_4^5 - 638125299522069726692310533/626330154922121641933\ 1855*c_0101_4^3 - 30054490877911057678470852/6263301549221216419331\ 855*c_0101_4, c_0101_1 - 170443130149138929659937/6263301549221216419331855*c_0101_4^\ 24 + 5457892804103394843748571/6263301549221216419331855*c_0101_4^2\ 2 - 33532446960028953871048723/6263301549221216419331855*c_0101_4^2\ 0 - 18993649052816830353925036/6263301549221216419331855*c_0101_4^1\ 8 + 224664476691501328637383534/6263301549221216419331855*c_0101_4^\ 16 + 211091797874106561217957527/6263301549221216419331855*c_0101_4\ ^14 - 93667347733362873130177718/1252660309844243283866371*c_0101_4\ ^12 - 816928237781306741780398197/6263301549221216419331855*c_0101_\ 4^10 - 21815162504572282527784411/1252660309844243283866371*c_0101_\ 4^8 + 112715614820766983005414650/1252660309844243283866371*c_0101_\ 4^6 + 295135613502849728606891387/6263301549221216419331855*c_0101_\ 4^4 + 75221736980923470164903903/6263301549221216419331855*c_0101_4\ ^2 + 3552420701249509178230212/6263301549221216419331855, c_0101_3 + 152477066181215253864159/6263301549221216419331855*c_0101_4^\ 24 - 4917311271762988845576442/6263301549221216419331855*c_0101_4^2\ 2 + 31113546868834996033528291/6263301549221216419331855*c_0101_4^2\ 0 + 10038090561160944649523927/6263301549221216419331855*c_0101_4^1\ 8 - 204068878892956645583889538/6263301549221216419331855*c_0101_4^\ 16 - 142871068362928821529873534/6263301549221216419331855*c_0101_4\ ^14 + 91315207063041093757191445/1252660309844243283866371*c_0101_4\ ^12 + 632426416483525872294159944/6263301549221216419331855*c_0101_\ 4^10 - 11533776363287517937040242/1252660309844243283866371*c_0101_\ 4^8 - 101207680454875572229186066/1252660309844243283866371*c_0101_\ 4^6 - 150629230528898192283478329/6263301549221216419331855*c_0101_\ 4^4 - 24168625952979145053678526/6263301549221216419331855*c_0101_4\ ^2 + 2185366912644535716274811/6263301549221216419331855, c_0101_4^26 - 32*c_0101_4^24 + 196*c_0101_4^22 + 117*c_0101_4^20 - 1324*c_0101_4^18 - 1268*c_0101_4^16 + 2774*c_0101_4^14 + 4876*c_0101_4^12 + 616*c_0101_4^10 - 3400*c_0101_4^8 - 1756*c_0101_4^6 - 390*c_0101_4^4 - 30*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB