Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 3448525067] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0278 geometric_solution 4.32285476 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 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 -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.392531872046 0.558035676883 0 4 4 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 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.481545896363 0.328293132251 3 5 5 0 1302 0132 3201 0132 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 -1 0 1 1 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 0.697512409528 0.219658953997 6 2 0 6 0132 2031 0132 3201 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 -1 1 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.697512409528 0.219658953997 1 1 4 4 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4.192562491503 1.021377990661 2 2 6 6 2310 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 1 -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 0 0 0 0 1.123410063020 0.837260101332 3 3 5 5 0132 2310 2031 1302 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.123410063020 0.837260101332 ==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' : negation(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' : negation(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_0101_5'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 473051398571836861/4293202800043902*c_0101_6^13 - 2522743846233955931/4293202800043902*c_0101_6^12 - 2735628960606392662/2146601400021951*c_0101_6^11 - 13594978414163232577/4293202800043902*c_0101_6^10 - 4389524613335618685/715533800007317*c_0101_6^9 - 31032708352989015241/4293202800043902*c_0101_6^8 - 1192340469345884153/138490412904642*c_0101_6^7 - 5981280945345099916/715533800007317*c_0101_6^6 - 180345059886652069/69245206452321*c_0101_6^5 + 2842347197889382439/2146601400021951*c_0101_6^4 + 1308419410556156695/1431067600014634*c_0101_6^3 + 130485014585620743/715533800007317*c_0101_6^2 - 599076338647846195/4293202800043902*c_0101_6 - 156590027362273735/1431067600014634, c_0011_0 - 1, c_0011_2 + 180174406948662/715533800007317*c_0101_6^13 + 1425412490044753/715533800007317*c_0101_6^12 + 3940790066439767/715533800007317*c_0101_6^11 + 7950585376654527/715533800007317*c_0101_6^10 + 19267913580367275/715533800007317*c_0101_6^9 + 24953223738961390/715533800007317*c_0101_6^8 + 815236302962161/23081735484107*c_0101_6^7 + 33503399131847434/715533800007317*c_0101_6^6 + 430473475076607/23081735484107*c_0101_6^5 - 4666424482481272/715533800007317*c_0101_6^4 - 523740659806731/715533800007317*c_0101_6^3 - 556000223117719/715533800007317*c_0101_6^2 + 984149995856307/715533800007317*c_0101_6 + 249384969759526/715533800007317, c_0101_0 - 515542899266164/715533800007317*c_0101_6^13 - 3168075663156445/715533800007317*c_0101_6^12 - 7682033358516793/715533800007317*c_0101_6^11 - 17604041009022557/715533800007317*c_0101_6^10 - 37673557670996052/715533800007317*c_0101_6^9 - 46971857380545834/715533800007317*c_0101_6^8 - 1719568553992893/23081735484107*c_0101_6^7 - 59646108349532337/715533800007317*c_0101_6^6 - 738456838031841/23081735484107*c_0101_6^5 + 5662223351668273/715533800007317*c_0101_6^4 + 5188281527940575/715533800007317*c_0101_6^3 + 2948029825106547/715533800007317*c_0101_6^2 - 411098480357020/715533800007317*c_0101_6 - 702501308855642/715533800007317, c_0101_1 + 538645995403908/715533800007317*c_0101_6^13 + 2147039069379706/715533800007317*c_0101_6^12 + 2936193360155083/715533800007317*c_0101_6^11 + 9643869835203563/715533800007317*c_0101_6^10 + 13532607799797643/715533800007317*c_0101_6^9 + 7604808924458256/715533800007317*c_0101_6^8 + 489882555957132/23081735484107*c_0101_6^7 + 3554075109049667/715533800007317*c_0101_6^6 - 472433212237730/23081735484107*c_0101_6^5 - 5112513543844403/715533800007317*c_0101_6^4 + 1662511342991647/715533800007317*c_0101_6^3 + 509280759445554/715533800007317*c_0101_6^2 + 1166461012227968/715533800007317*c_0101_6 - 66049176851180/715533800007317, c_0101_4 - 295026810534155/715533800007317*c_0101_6^13 - 1696091287407282/715533800007317*c_0101_6^12 - 4207244025956436/715533800007317*c_0101_6^11 - 10446086652000965/715533800007317*c_0101_6^10 - 20811824458766112/715533800007317*c_0101_6^9 - 29108344012152946/715533800007317*c_0101_6^8 - 1127722526035564/23081735484107*c_0101_6^7 - 36136413932214307/715533800007317*c_0101_6^6 - 724948065442412/23081735484107*c_0101_6^5 - 1828657278655337/715533800007317*c_0101_6^4 + 3171209520586811/715533800007317*c_0101_6^3 + 2646379555546968/715533800007317*c_0101_6^2 + 557210466013870/715533800007317*c_0101_6 - 1043276378859792/715533800007317, c_0101_5 - c_0101_6, c_0101_6^14 + 34/7*c_0101_6^13 + 65/7*c_0101_6^12 + 171/7*c_0101_6^11 + 309/7*c_0101_6^10 + 45*c_0101_6^9 + 400/7*c_0101_6^8 + 339/7*c_0101_6^7 + 6/7*c_0101_6^6 - 90/7*c_0101_6^5 - 25/7*c_0101_6^4 + 1/7*c_0101_6^3 + 13/7*c_0101_6^2 + 2/7*c_0101_6 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB