Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 930524117] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0552 geometric_solution 4.57458231 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 2.408032598321 0.221015596199 0 2 2 0 0132 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.741517563122 0.494283408776 1 1 3 3 2310 0132 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 1 1 -2 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.243424408656 0.460321184103 4 2 5 2 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 1 -1 0 0 0 0 1 0 0 -1 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.589065493992 0.450276797010 3 5 5 6 0132 0213 2310 0132 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 -1 1 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.341278394148 0.636793174105 6 4 4 3 0132 3201 0213 0132 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 0 1 -1 -1 0 1 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.341278394148 0.636793174105 5 6 4 6 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.225477361923 2.025930903178 ==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_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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_3']), 'c_0011_6' : negation(d['c_0011_5']), '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_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 556668971317286331323562/52964755377387749316029*c_0101_3^13 - 749982709508958304214784/52964755377387749316029*c_0101_3^12 - 1414651008808468157801002/52964755377387749316029*c_0101_3^11 - 42363821452811412542890271/52964755377387749316029*c_0101_3^10 + 131067749368622721688981517/52964755377387749316029*c_0101_3^9 + 2618476096049951732218933/7566393625341107045147*c_0101_3^8 - 60566207766586668510888157/52964755377387749316029*c_0101_3^7 - 69746957845100246205055601/7566393625341107045147*c_0101_3^6 + 4213957362787215531638144/445081977961241590891*c_0101_3^5 - 1505639360480692797136786841/52964755377387749316029*c_0101_3^4 + 2270186021057887592199068014/52964755377387749316029*c_0101_3^3 + 424936099103509270511876000/52964755377387749316029*c_0101_3^2 - 224860971406448674187582037/52964755377387749316029*c_0101_3 - 17228209090938760848174844/52964755377387749316029, c_0011_0 - 1, c_0011_3 - 4911378962147762/445081977961241590891*c_0101_3^13 + 269471089701085449/3115573845728691136237*c_0101_3^12 + 540131205714760063/3115573845728691136237*c_0101_3^11 + 2744739693023878996/3115573845728691136237*c_0101_3^10 - 22278241962462488454/3115573845728691136237*c_0101_3^9 + 1116708245199008407/3115573845728691136237*c_0101_3^8 + 70470811128554618505/3115573845728691136237*c_0101_3^7 - 78809296525792731870/3115573845728691136237*c_0101_3^6 - 146723025986296130396/3115573845728691136237*c_0101_3^5 + 233742390698130538856/3115573845728691136237*c_0101_3^4 + 369251461281711137571/3115573845728691136237*c_0101_3^3 - 101562156070305683457/3115573845728691136237*c_0101_3^2 + 1816317654090980186170/3115573845728691136237*c_0101_3 + 1228944302346048114340/3115573845728691136237, c_0011_5 - 32932173355401778716/3115573845728691136237*c_0101_3^13 + 34716134662579762309/3115573845728691136237*c_0101_3^12 + 65078340331384015815/3115573845728691136237*c_0101_3^11 + 2494295757599831320054/3115573845728691136237*c_0101_3^10 - 1004166744696253642715/445081977961241590891*c_0101_3^9 - 972746240388909770449/3115573845728691136237*c_0101_3^8 + 253886303570384843931/445081977961241590891*c_0101_3^7 + 25095812570629875312860/3115573845728691136237*c_0101_3^6 - 29934672959576367573251/3115573845728691136237*c_0101_3^5 + 87038274452862641684796/3115573845728691136237*c_0101_3^4 - 119919264365948364490346/3115573845728691136237*c_0101_3^3 - 1374323455590863455071/445081977961241590891*c_0101_3^2 + 13264870004554398415473/3115573845728691136237*c_0101_3 + 809101422522912685372/3115573845728691136237, c_0101_0 + 248455870655261147773/3115573845728691136237*c_0101_3^13 - 312854606358091889008/3115573845728691136237*c_0101_3^12 - 664993682769221415222/3115573845728691136237*c_0101_3^11 - 18967269776785934210477/3115573845728691136237*c_0101_3^10 + 8119393853941315038702/445081977961241590891*c_0101_3^9 + 13652686104842054778236/3115573845728691136237*c_0101_3^8 - 3794644910582123277657/445081977961241590891*c_0101_3^7 - 220920387949716233375715/3115573845728691136237*c_0101_3^6 + 203551303616207394488756/3115573845728691136237*c_0101_3^5 - 651414829516574609884145/3115573845728691136237*c_0101_3^4 + 951767024374639026748017/3115573845728691136237*c_0101_3^3 + 40843226285014934686829/445081977961241590891*c_0101_3^2 - 83704289335413869497992/3115573845728691136237*c_0101_3 - 17052565196087021842454/3115573845728691136237, c_0101_1 - 4620241970011191711/3115573845728691136237*c_0101_3^13 - 6853476715000820099/3115573845728691136237*c_0101_3^12 - 3105138735164588477/3115573845728691136237*c_0101_3^11 + 49418832072424090707/445081977961241590891*c_0101_3^10 - 110142195613733251673/3115573845728691136237*c_0101_3^9 - 801479384272801076940/3115573845728691136237*c_0101_3^8 - 1386712222819724758564/3115573845728691136237*c_0101_3^7 + 754215359932615233101/3115573845728691136237*c_0101_3^6 - 1644532313067288956175/3115573845728691136237*c_0101_3^5 + 6892939754785925587457/3115573845728691136237*c_0101_3^4 + 538492335863500682405/445081977961241590891*c_0101_3^3 - 196208949159914520614/3115573845728691136237*c_0101_3^2 + 336383641233653162496/3115573845728691136237*c_0101_3 + 2282296905870127343345/3115573845728691136237, c_0101_2 + 115778425546102669972/3115573845728691136237*c_0101_3^13 - 134955055145978910386/3115573845728691136237*c_0101_3^12 - 41869142303793466121/445081977961241590891*c_0101_3^11 - 8830439794928117352762/3115573845728691136237*c_0101_3^10 + 25667856115068004945458/3115573845728691136237*c_0101_3^9 + 6539237092845976760163/3115573845728691136237*c_0101_3^8 - 10530544793144309580261/3115573845728691136237*c_0101_3^7 - 99293752978812609984411/3115573845728691136237*c_0101_3^6 + 93852572228226016860414/3115573845728691136237*c_0101_3^5 - 300261559743898628428808/3115573845728691136237*c_0101_3^4 + 427068683894716118929614/3115573845728691136237*c_0101_3^3 + 123668804860498473246072/3115573845728691136237*c_0101_3^2 - 5558672233084214477585/445081977961241590891*c_0101_3 - 7573092134827391030896/3115573845728691136237, c_0101_3^14 - c_0101_3^13 - 3*c_0101_3^12 - 77*c_0101_3^11 + 209*c_0101_3^10 + 114*c_0101_3^9 - 95*c_0101_3^8 - 915*c_0101_3^7 + 595*c_0101_3^6 - 2400*c_0101_3^5 + 3149*c_0101_3^4 + 2153*c_0101_3^3 - 95*c_0101_3^2 - 171*c_0101_3 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB