Magma V2.19-8 Tue Aug 20 2013 16:14:08 on localhost [Seed = 1225315695] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s100 geometric_solution 3.95156787 oriented_manifold CS_known -0.0000000000000003 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.410982872466 0.131797461178 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 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 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 1.159694912866 0.148071431454 3 1 1 3 0132 0132 1023 1023 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 1 0 -1 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.103257525318 0.412207881805 2 4 5 2 0132 0132 0132 1023 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 1 0 -1 0 0 -1 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.510764520321 0.310435978700 5 3 5 5 2031 0132 2103 3201 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 -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 0.519467089117 0.836393585533 4 4 4 3 2103 2310 1302 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 0 0 0 0 -1 1 -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.519467089117 0.836393585533 ==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_5']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), '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' : d['c_0110_4'], 'c_1001_4' : d['c_0011_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0110_4']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 60984810818029291/1887731235178157*c_0110_4^14 + 425698099018051850/1887731235178157*c_0110_4^13 - 1274568369494527870/1887731235178157*c_0110_4^12 + 1394665154231831343/1887731235178157*c_0110_4^11 + 5032230667993599917/1887731235178157*c_0110_4^10 - 15003577971250084195/1887731235178157*c_0110_4^9 - 1247880913804551161/1887731235178157*c_0110_4^8 + 20482822078031441357/1887731235178157*c_0110_4^7 + 2553201590106317344/1887731235178157*c_0110_4^6 - 2861268438093947035/1887731235178157*c_0110_4^5 - 9902871600539152805/1887731235178157*c_0110_4^4 - 5138132552588504215/1887731235178157*c_0110_4^3 + 4306087721446654408/1887731235178157*c_0110_4^2 + 968249955163030805/1887731235178157*c_0110_4 - 368091161811837298/1887731235178157, c_0011_0 - 1, c_0011_1 + 165448969187427/1887731235178157*c_0110_4^14 - 1231242836789099/1887731235178157*c_0110_4^13 + 3949821141935012/1887731235178157*c_0110_4^12 - 5113426191198745/1887731235178157*c_0110_4^11 - 12642978581682791/1887731235178157*c_0110_4^10 + 47659589514383602/1887731235178157*c_0110_4^9 - 11954511276241582/1887731235178157*c_0110_4^8 - 65156877805282860/1887731235178157*c_0110_4^7 + 14590258835323173/1887731235178157*c_0110_4^6 + 20061016097309010/1887731235178157*c_0110_4^5 + 30254664011951560/1887731235178157*c_0110_4^4 + 4483860689877018/1887731235178157*c_0110_4^3 - 21090065981685600/1887731235178157*c_0110_4^2 - 914203244305399/1887731235178157*c_0110_4 + 1513819828024463/1887731235178157, c_0011_5 - 385927819994010/1887731235178157*c_0110_4^14 + 2528989134630350/1887731235178157*c_0110_4^13 - 6882656345771251/1887731235178157*c_0110_4^12 + 5119957811834813/1887731235178157*c_0110_4^11 + 36551816509367759/1887731235178157*c_0110_4^10 - 82928958214875715/1887731235178157*c_0110_4^9 - 49933507219361605/1887731235178157*c_0110_4^8 + 136597730976787597/1887731235178157*c_0110_4^7 + 62444717818075994/1887731235178157*c_0110_4^6 - 19381083665142946/1887731235178157*c_0110_4^5 - 61459510478478495/1887731235178157*c_0110_4^4 - 57596624591431178/1887731235178157*c_0110_4^3 + 18914839825337271/1887731235178157*c_0110_4^2 + 15496681154376676/1887731235178157*c_0110_4 - 2289003061155741/1887731235178157, c_0101_0 - 5088250010009450/1887731235178157*c_0110_4^14 + 34692817102453746/1887731235178157*c_0110_4^13 - 100600396152051563/1887731235178157*c_0110_4^12 + 99111687235628837/1887731235178157*c_0110_4^11 + 439213284772394474/1887731235178157*c_0110_4^10 - 1185726627426676873/1887731235178157*c_0110_4^9 - 303450447444200214/1887731235178157*c_0110_4^8 + 1698709447055583929/1887731235178157*c_0110_4^7 + 462085342159158885/1887731235178157*c_0110_4^6 - 206869140948045260/1887731235178157*c_0110_4^5 - 828014944345236106/1887731235178157*c_0110_4^4 - 554089790608329620/1887731235178157*c_0110_4^3 + 289729345566329468/1887731235178157*c_0110_4^2 + 122168742246454863/1887731235178157*c_0110_4 - 27553710259563444/1887731235178157, c_0101_2 - 3242680616208469/1887731235178157*c_0110_4^14 + 22141011550832940/1887731235178157*c_0110_4^13 - 64313306240569913/1887731235178157*c_0110_4^12 + 63739100037119562/1887731235178157*c_0110_4^11 + 279295158990726706/1887731235178157*c_0110_4^10 - 757974826791963513/1887731235178157*c_0110_4^9 - 187632865135915819/1887731235178157*c_0110_4^8 + 1083742207564079308/1887731235178157*c_0110_4^7 + 291560496718095249/1887731235178157*c_0110_4^6 - 132540390930762126/1887731235178157*c_0110_4^5 - 532012977900727277/1887731235178157*c_0110_4^4 - 353074679150221543/1887731235178157*c_0110_4^3 + 182080196704162058/1887731235178157*c_0110_4^2 + 76529982919016739/1887731235178157*c_0110_4 - 17103094577936786/1887731235178157, c_0110_4^15 - 7*c_0110_4^14 + 21*c_0110_4^13 - 23*c_0110_4^12 - 83*c_0110_4^11 + 249*c_0110_4^10 + 18*c_0110_4^9 - 347*c_0110_4^8 - 30*c_0110_4^7 + 59*c_0110_4^6 + 156*c_0110_4^5 + 80*c_0110_4^4 - 78*c_0110_4^3 - 14*c_0110_4^2 + 10*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB