Magma V2.19-8 Tue Aug 20 2013 16:17:49 on localhost [Seed = 2614757241] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2058 geometric_solution 5.58212979 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 -1 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 -1 0 1 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.285159805036 0.295487899337 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 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 1.023793905552 1.456805751152 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.183543384507 0.856974912578 5 4 2 1 3201 3201 2310 0132 0 0 0 0 0 -1 0 1 1 0 -1 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 -1 0 1 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.183543384507 0.856974912578 4 4 3 2 1302 2031 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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.337059841242 0.495298365937 6 6 2 3 0132 3201 0132 2310 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 0 -1 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.379542091824 2.139704260342 5 6 5 6 0132 1302 2310 2031 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.362211951492 0.766923040354 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 8141396876722666/144919162404271*c_0011_5*c_0101_1^13 - 47577765319589887/144919162404271*c_0011_5*c_0101_1^12 + 40624428482870979/144919162404271*c_0011_5*c_0101_1^11 + 117789119566618112/144919162404271*c_0011_5*c_0101_1^10 - 811287540158821442/144919162404271*c_0011_5*c_0101_1^9 + 4331417631247371181/144919162404271*c_0011_5*c_0101_1^8 - 7253073022107524306/144919162404271*c_0011_5*c_0101_1^7 - 1368807329252568003/144919162404271*c_0011_5*c_0101_1^6 + 9060754953181050993/144919162404271*c_0011_5*c_0101_1^5 - 4388110672285892893/144919162404271*c_0011_5*c_0101_1^4 + 1193827676687438986/144919162404271*c_0011_5*c_0101_1^3 + 386700716902444236/144919162404271*c_0011_5*c_0101_1^2 - 997519805122586474/144919162404271*c_0011_5*c_0101_1 + 249998463702100990/144919162404271*c_0011_5, c_0011_0 - 1, c_0011_1 - 14315887170/35951169041*c_0101_1^13 + 19608965109/35951169041*c_0101_1^12 + 41232322094/35951169041*c_0101_1^11 - 60476766251/35951169041*c_0101_1^10 + 1092740013204/35951169041*c_0101_1^9 - 2617208181183/35951169041*c_0101_1^8 - 881746673859/35951169041*c_0101_1^7 + 3315698969438/35951169041*c_0101_1^6 - 509571490151/35951169041*c_0101_1^5 + 168636805432/35951169041*c_0101_1^4 + 284309546295/35951169041*c_0101_1^3 - 313465182466/35951169041*c_0101_1^2 + 6796612212/35951169041*c_0101_1 + 1035668545/35951169041, c_0011_3 - 80770287384/35951169041*c_0011_5*c_0101_1^13 + 124553737182/35951169041*c_0011_5*c_0101_1^12 + 221198362770/35951169041*c_0011_5*c_0101_1^11 - 391039084023/35951169041*c_0011_5*c_0101_1^10 + 6200163999914/35951169041*c_0011_5*c_0101_1^9 - 15796452982661/35951169041*c_0011_5*c_0101_1^8 - 3008853663042/35951169041*c_0011_5*c_0101_1^7 + 20901964330191/35951169041*c_0011_5*c_0101_1^6 - 5420359030335/35951169041*c_0011_5*c_0101_1^5 - 521768349814/35951169041*c_0011_5*c_0101_1^4 + 1717224436381/35951169041*c_0011_5*c_0101_1^3 - 2133710914592/35951169041*c_0011_5*c_0101_1^2 + 76770804363/35951169041*c_0011_5*c_0101_1 + 292953111879/35951169041*c_0011_5, c_0011_4 + 12563032358319/4997212496699*c_0011_5*c_0101_1^13 - 21627117773947/4997212496699*c_0011_5*c_0101_1^12 - 30978410682319/4997212496699*c_0011_5*c_0101_1^11 + 66187110984463/4997212496699*c_0011_5*c_0101_1^10 - 974072184933988/4997212496699*c_0011_5*c_0101_1^9 + 2632373387863017/4997212496699*c_0011_5*c_0101_1^8 + 27718251027432/4997212496699*c_0011_5*c_0101_1^7 - 3277435160541126/4997212496699*c_0011_5*c_0101_1^6 + 1272531486564749/4997212496699*c_0011_5*c_0101_1^5 - 126307148032971/4997212496699*c_0011_5*c_0101_1^4 - 108656432189859/4997212496699*c_0011_5*c_0101_1^3 + 371542103346315/4997212496699*c_0011_5*c_0101_1^2 - 51662405296224/4997212496699*c_0011_5*c_0101_1 - 27133217347722/4997212496699*c_0011_5, c_0011_5^2 - 23089418822545/229871774848154*c_0101_1^13 + 32572440848345/229871774848154*c_0101_1^12 + 68901570814977/229871774848154*c_0101_1^11 - 108745639417771/229871774848154*c_0101_1^10 + 880503185511027/114935887424077*c_0101_1^9 - 4272506679691877/229871774848154*c_0101_1^8 - 770300821551418/114935887424077*c_0101_1^7 + 3176577502084494/114935887424077*c_0101_1^6 - 745026981979915/114935887424077*c_0101_1^5 - 179922568927301/114935887424077*c_0101_1^4 + 291408095306524/114935887424077*c_0101_1^3 - 424977892730420/114935887424077*c_0101_1^2 + 58649867223011/229871774848154*c_0101_1 + 81809053175473/229871774848154, c_0101_0 - 7532775560199/4997212496699*c_0101_1^13 + 11691301506474/4997212496699*c_0101_1^12 + 20088919036201/4997212496699*c_0101_1^11 - 35881769810536/4997212496699*c_0101_1^10 + 579567434064501/4997212496699*c_0101_1^9 - 1481406534823795/4997212496699*c_0101_1^8 - 232814473553180/4997212496699*c_0101_1^7 + 1858554850608723/4997212496699*c_0101_1^6 - 514716725719965/4997212496699*c_0101_1^5 + 72115063980379/4997212496699*c_0101_1^4 + 108473395958130/4997212496699*c_0101_1^3 - 206556720323576/4997212496699*c_0101_1^2 + 13269247673502/4997212496699*c_0101_1 + 16388789108399/4997212496699, c_0101_1^14 - 2*c_0101_1^13 - 2*c_0101_1^12 + 6*c_0101_1^11 - 79*c_0101_1^10 + 231*c_0101_1^9 - 55*c_0101_1^8 - 266*c_0101_1^7 + 178*c_0101_1^6 - 34*c_0101_1^5 - 12*c_0101_1^4 + 34*c_0101_1^3 - 13*c_0101_1^2 - 2*c_0101_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB