Magma V2.19-8 Tue Aug 20 2013 16:18:17 on localhost [Seed = 3187417225] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2497 geometric_solution 5.81954159 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 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 -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.712196124242 0.786864952315 0 4 4 2 0132 0132 1230 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.345603461818 0.969617734215 5 0 1 5 0132 0132 2031 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.308355370818 0.609072936635 0 4 6 0 3201 1023 0132 0132 0 0 0 0 0 1 0 -1 1 0 -1 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 -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.565422614613 0.345480586804 3 1 6 1 1023 0132 2103 3012 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666921940519 0.320742965451 2 6 6 2 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.488928910861 0.863009692637 4 5 5 3 2103 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.960957082689 1.021175305688 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_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_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_6'], '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 7646596541408209/101639591203650*c_0101_5^14 + 12250280397745717/50819795601825*c_0101_5^13 + 8056073805255271/12196750944438*c_0101_5^12 + 114715917062212292/152459386805475*c_0101_5^11 + 172281185407406897/152459386805475*c_0101_5^10 + 52431583274227406/50819795601825*c_0101_5^9 + 584035455227708023/304918773610950*c_0101_5^8 + 301806136757525339/101639591203650*c_0101_5^7 + 11564732259914111/152459386805475*c_0101_5^6 - 89079654015330359/60983754722190*c_0101_5^5 - 24278165587607063/20327918240730*c_0101_5^4 - 82025460892008632/152459386805475*c_0101_5^3 + 1321716367379213/101639591203650*c_0101_5^2 - 5416416605678813/152459386805475*c_0101_5 + 9180172101141503/304918773610950, c_0011_0 - 1, c_0011_6 - 260667036831/677597274691*c_0101_5^14 - 323163545655/677597274691*c_0101_5^13 - 256031322079/677597274691*c_0101_5^12 + 3168610786527/677597274691*c_0101_5^11 + 4711998457883/677597274691*c_0101_5^10 + 8206086557096/677597274691*c_0101_5^9 + 6391860438963/677597274691*c_0101_5^8 + 8333961357827/677597274691*c_0101_5^7 + 30007924170876/677597274691*c_0101_5^6 + 21430989701325/677597274691*c_0101_5^5 - 4957890305838/677597274691*c_0101_5^4 - 14379228443210/677597274691*c_0101_5^3 - 11031731067985/677597274691*c_0101_5^2 - 2766727891611/677597274691*c_0101_5 - 247139480475/677597274691, c_0101_0 + 2980970851986/677597274691*c_0101_5^14 + 9093793387092/677597274691*c_0101_5^13 + 24377120093562/677597274691*c_0101_5^12 + 24647339126084/677597274691*c_0101_5^11 + 37086215912732/677597274691*c_0101_5^10 + 30096324116685/677597274691*c_0101_5^9 + 64310833880466/677597274691*c_0101_5^8 + 100519196274200/677597274691*c_0101_5^7 - 23936283472768/677597274691*c_0101_5^6 - 73333720152103/677597274691*c_0101_5^5 - 41169668431728/677597274691*c_0101_5^4 - 5915867418054/677597274691*c_0101_5^3 + 9403041702410/677597274691*c_0101_5^2 + 87635494067/677597274691*c_0101_5 + 1382077887231/677597274691, c_0101_1 + 2048088910359/677597274691*c_0101_5^14 + 6404933767908/677597274691*c_0101_5^13 + 17129904095149/677597274691*c_0101_5^12 + 17943638703033/677597274691*c_0101_5^11 + 25993795448697/677597274691*c_0101_5^10 + 21861821459301/677597274691*c_0101_5^9 + 44345989059980/677597274691*c_0101_5^8 + 71464788819144/677597274691*c_0101_5^7 - 13577208742030/677597274691*c_0101_5^6 - 54661708422214/677597274691*c_0101_5^5 - 31625430107146/677597274691*c_0101_5^4 - 5061154097649/677597274691*c_0101_5^3 + 7834545382158/677597274691*c_0101_5^2 + 1836892107683/677597274691*c_0101_5 + 929835783928/677597274691, c_0101_2 - 474134651124/677597274691*c_0101_5^14 - 648798021300/677597274691*c_0101_5^13 - 1435515846230/677597274691*c_0101_5^12 + 2737871214685/677597274691*c_0101_5^11 + 1151877544674/677597274691*c_0101_5^10 + 6244319357654/677597274691*c_0101_5^9 - 766841113034/677597274691*c_0101_5^8 + 3055003630973/677597274691*c_0101_5^7 + 32731015202368/677597274691*c_0101_5^6 + 8497617810346/677597274691*c_0101_5^5 - 8108962490554/677597274691*c_0101_5^4 - 9384206938598/677597274691*c_0101_5^3 - 6145948354723/677597274691*c_0101_5^2 + 499377989712/677597274691*c_0101_5 - 769585315730/677597274691, c_0101_4 + 2506926475197/677597274691*c_0101_5^14 + 8779965317592/677597274691*c_0101_5^13 + 24473823185724/677597274691*c_0101_5^12 + 31819589794556/677597274691*c_0101_5^11 + 45602334409005/677597274691*c_0101_5^10 + 45930670793553/677597274691*c_0101_5^9 + 74624944054353/677597274691*c_0101_5^8 + 118234908538716/677597274691*c_0101_5^7 + 32995920442659/677597274691*c_0101_5^6 - 46443065193042/677597274691*c_0101_5^5 - 56262778605091/677597274691*c_0101_5^4 - 31949226817553/677597274691*c_0101_5^3 - 5373205315024/677597274691*c_0101_5^2 - 1176975264403/677597274691*c_0101_5 + 769585315730/677597274691, c_0101_5^15 + 4*c_0101_5^14 + 34/3*c_0101_5^13 + 17*c_0101_5^12 + 23*c_0101_5^11 + 77/3*c_0101_5^10 + 109/3*c_0101_5^9 + 179/3*c_0101_5^8 + 97/3*c_0101_5^7 - 56/3*c_0101_5^6 - 95/3*c_0101_5^5 - 61/3*c_0101_5^4 - 17/3*c_0101_5^3 - 1/3*c_0101_5^2 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB