Magma V2.19-8 Tue Aug 20 2013 16:18:43 on localhost [Seed = 1107550001] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2882 geometric_solution 6.09476812 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 -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.740653428498 0.657434881477 2 0 0 3 0132 0132 1023 0132 0 0 0 0 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 1 0 -1 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.053326635319 0.608334285023 1 4 3 5 0132 0132 1302 0132 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 -1 0 0 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.517310625460 0.707321466816 2 6 1 4 2031 0132 0132 2310 0 0 0 0 0 0 1 -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 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.517310625460 0.707321466816 3 2 5 6 3201 0132 1302 0213 0 0 0 0 0 0 0 0 1 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 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.761260440147 0.661704027130 4 6 2 6 2031 3201 0132 2310 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 -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.556678859115 0.456421894313 5 3 5 4 3201 0132 2310 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.556678859115 0.456421894313 ==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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0110_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0110_4']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} 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_5, c_0101_0, c_0101_1, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1732755347843093311615959/30600252167000481505625*c_0110_4^19 - 12328947129458362721741203/30600252167000481505625*c_0110_4^18 - 73760895960482472123851168/30600252167000481505625*c_0110_4^17 + 36260719620686216348638668/30600252167000481505625*c_0110_4^16 + 86740169562017903608532244/6120050433400096301125*c_0110_4^15 + 410738165654170211893118777/30600252167000481505625*c_0110_4^14 - 474583238198469240219656406/30600252167000481505625*c_0110_4^13 - 1212793720734230274516356588/30600252167000481505625*c_0110_4^12 - 154787762701185377093639147/6120050433400096301125*c_0110_4^11 + 340371222011459849664886196/30600252167000481505625*c_0110_4^10 + 956328792238195610041109743/30600252167000481505625*c_0110_4^9 + 739516245619620061486501183/30600252167000481505625*c_0110_4^8 + 226848756139254899172748418/30600252167000481505625*c_0110_4^7 - 65234786754482340872229379/30600252167000481505625*c_0110_4^6 - 88785335262257758046059823/30600252167000481505625*c_0110_4^5 - 29640644817234215440216778/30600252167000481505625*c_0110_4^4 + 3472886996584959576912552/30600252167000481505625*c_0110_4^3 + 6312857105750654602022369/30600252167000481505625*c_0110_4^2 + 98895751128757701965523/6120050433400096301125*c_0110_4 - 633477201805939504548779/30600252167000481505625, c_0011_0 - 1, c_0011_3 - 63512974989790097470662/30600252167000481505625*c_0110_4^19 + 391747265113548277749454/30600252167000481505625*c_0110_4^18 + 3172799423843419593747824/30600252167000481505625*c_0110_4^17 + 915689477706669734685301/30600252167000481505625*c_0110_4^16 - 3744371187702882812378792/6120050433400096301125*c_0110_4^15 - 28327715377488827473213186/30600252167000481505625*c_0110_4^14 + 12405632728830255475957158/30600252167000481505625*c_0110_4^13 + 65093083092170833556021759/30600252167000481505625*c_0110_4^12 + 11327260597811965130644346/6120050433400096301125*c_0110_4^11 - 5760932892300817554876753/30600252167000481505625*c_0110_4^10 - 52770549336993665409070924/30600252167000481505625*c_0110_4^9 - 49304743349150257278345844/30600252167000481505625*c_0110_4^8 - 18987967781688763514030824/30600252167000481505625*c_0110_4^7 + 2911530396764573232972972/30600252167000481505625*c_0110_4^6 + 6638365148035869905803489/30600252167000481505625*c_0110_4^5 + 2683254971115246301047929/30600252167000481505625*c_0110_4^4 - 95845750886107216356136/30600252167000481505625*c_0110_4^3 - 561034237946399530954542/30600252167000481505625*c_0110_4^2 - 27863336425199657244589/6120050433400096301125*c_0110_4 + 65922260373995691311547/30600252167000481505625, c_0011_5 + 124709844182834674317177/30600252167000481505625*c_0110_4^19 - 884645913078392696567334/30600252167000481505625*c_0110_4^18 - 5327068547812217979166479/30600252167000481505625*c_0110_4^17 + 2491057608999564697215854/30600252167000481505625*c_0110_4^16 + 6244375925699294806625532/6120050433400096301125*c_0110_4^15 + 30199886680142218593126731/30600252167000481505625*c_0110_4^14 - 33219522926725715246688543/30600252167000481505625*c_0110_4^13 - 87581502748608928480571114/30600252167000481505625*c_0110_4^12 - 11538172436061866199932341/6120050433400096301125*c_0110_4^11 + 22465062206528020158833413/30600252167000481505625*c_0110_4^10 + 68266907184487660994955329/30600252167000481505625*c_0110_4^9 + 54314111303613209762254524/30600252167000481505625*c_0110_4^8 + 18286120542857443260716354/30600252167000481505625*c_0110_4^7 - 3184548819816566072925187/30600252167000481505625*c_0110_4^6 - 6003387967887802728054694/30600252167000481505625*c_0110_4^5 - 2345569293310762829427809/30600252167000481505625*c_0110_4^4 + 53113939859865093631181/30600252167000481505625*c_0110_4^3 + 423815856159057907044657/30600252167000481505625*c_0110_4^2 + 15306857685541189489669/6120050433400096301125*c_0110_4 - 27966153932389872152137/30600252167000481505625, c_0101_0 - 173586642812465697888927/30600252167000481505625*c_0110_4^19 + 1161507844823813968835834/30600252167000481505625*c_0110_4^18 + 8001950327566010414755604/30600252167000481505625*c_0110_4^17 - 1167562009509780781063729/30600252167000481505625*c_0110_4^16 - 9701450773307428319789532/6120050433400096301125*c_0110_4^15 - 56320443848357940965611981/30600252167000481505625*c_0110_4^14 + 50952047101497795282518043/30600252167000481505625*c_0110_4^13 + 154332253495248297956392739/30600252167000481505625*c_0110_4^12 + 20077511807072919460039091/6120050433400096301125*c_0110_4^11 - 50725998570993106768741663/30600252167000481505625*c_0110_4^10 - 130630083818791561277389454/30600252167000481505625*c_0110_4^9 - 91938816044906800526136149/30600252167000481505625*c_0110_4^8 - 16845014949984112489062979/30600252167000481505625*c_0110_4^7 + 20010908770368896309845062/30600252167000481505625*c_0110_4^6 + 16471478284587066400132569/30600252167000481505625*c_0110_4^5 + 3868952674153511221391934/30600252167000481505625*c_0110_4^4 - 1553758023882184918344556/30600252167000481505625*c_0110_4^3 - 1465267088000665278308282/30600252167000481505625*c_0110_4^2 - 36726211816991934201294/6120050433400096301125*c_0110_4 + 186922342425532434627012/30600252167000481505625, c_0101_1 - 11978622900952649101881/30600252167000481505625*c_0110_4^19 + 102179664932251953931077/30600252167000481505625*c_0110_4^18 + 374835604067438464848262/30600252167000481505625*c_0110_4^17 - 857765527561275484445137/30600252167000481505625*c_0110_4^16 - 423236507132509938282821/6120050433400096301125*c_0110_4^15 + 679649683187472127679382/30600252167000481505625*c_0110_4^14 + 4219483012198463781812529/30600252167000481505625*c_0110_4^13 + 2774467363215628217818292/30600252167000481505625*c_0110_4^12 - 334531639469503510129927/6120050433400096301125*c_0110_4^11 - 3605466472405065094990639/30600252167000481505625*c_0110_4^10 - 1952836448391575219384187/30600252167000481505625*c_0110_4^9 + 206392532188666942369728/30600252167000481505625*c_0110_4^8 + 845055524857642811835863/30600252167000481505625*c_0110_4^7 + 361473854880308820085786/30600252167000481505625*c_0110_4^6 - 49545133176337710536968/30600252167000481505625*c_0110_4^5 - 96081739472624206566248/30600252167000481505625*c_0110_4^4 - 37604051090048601263343/30600252167000481505625*c_0110_4^3 + 72523725130735735832929/30600252167000481505625*c_0110_4^2 + 11771801552317540146168/6120050433400096301125*c_0110_4 - 2770845023822976966489/30600252167000481505625, c_0101_6 - c_0110_4, c_0110_4^20 - 22/3*c_0110_4^19 - 124/3*c_0110_4^18 + 98/3*c_0110_4^17 + 773/3*c_0110_4^16 + 168*c_0110_4^15 - 1190/3*c_0110_4^14 - 669*c_0110_4^13 - 548/3*c_0110_4^12 + 449*c_0110_4^11 + 544*c_0110_4^10 + 619/3*c_0110_4^9 - 82*c_0110_4^8 - 120*c_0110_4^7 - 115/3*c_0110_4^6 + 12*c_0110_4^5 + 41/3*c_0110_4^4 + 10/3*c_0110_4^3 - 2*c_0110_4^2 - c_0110_4 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB