Magma V2.19-8 Tue Aug 20 2013 16:15:48 on localhost [Seed = 3802365641] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0032 geometric_solution 3.60047221 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 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 3.495995779193 0.274313603130 0 1 1 0 0132 3201 2310 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.533599219643 0.020902330506 0 3 3 0 3201 0132 3201 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 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.764169888669 0.279307307858 2 2 4 4 2310 0132 0132 3201 0 0 0 0 0 1 -1 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 0 1 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.349969902484 0.251188315568 5 3 6 3 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 -1 1 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.991085308739 0.513437233595 4 6 6 6 0132 1230 3012 2310 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 -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.995281558951 0.978150727063 5 5 5 4 3201 1230 3012 0132 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 -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.995281558951 0.978150727063 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_3']), '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_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 250532344694627/221619425184790*c_0101_4^12 - 2452891868954005/132971655110874*c_0101_4^11 + 2002445899587919/110809712592395*c_0101_4^10 + 50384998172310989/221619425184790*c_0101_4^9 - 7516598607961585/66485827555437*c_0101_4^8 - 20452208527041497/110809712592395*c_0101_4^7 + 114317897982169147/132971655110874*c_0101_4^6 + 75224315774676493/221619425184790*c_0101_4^5 - 2196591714807876/1878130721905*c_0101_4^4 - 789379173662652443/664858275554370*c_0101_4^3 - 64755805591225859/221619425184790*c_0101_4^2 + 35052936750236743/132971655110874*c_0101_4 + 52817037756152549/332429137777185, c_0011_0 - 1, c_0011_2 - 147642615942649/797829930665244*c_0101_4^12 - 448018148452694/199457482666311*c_0101_4^11 + 1138586981735935/88647770073916*c_0101_4^10 - 8365072303935179/797829930665244*c_0101_4^9 - 7760984690813161/797829930665244*c_0101_4^8 + 16497991613394683/398914965332622*c_0101_4^7 - 5111284887455053/797829930665244*c_0101_4^6 - 2259108641181902/66485827555437*c_0101_4^5 - 304379407023713/13522541197716*c_0101_4^4 - 1944454601583653/797829930665244*c_0101_4^3 + 3747124729563689/398914965332622*c_0101_4^2 + 169276717462000/199457482666311*c_0101_4 + 535839319041655/797829930665244, c_0011_4 + 29974882488331/265943310221748*c_0101_4^12 + 186466473454691/132971655110874*c_0101_4^11 - 658494498071189/88647770073916*c_0101_4^10 + 1000923665053445/265943310221748*c_0101_4^9 + 2488855355835353/265943310221748*c_0101_4^8 - 3295422582842957/132971655110874*c_0101_4^7 - 1352983913677633/265943310221748*c_0101_4^6 + 1214813901170049/44323885036958*c_0101_4^5 + 82213006094549/4507513732572*c_0101_4^4 + 209258584010527/265943310221748*c_0101_4^3 - 445683805308985/66485827555437*c_0101_4^2 - 20899468970565/44323885036958*c_0101_4 + 100734504750973/265943310221748, c_0101_0 - 87355676782793/797829930665244*c_0101_4^12 - 584276581287803/398914965332622*c_0101_4^11 + 527394942466117/88647770073916*c_0101_4^10 + 2546600443127981/797829930665244*c_0101_4^9 - 10354998189324455/797829930665244*c_0101_4^8 + 6224203010109619/398914965332622*c_0101_4^7 + 22712234748509107/797829930665244*c_0101_4^6 - 3227044420375349/132971655110874*c_0101_4^5 - 574416964166959/13522541197716*c_0101_4^4 - 12840085201589965/797829930665244*c_0101_4^3 + 1277812991005163/199457482666311*c_0101_4^2 + 3197196935339269/398914965332622*c_0101_4 + 158563630320641/797829930665244, c_0101_1 + 43309891921697/797829930665244*c_0101_4^12 + 117687800119057/199457482666311*c_0101_4^11 - 409328562734779/88647770073916*c_0101_4^10 + 6127863989577187/797829930665244*c_0101_4^9 - 102681916971883/797829930665244*c_0101_4^8 - 6402653893155181/398914965332622*c_0101_4^7 + 12104968724290721/797829930665244*c_0101_4^6 + 826373106119179/66485827555437*c_0101_4^5 - 88366429784543/13522541197716*c_0101_4^4 - 10030092542380307/797829930665244*c_0101_4^3 - 1398629839780891/398914965332622*c_0101_4^2 + 749465819404765/199457482666311*c_0101_4 + 196387602908461/797829930665244, c_0101_3 + 61074863143265/797829930665244*c_0101_4^12 + 178928142523081/199457482666311*c_0101_4^11 - 505925173114899/88647770073916*c_0101_4^10 + 5200025852444059/797829930665244*c_0101_4^9 + 2068577396522129/797829930665244*c_0101_4^8 - 7769076366570967/398914965332622*c_0101_4^7 + 7775656919286149/797829930665244*c_0101_4^6 + 987517660036126/66485827555437*c_0101_4^5 + 15660297383077/13522541197716*c_0101_4^4 - 2352668868012431/797829930665244*c_0101_4^3 - 1339562968668151/398914965332622*c_0101_4^2 + 433984297962943/199457482666311*c_0101_4 + 133968146420761/797829930665244, c_0101_4^13 + 13*c_0101_4^12 - 59*c_0101_4^11 - 4*c_0101_4^10 + 104*c_0101_4^9 - 173*c_0101_4^8 - 169*c_0101_4^7 + 221*c_0101_4^6 + 307*c_0101_4^5 + 100*c_0101_4^4 - 69*c_0101_4^3 - 54*c_0101_4^2 - 3*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB