Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 3633923507] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3181 geometric_solution 6.32807460 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283300191521 0.780036327177 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -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 -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.137391057806 1.035179093465 3 0 4 5 0132 0132 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 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 0.137391057806 1.035179093465 2 1 6 6 0132 0132 0132 2310 0 0 0 0 0 -1 1 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 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.635083921544 0.904273959600 4 4 1 2 1230 3012 0132 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 -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.898332190393 1.213883237901 2 5 5 1 3201 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256121829056 0.735971396003 3 6 6 3 3201 1230 3012 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.009009938840 0.727466192130 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(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' : negation(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_0011_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 97753661319499432856/297190861251762613*c_0101_0*c_0101_3^13 + 3793510882736921165216/297190861251762613*c_0101_0*c_0101_3^12 + 4985274929327205356342/297190861251762613*c_0101_0*c_0101_3^11 - 11081717596869624371626/297190861251762613*c_0101_0*c_0101_3^10 - 11827882522187140019995/297190861251762613*c_0101_0*c_0101_3^9 + 1643096723794867268364/297190861251762613*c_0101_0*c_0101_3^8 - 1104209593306411989136/297190861251762613*c_0101_0*c_0101_3^7 - 1495963759103925798604/297190861251762613*c_0101_0*c_0101_3^6 - 1701808720698202456783/297190861251762613*c_0101_0*c_0101_3^5 + 2404135452042248030460/297190861251762613*c_0101_0*c_0101_3^4 + 872548708767992143494/297190861251762613*c_0101_0*c_0101_3^3 + 322558425745962688322/297190861251762613*c_0101_0*c_0101_3^2 - 95733567852303261479/297190861251762613*c_0101_0*c_0101_3 - 29313162762440513174/297190861251762613*c_0101_0, c_0011_0 - 1, c_0011_4 - 2573863179753170640/297190861251762613*c_0101_0*c_0101_3^13 + 98313263200238981692/297190861251762613*c_0101_0*c_0101_3^12 + 191484021326928366892/297190861251762613*c_0101_0*c_0101_3^11 - 184270607900602023373/297190861251762613*c_0101_0*c_0101_3^10 - 441358848011729909849/297190861251762613*c_0101_0*c_0101_3^9 - 205790874542526818465/297190861251762613*c_0101_0*c_0101_3^8 - 111130370036093427393/297190861251762613*c_0101_0*c_0101_3^7 - 93112305254204806802/297190861251762613*c_0101_0*c_0101_3^6 - 98374986075467917113/297190861251762613*c_0101_0*c_0101_3^5 + 7311504837526615383/297190861251762613*c_0101_0*c_0101_3^4 + 32842737973110072325/297190861251762613*c_0101_0*c_0101_3^3 + 25177392094151219092/297190861251762613*c_0101_0*c_0101_3^2 + 7061438365121414094/297190861251762613*c_0101_0*c_0101_3 + 870213059205867886/297190861251762613*c_0101_0, c_0011_5 - 1021710532085003728/297190861251762613*c_0101_0*c_0101_3^13 + 39231499027038787464/297190861251762613*c_0101_0*c_0101_3^12 + 68055840244424684692/297190861251762613*c_0101_0*c_0101_3^11 - 84307451854825114950/297190861251762613*c_0101_0*c_0101_3^10 - 153726528825172297812/297190861251762613*c_0101_0*c_0101_3^9 - 56534751773843484701/297190861251762613*c_0101_0*c_0101_3^8 - 43323795648983387170/297190861251762613*c_0101_0*c_0101_3^7 - 30605793776818453022/297190861251762613*c_0101_0*c_0101_3^6 - 35418767229946114827/297190861251762613*c_0101_0*c_0101_3^5 + 7047435293056467321/297190861251762613*c_0101_0*c_0101_3^4 + 10280917093806230426/297190861251762613*c_0101_0*c_0101_3^3 + 8470545440958135964/297190861251762613*c_0101_0*c_0101_3^2 + 2349561788858106883/297190861251762613*c_0101_0*c_0101_3 + 304408070096284628/297190861251762613*c_0101_0, c_0011_6 - 104881099264/334478151053*c_0101_3^13 + 3871162551880/334478151053*c_0101_3^12 + 13030681177076/334478151053*c_0101_3^11 - 284791525402/334478151053*c_0101_3^10 - 32120193920589/334478151053*c_0101_3^9 - 24905696668152/334478151053*c_0101_3^8 - 5274731627235/334478151053*c_0101_3^7 - 6824472586414/334478151053*c_0101_3^6 - 6115902204072/334478151053*c_0101_3^5 - 3388727534723/334478151053*c_0101_3^4 + 3821381461952/334478151053*c_0101_3^3 + 2246543041085/334478151053*c_0101_3^2 + 919714163739/334478151053*c_0101_3 - 142454051651/334478151053, c_0101_0^2 - 621838285442911048/297190861251762613*c_0101_3^13 + 23419866188118359312/297190861251762613*c_0101_3^12 + 59095657934834156442/297190861251762613*c_0101_3^11 - 25146411683768488246/297190861251762613*c_0101_3^10 - 139111482314497919899/297190861251762613*c_0101_3^9 - 93999061542619537987/297190861251762613*c_0101_3^8 - 33343449691683549226/297190861251762613*c_0101_3^7 - 31939041480379227210/297190861251762613*c_0101_3^6 - 31684116302643657602/297190861251762613*c_0101_3^5 - 7780881419971310073/297190861251762613*c_0101_3^4 + 13000049997465676317/297190861251762613*c_0101_3^3 + 8675817929808618702/297190861251762613*c_0101_3^2 + 3621615587627952510/297190861251762613*c_0101_3 + 123653066726768273/297190861251762613, c_0101_1 - 499687867007794344/297190861251762613*c_0101_3^13 + 18908604975283339552/297190861251762613*c_0101_3^12 + 44033676221647920350/297190861251762613*c_0101_3^11 - 25070429907623814098/297190861251762613*c_0101_3^10 - 102272807889510149488/297190861251762613*c_0101_3^9 - 64629123555440009174/297190861251762613*c_0101_3^8 - 27465291344785461201/297190861251762613*c_0101_3^7 - 22496729480320978063/297190861251762613*c_0101_3^6 - 22443220523149511181/297190861251762613*c_0101_3^5 - 4862760781984564353/297190861251762613*c_0101_3^4 + 8973352053165718288/297190861251762613*c_0101_3^3 + 6287657339102302634/297190861251762613*c_0101_3^2 + 2556198342553262847/297190861251762613*c_0101_3 + 128854216594252761/297190861251762613, c_0101_3^14 - 38*c_0101_3^13 - 327/4*c_0101_3^12 + 203/4*c_0101_3^11 + 699/4*c_0101_3^10 + 255/2*c_0101_3^9 + 84*c_0101_3^8 + 209/4*c_0101_3^7 + 203/4*c_0101_3^6 + 39/4*c_0101_3^5 - 33/4*c_0101_3^4 - 55/4*c_0101_3^3 - 13/2*c_0101_3^2 - 2*c_0101_3 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB