Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 3549580972] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2957 geometric_solution 6.14397555 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 -1 0 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.175734643988 0.996620002164 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -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 -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.213132288387 1.291876589925 3 0 4 5 0132 0132 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 1 -1 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.213132288387 1.291876589925 2 1 6 6 0132 0132 0132 3201 0 0 0 0 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 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.277119327191 0.505401844345 4 4 1 2 1302 2031 0132 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 -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.589604130242 0.783629229882 2 5 5 1 3201 3201 2310 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227454233568 0.736931739391 6 3 6 3 2310 2310 3201 0132 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 1 0 -1 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.671120689276 1.133371771113 ==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_6']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : 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_4, c_0011_5, c_0011_6, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 3*c_0101_2 - 5, c_0011_0 - 1, c_0011_4 - 1, c_0011_5 - c_0101_2, c_0011_6 + c_0101_2, c_0101_1 - c_0101_2, c_0101_2^2 - c_0101_2 - 1, c_0101_3 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0011_6, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 6021774056827305130387430110175450560/58625040098604374415396068283\ 1*c_0101_3^13 - 4228978126366976129718352656487076939/5862504009860\ 43744153960682831*c_0101_3^12 + 72413615292714405960045913570703136\ 646/586250400986043744153960682831*c_0101_3^11 - 15316536425770942977352675528569481995/5862504009860437441539606828\ 31*c_0101_3^10 - 109320014541032664079265623443951620241/5862504009\ 86043744153960682831*c_0101_3^9 - 914800316453397918312814092995302\ 53892/586250400986043744153960682831*c_0101_3^8 + 120099893662104916497037766829406943500/586250400986043744153960682\ 831*c_0101_3^7 + 99184128739926680331690826053956253971/58625040098\ 6043744153960682831*c_0101_3^6 - 5692012128812796226961413410984151\ 2918/586250400986043744153960682831*c_0101_3^5 + 19048079272024637124866941799930872718/5862504009860437441539606828\ 31*c_0101_3^4 - 12850213715058882115567693781475887632/586250400986\ 043744153960682831*c_0101_3^3 + 47059009375148469452118038421706772\ 23/586250400986043744153960682831*c_0101_3^2 - 737946390540638573043677405352897976/586250400986043744153960682831\ *c_0101_3 + 41975120976510413249171584268146549/5862504009860437441\ 53960682831, c_0011_0 - 1, c_0011_4 + 6722002093967122854327698020304819/5862504009860437441539606\ 82831*c_0101_3^13 + 4470560172363585658723892368011969/586250400986\ 043744153960682831*c_0101_3^12 - 8105916929456559874875439179648179\ 2/586250400986043744153960682831*c_0101_3^11 + 20062288293233048637295112744550095/586250400986043744153960682831*\ c_0101_3^10 + 121982056256250482236678560717258877/5862504009860437\ 44153960682831*c_0101_3^9 + 97557404781813354643052606587138085/586\ 250400986043744153960682831*c_0101_3^8 - 138767965896348776856012084699107104/586250400986043744153960682831\ *c_0101_3^7 - 106643607701375782108170586148079024/5862504009860437\ 44153960682831*c_0101_3^6 + 68480083899985805246017458015215203/586\ 250400986043744153960682831*c_0101_3^5 - 22660758796461170592966002094913815/586250400986043744153960682831*\ c_0101_3^4 + 14844085645474554679473866179803481/586250400986043744\ 153960682831*c_0101_3^3 - 5686936453057615766908151536632772/586250\ 400986043744153960682831*c_0101_3^2 + 931686277053904273239112007547838/586250400986043744153960682831*c_\ 0101_3 - 55136104575539563691492352291835/5862504009860437441539606\ 82831, c_0011_5 + 1134368814698948123116615301647048/5862504009860437441539606\ 82831*c_0101_3^13 + 689658881199714397140985659772566/5862504009860\ 43744153960682831*c_0101_3^12 - 13727407119219276131610853670436107\ /586250400986043744153960682831*c_0101_3^11 + 4163496421298069273188314467771578/586250400986043744153960682831*c\ _0101_3^10 + 20455229014230342588737648689070358/586250400986043744\ 153960682831*c_0101_3^9 + 15268615070810824614845842848644562/58625\ 0400986043744153960682831*c_0101_3^8 - 24454909188938916543631138015339987/586250400986043744153960682831*\ c_0101_3^7 - 16729935067742001225182884140292058/586250400986043744\ 153960682831*c_0101_3^6 + 12701879740827007515910292483443046/58625\ 0400986043744153960682831*c_0101_3^5 - 4401164644203447878635119278898818/586250400986043744153960682831*c\ _0101_3^4 + 2661302304768211301974501826874172/58625040098604374415\ 3960682831*c_0101_3^3 - 1088594099401778635774567409240780/58625040\ 0986043744153960682831*c_0101_3^2 + 199895812672110674615882693847668/586250400986043744153960682831*c_\ 0101_3 - 13598380432076369524730973720951/5862504009860437441539606\ 82831, c_0011_6 - 826612169357355178029088974/168668699508694306397081*c_0101_\ 3^13 - 563905608403454398431852500/168668699508694306397081*c_0101_\ 3^12 + 9952862936291077196988801054/168668699508694306397081*c_0101\ _3^11 - 2301806693799898252532640823/168668699508694306397081*c_010\ 1_3^10 - 14975824248997712981993753977/168668699508694306397081*c_0\ 101_3^9 - 12250897145826016380801025192/168668699508694306397081*c_\ 0101_3^8 + 16756661944232090689667248601/168668699508694306397081*c\ _0101_3^7 + 13294076068571464506187643033/168668699508694306397081*\ c_0101_3^6 - 8111935883957854344165885876/168668699508694306397081*\ c_0101_3^5 + 2757911489164047419742297056/168668699508694306397081*\ c_0101_3^4 - 1801915652942890805876140964/168668699508694306397081*\ c_0101_3^3 + 679047100184581253125976263/168668699508694306397081*c\ _0101_3^2 - 111811770588780319196366489/168668699508694306397081*c_\ 0101_3 + 6771073441791928252206343/168668699508694306397081, c_0101_1 - 4965265772465965062687288360479128/5862504009860437441539606\ 82831*c_0101_3^13 - 3231583644440203779615809006483770/586250400986\ 043744153960682831*c_0101_3^12 + 5993426352714411967724947078252653\ 5/586250400986043744153960682831*c_0101_3^11 - 15660936492901403867371384641841058/586250400986043744153960682831*\ c_0101_3^10 - 90038256078832639069891836187859559/58625040098604374\ 4153960682831*c_0101_3^9 - 70766125924844040858404719441410833/5862\ 50400986043744153960682831*c_0101_3^8 + 103752758131865272918826795702159887/586250400986043744153960682831\ *c_0101_3^7 + 77527791841634447224176443701005992/58625040098604374\ 4153960682831*c_0101_3^6 - 51925825776141921505701714565702761/5862\ 50400986043744153960682831*c_0101_3^5 + 17227072692211792990639394559219271/586250400986043744153960682831*\ c_0101_3^4 - 11112732530326288455032880610020512/586250400986043744\ 153960682831*c_0101_3^3 + 4332461600269682225626608051878484/586250\ 400986043744153960682831*c_0101_3^2 - 725335995731500577481632135004148/586250400986043744153960682831*c_\ 0101_3 + 43616705614079150650814317776941/5862504009860437441539606\ 82831, c_0101_2 + 589493747138007449051226510/168668699508694306397081*c_0101_\ 3^13 + 361062837590342391842762131/168668699508694306397081*c_0101_\ 3^12 - 7135455264741063823999018788/168668699508694306397081*c_0101\ _3^11 + 2127316166337268313143878410/168668699508694306397081*c_010\ 1_3^10 + 10678950738310774475743948746/168668699508694306397081*c_0\ 101_3^9 + 7992977033979956367075138038/168668699508694306397081*c_0\ 101_3^8 - 12732159259352678757777636964/168668699508694306397081*c_\ 0101_3^7 - 8831997618544312635656957436/168668699508694306397081*c_\ 0101_3^6 + 6595114429525682119471346142/168668699508694306397081*c_\ 0101_3^5 - 2180007088327987068523028587/168668699508694306397081*c_\ 0101_3^4 + 1374475716041306760107376832/168668699508694306397081*c_\ 0101_3^3 - 552719439018380104015155073/168668699508694306397081*c_0\ 101_3^2 + 97377247613502121135084060/168668699508694306397081*c_010\ 1_3 - 6355546075045243341046362/168668699508694306397081, c_0101_3^14 + 238/533*c_0101_3^13 - 6504/533*c_0101_3^12 + 2996/533*c_0101_3^11 + 9315/533*c_0101_3^10 + 5623/533*c_0101_3^9 - 12679/533*c_0101_3^8 - 6038/533*c_0101_3^7 + 7263/533*c_0101_3^6 - 2998/533*c_0101_3^5 + 1576/533*c_0101_3^4 - 710/533*c_0101_3^3 + 174/533*c_0101_3^2 - 21/533*c_0101_3 + 1/533 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB