Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 1107549792] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s370 geometric_solution 4.58893256 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 2 0132 0132 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 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.587576138629 0.983744398837 0 3 4 3 0132 0213 0132 1230 0 0 0 0 0 -1 1 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 -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.654697303394 0.722906700438 0 0 2 2 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.491192901046 0.151046111969 1 4 1 0 3012 1023 0213 0132 0 0 0 0 0 -1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654697303394 0.722906700438 3 5 5 1 1023 0132 3201 0132 0 0 0 0 0 0 1 -1 1 0 -1 0 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 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.945611695609 0.415848584669 4 4 5 5 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.509826814053 0.382184217578 ==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_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_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_5' : negation(d['c_0101_4']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : 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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0110_2'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_1, c_0101_4, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 13235165836389266/12223589089624573*c_0110_2^17 - 3417841995334523/643346794190767*c_0110_2^16 - 282876333156936928/12223589089624573*c_0110_2^15 + 812453639307074024/12223589089624573*c_0110_2^14 + 2058937748738681899/12223589089624573*c_0110_2^13 - 3205422838076636519/12223589089624573*c_0110_2^12 - 6969969814129950063/12223589089624573*c_0110_2^11 + 5385447837504880419/12223589089624573*c_0110_2^10 + 574821951628225084/643346794190767*c_0110_2^9 - 6131405307219246112/12223589089624573*c_0110_2^8 - 6814329162440381084/12223589089624573*c_0110_2^7 + 4654172450055818943/12223589089624573*c_0110_2^6 + 314535142829721286/12223589089624573*c_0110_2^5 - 1521170637545374466/12223589089624573*c_0110_2^4 + 1028171572400876677/12223589089624573*c_0110_2^3 + 176327790656142430/12223589089624573*c_0110_2^2 - 2280295638509665/643346794190767*c_0110_2 + 94098279626221860/12223589089624573, c_0011_0 - 1, c_0011_3 + 800161216492809/12223589089624573*c_0110_2^17 - 102092595167900/643346794190767*c_0110_2^16 - 23296042783147085/12223589089624573*c_0110_2^15 - 4242393336965819/12223589089624573*c_0110_2^14 + 152381868047992156/12223589089624573*c_0110_2^13 + 153512330986198975/12223589089624573*c_0110_2^12 - 324573808126054012/12223589089624573*c_0110_2^11 - 469662769748639207/12223589089624573*c_0110_2^10 + 16832959347910276/643346794190767*c_0110_2^9 + 555356289555778679/12223589089624573*c_0110_2^8 - 217848291825823179/12223589089624573*c_0110_2^7 - 290036017667474296/12223589089624573*c_0110_2^6 + 189667576124673146/12223589089624573*c_0110_2^5 - 2118308030948898/12223589089624573*c_0110_2^4 - 94094494716856135/12223589089624573*c_0110_2^3 + 42762094904295040/12223589089624573*c_0110_2^2 + 339278443787778/643346794190767*c_0110_2 + 3289419079471442/12223589089624573, c_0101_1 + 1260885557781136/12223589089624573*c_0110_2^17 - 215377557227351/643346794190767*c_0110_2^16 - 33848358347199752/12223589089624573*c_0110_2^15 + 23555912192649907/12223589089624573*c_0110_2^14 + 230327807769508639/12223589089624573*c_0110_2^13 + 26696965914289139/12223589089624573*c_0110_2^12 - 584085823707110894/12223589089624573*c_0110_2^11 - 173873242965767909/12223589089624573*c_0110_2^10 + 39294464226187370/643346794190767*c_0110_2^9 + 104616678420778848/12223589089624573*c_0110_2^8 - 494877289089633400/12223589089624573*c_0110_2^7 + 148059192867047078/12223589089624573*c_0110_2^6 + 83498942133781665/12223589089624573*c_0110_2^5 - 130101749459032540/12223589089624573*c_0110_2^4 + 38761288821830995/12223589089624573*c_0110_2^3 + 623991074285681/12223589089624573*c_0110_2^2 - 37441421210137/643346794190767*c_0110_2 + 13023750306117382/12223589089624573, c_0101_4 + 6183608554185163/12223589089624573*c_0110_2^17 - 1268024341275995/643346794190767*c_0110_2^16 - 150679656784373081/12223589089624573*c_0110_2^15 + 212448280662677197/12223589089624573*c_0110_2^14 + 1011519945246329432/12223589089624573*c_0110_2^13 - 486077580956842626/12223589089624573*c_0110_2^12 - 2725831283130585619/12223589089624573*c_0110_2^11 + 619670428545288967/12223589089624573*c_0110_2^10 + 199577653166362124/643346794190767*c_0110_2^9 - 1152127067330258738/12223589089624573*c_0110_2^8 - 2517287040259768943/12223589089624573*c_0110_2^7 + 1399376140575353887/12223589089624573*c_0110_2^6 + 420545512836860182/12223589089624573*c_0110_2^5 - 650781200204527622/12223589089624573*c_0110_2^4 + 230181231673298840/12223589089624573*c_0110_2^3 + 50308149666682270/12223589089624573*c_0110_2^2 - 2502315655540502/643346794190767*c_0110_2 + 19670636261530386/12223589089624573, c_0101_5 + 1126106768890710/12223589089624573*c_0110_2^17 - 461698908991374/643346794190767*c_0110_2^16 - 7612911559600509/12223589089624573*c_0110_2^15 + 134125654156772158/12223589089624573*c_0110_2^14 - 28607331853212929/12223589089624573*c_0110_2^13 - 701607759709073256/12223589089624573*c_0110_2^12 + 228767970434396794/12223589089624573*c_0110_2^11 + 1779436183958741299/12223589089624573*c_0110_2^10 - 33304713748653613/643346794190767*c_0110_2^9 - 2468098797724127140/12223589089624573*c_0110_2^8 + 1341436837164026204/12223589089624573*c_0110_2^7 + 1360866278607419750/12223589089624573*c_0110_2^6 - 1162096990414816569/12223589089624573*c_0110_2^5 + 20232978622503062/12223589089624573*c_0110_2^4 + 240700257413595858/12223589089624573*c_0110_2^3 - 121381123465966667/12223589089624573*c_0110_2^2 + 1427393676795038/643346794190767*c_0110_2 - 10837431758866940/12223589089624573, c_0110_2^18 - 4*c_0110_2^17 - 24*c_0110_2^16 + 37*c_0110_2^15 + 161*c_0110_2^14 - 96*c_0110_2^13 - 439*c_0110_2^12 + 143*c_0110_2^11 + 617*c_0110_2^10 - 239*c_0110_2^9 - 403*c_0110_2^8 + 256*c_0110_2^7 + 52*c_0110_2^6 - 107*c_0110_2^5 + 45*c_0110_2^4 + 5*c_0110_2^3 - 8*c_0110_2^2 + 5*c_0110_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB