Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 324177681] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s414 geometric_solution 4.67748028 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 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.573455622398 0.214832263693 0 2 2 0 3201 0132 1023 0132 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 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 1.246979366986 0.428338205843 3 1 1 4 0132 0132 1023 0132 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 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481633792796 0.528724213242 2 5 4 4 0132 0132 3201 0321 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 0 0 0 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.510210897036 1.105485220134 3 3 2 5 2310 0321 0132 1023 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510210897036 1.105485220134 5 3 5 4 2310 0132 3201 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494979349080 0.482373643528 ==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' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 76181620342629265/9140483862537*c_0101_5^19 + 109464516279391411/9140483862537*c_0101_5^18 + 595077595972869152/9140483862537*c_0101_5^17 - 853304269072851718/3046827954179*c_0101_5^16 + 994889751329777798/9140483862537*c_0101_5^15 + 22200311413746779386/9140483862537*c_0101_5^14 - 5933105828478831436/9140483862537*c_0101_5^13 - 66467369423898036391/9140483862537*c_0101_5^12 + 14198249601761808623/9140483862537*c_0101_5^11 + 37321059708543861744/3046827954179*c_0101_5^10 - 13749966411439130461/9140483862537*c_0101_5^9 - 115898511065481257669/9140483862537*c_0101_5^8 + 9575701992956005537/9140483862537*c_0101_5^7 + 24457950405404674173/3046827954179*c_0101_5^6 - 9689670266675226572/9140483862537*c_0101_5^5 - 24672120748528156762/9140483862537*c_0101_5^4 + 1778773067622293282/3046827954179*c_0101_5^3 + 2880944479223853997/9140483862537*c_0101_5^2 - 168345098153474116/3046827954179*c_0101_5 - 134849184328411090/9140483862537, c_0011_0 - 1, c_0011_1 + 25734050498599/9140483862537*c_0101_5^19 - 197854739236285/9140483862537*c_0101_5^18 - 80241534281477/9140483862537*c_0101_5^17 + 734900463344407/3046827954179*c_0101_5^16 - 4825022150994965/9140483862537*c_0101_5^15 - 8479213819539004/9140483862537*c_0101_5^14 + 48240423560357719/9140483862537*c_0101_5^13 + 41585517179005726/9140483862537*c_0101_5^12 - 132121261054221833/9140483862537*c_0101_5^11 - 31567803281521208/3046827954179*c_0101_5^10 + 202354661542463428/9140483862537*c_0101_5^9 + 144622459980208655/9140483862537*c_0101_5^8 - 176138206842582595/9140483862537*c_0101_5^7 - 40571784582555633/3046827954179*c_0101_5^6 + 92448267193633901/9140483862537*c_0101_5^5 + 48021910200000838/9140483862537*c_0101_5^4 - 9036098413956324/3046827954179*c_0101_5^3 - 6700639463517127/9140483862537*c_0101_5^2 + 796033938504048/3046827954179*c_0101_5 + 470781775455835/9140483862537, c_0011_4 + 751521449980609/3046827954179*c_0101_5^19 - 1085575784936023/3046827954179*c_0101_5^18 - 5866814215100304/3046827954179*c_0101_5^17 + 25300390620789945/3046827954179*c_0101_5^16 - 9967384208328438/3046827954179*c_0101_5^15 - 219050440935191152/3046827954179*c_0101_5^14 + 60143218582822028/3046827954179*c_0101_5^13 + 656577004714456600/3046827954179*c_0101_5^12 - 144219038977130598/3046827954179*c_0101_5^11 - 1106916906964284971/3046827954179*c_0101_5^10 + 141724146543222853/3046827954179*c_0101_5^9 + 1147448048847735585/3046827954179*c_0101_5^8 - 99189142513872925/3046827954179*c_0101_5^7 - 727167372617220580/3046827954179*c_0101_5^6 + 97705043643303887/3046827954179*c_0101_5^5 + 244497728666757670/3046827954179*c_0101_5^4 - 53178638744096687/3046827954179*c_0101_5^3 - 28496982234446527/3046827954179*c_0101_5^2 + 5014580559385505/3046827954179*c_0101_5 + 1328952111728511/3046827954179, c_0101_0 - 7277674644732157/9140483862537*c_0101_5^19 + 10320058155559183/9140483862537*c_0101_5^18 + 56940083208524336/9140483862537*c_0101_5^17 - 81135046660397865/3046827954179*c_0101_5^16 + 91308991952400128/9140483862537*c_0101_5^15 + 2119713242063474581/9140483862537*c_0101_5^14 - 527581699146697288/9140483862537*c_0101_5^13 - 6330273754455047512/9140483862537*c_0101_5^12 + 1250684087365519247/9140483862537*c_0101_5^11 + 3546693127150988096/3046827954179*c_0101_5^10 - 1152307459115580808/9140483862537*c_0101_5^9 - 10971933022088402648/9140483862537*c_0101_5^8 + 778852707650225821/9140483862537*c_0101_5^7 + 2306850973991048706/3046827954179*c_0101_5^6 - 858296090236167803/9140483862537*c_0101_5^5 - 2321032712484399409/9140483862537*c_0101_5^4 + 163687846903992356/3046827954179*c_0101_5^3 + 269844190934912335/9140483862537*c_0101_5^2 - 15543318345349538/3046827954179*c_0101_5 - 12497597585807695/9140483862537, c_0101_3 - 1930589748082267/9140483862537*c_0101_5^19 + 2756166486016321/9140483862537*c_0101_5^18 + 15097320560380706/9140483862537*c_0101_5^17 - 21574695639139285/3046827954179*c_0101_5^16 + 24685107167797496/9140483862537*c_0101_5^15 + 562563534587622889/9140483862537*c_0101_5^14 - 145141250861747233/9140483862537*c_0101_5^13 - 1683210488220474652/9140483862537*c_0101_5^12 + 344496728592305144/9140483862537*c_0101_5^11 + 944255659711724426/3046827954179*c_0101_5^10 - 323753847249704716/9140483862537*c_0101_5^9 - 2927145260003818025/9140483862537*c_0101_5^8 + 219485893912733947/9140483862537*c_0101_5^7 + 616232265676018014/3046827954179*c_0101_5^6 - 233221756609436915/9140483862537*c_0101_5^5 - 620238025557726352/9140483862537*c_0101_5^4 + 43958181190011089/3046827954179*c_0101_5^3 + 72167700020119879/9140483862537*c_0101_5^2 - 4177270596356872/3046827954179*c_0101_5 - 3350136111946402/9140483862537, c_0101_5^20 - 2*c_0101_5^19 - 7*c_0101_5^18 + 38*c_0101_5^17 - 32*c_0101_5^16 - 284*c_0101_5^15 + 242*c_0101_5^14 + 828*c_0101_5^13 - 678*c_0101_5^12 - 1363*c_0101_5^11 + 1009*c_0101_5^10 + 1417*c_0101_5^9 - 984*c_0101_5^8 - 890*c_0101_5^7 + 671*c_0101_5^6 + 251*c_0101_5^5 - 253*c_0101_5^4 + 2*c_0101_5^3 + 28*c_0101_5^2 - 2*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB