Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 2800171628] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1689 geometric_solution 5.40858772 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 -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.516454229714 0.495422179669 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 1 -1 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 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.991631415244 0.967303845001 3 0 4 1 2310 0132 3201 3012 0 0 0 0 0 1 -1 0 -1 0 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 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.991631415244 0.967303845001 3 1 2 3 3012 0132 3201 1230 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.082609177732 0.644262792377 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.490859447127 0.537818753334 6 4 6 4 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 -1 1 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 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.824535220168 0.347509355893 5 6 5 6 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 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.800100649007 0.166198161384 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 3690323595813056751/468325803559683220*c_0101_6^15 - 284297695559458581/93665160711936644*c_0101_6^14 - 24571228183115682623/117081450889920805*c_0101_6^13 - 40588575691138158119/93665160711936644*c_0101_6^12 + 249357034838786400967/468325803559683220*c_0101_6^11 + 218649530683290895903/93665160711936644*c_0101_6^10 + 181762320849694519501/93665160711936644*c_0101_6^9 + 28635287713526561073/117081450889920805*c_0101_6^8 - 110534926147273347919/117081450889920805*c_0101_6^7 - 775452667732128474441/234162901779841610*c_0101_6^6 - 665337811032463640539/234162901779841610*c_0101_6^5 + 92805917870661118457/93665160711936644*c_0101_6^4 + 876771368021295548607/468325803559683220*c_0101_6^3 + 290560927575173501137/468325803559683220*c_0101_6^2 - 30600505027754567361/234162901779841610*c_0101_6 - 89532482040155031557/468325803559683220, c_0011_0 - 1, c_0011_4 - 823748216811833/1142258057462642*c_0101_1*c_0101_6^15 + 955315055782591/1142258057462642*c_0101_1*c_0101_6^14 + 21037298431588813/1142258057462642*c_0101_1*c_0101_6^13 + 29157171117936937/1142258057462642*c_0101_1*c_0101_6^12 - 37080449173617371/571129028731321*c_0101_1*c_0101_6^11 - 89913692469660321/571129028731321*c_0101_1*c_0101_6^10 - 37271460788977300/571129028731321*c_0101_1*c_0101_6^9 - 1370131529346276/571129028731321*c_0101_1*c_0101_6^8 + 72171836964295683/1142258057462642*c_0101_1*c_0101_6^7 + 133708040815532413/571129028731321*c_0101_1*c_0101_6^6 + 86925500256466899/1142258057462642*c_0101_1*c_0101_6^5 - 130385420315610613/1142258057462642*c_0101_1*c_0101_6^4 - 34201399865949852/571129028731321*c_0101_1*c_0101_6^3 - 6598324984040340/571129028731321*c_0101_1*c_0101_6^2 + 19911885711319921/1142258057462642*c_0101_1*c_0101_6 + 1989716550342759/1142258057462642*c_0101_1, c_0101_0 + 576965201092317/571129028731321*c_0101_6^15 - 730724634573304/571129028731321*c_0101_6^14 - 14701150111315694/571129028731321*c_0101_6^13 - 18840050936229542/571129028731321*c_0101_6^12 + 55121239773957340/571129028731321*c_0101_6^11 + 122624556525651558/571129028731321*c_0101_6^10 + 36844350779814057/571129028731321*c_0101_6^9 - 14139116278799406/571129028731321*c_0101_6^8 - 61688310480637888/571129028731321*c_0101_6^7 - 188854945585053915/571129028731321*c_0101_6^6 - 43248113576971778/571129028731321*c_0101_6^5 + 109428695017796858/571129028731321*c_0101_6^4 + 50665091705172735/571129028731321*c_0101_6^3 + 5602494895035517/571129028731321*c_0101_6^2 - 16182021959896611/571129028731321*c_0101_6 - 2208073807256073/571129028731321, c_0101_1^2 - 657448509839723/571129028731321*c_0101_6^15 + 817544129450822/571129028731321*c_0101_6^14 + 16747760778419151/571129028731321*c_0101_6^13 + 21865456045080677/571129028731321*c_0101_6^12 - 61690770018531435/571129028731321*c_0101_6^11 - 140004725418656287/571129028731321*c_0101_6^10 - 47127943839262522/571129028731321*c_0101_6^9 + 8475729630245563/571129028731321*c_0101_6^8 + 66856987028200144/571129028731321*c_0101_6^7 + 217747923135585325/571129028731321*c_0101_6^6 + 56402178051832901/571129028731321*c_0101_6^5 - 115651789289476332/571129028731321*c_0101_6^4 - 56640117463415090/571129028731321*c_0101_6^3 - 11582613161605246/571129028731321*c_0101_6^2 + 16789072484104176/571129028731321*c_0101_6 + 2353831770408514/571129028731321, c_0101_2 + 299660401796596/571129028731321*c_0101_6^15 - 340083601431891/571129028731321*c_0101_6^14 - 7659820431849087/571129028731321*c_0101_6^13 - 10806409389000752/571129028731321*c_0101_6^12 + 26687961673157391/571129028731321*c_0101_6^11 + 66206837767792110/571129028731321*c_0101_6^10 + 29006827618856528/571129028731321*c_0101_6^9 + 1344280371266417/571129028731321*c_0101_6^8 - 26918337854780820/571129028731321*c_0101_6^7 - 98043456306658376/571129028731321*c_0101_6^6 - 35139027762254790/571129028731321*c_0101_6^5 + 46182364137705710/571129028731321*c_0101_6^4 + 27175069883044933/571129028731321*c_0101_6^3 + 5553083473491944/571129028731321*c_0101_6^2 - 7032114691476416/571129028731321*c_0101_6 - 724389661873018/571129028731321, c_0101_5 + 160594718678442/571129028731321*c_0101_6^15 - 197658572863738/571129028731321*c_0101_6^14 - 4084482054294675/571129028731321*c_0101_6^13 - 5405350119727511/571129028731321*c_0101_6^12 + 14782900577983291/571129028731321*c_0101_6^11 + 34105642106822268/571129028731321*c_0101_6^10 + 12562679220191122/571129028731321*c_0101_6^9 - 493208496813117/571129028731321*c_0101_6^8 - 15062926866820584/571129028731321*c_0101_6^7 - 51297700802092528/571129028731321*c_0101_6^6 - 14105826247084487/571129028731321*c_0101_6^5 + 25629677270254032/571129028731321*c_0101_6^4 + 13069427580831954/571129028731321*c_0101_6^3 + 2005416822753560/571129028731321*c_0101_6^2 - 4194785836752569/571129028731321*c_0101_6 - 326158529713103/571129028731321, c_0101_6^16 - 27*c_0101_6^14 - 65*c_0101_6^13 + 52*c_0101_6^12 + 330*c_0101_6^11 + 340*c_0101_6^10 + 77*c_0101_6^9 - 126*c_0101_6^8 - 462*c_0101_6^7 - 498*c_0101_6^6 + 65*c_0101_6^5 + 312*c_0101_6^4 + 132*c_0101_6^3 - 7*c_0101_6^2 - 37*c_0101_6 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB