Magma V2.19-8 Tue Aug 20 2013 16:18:23 on localhost [Seed = 2699115918] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2590 geometric_solution 5.88354455 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 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 1 -1 2 0 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.279440563686 0.287719141362 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 -1 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 -2 2 -2 0 1 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.997373604910 0.616806677010 4 1 3 5 0132 0132 1302 0132 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 0 0 0 0 0 -1 1 -1 0 -1 2 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.424543861537 0.662108940722 2 6 6 1 2031 0132 1302 0132 0 0 0 0 0 -1 0 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 0 0 0 0 -2 0 2 1 0 0 -1 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.424543861537 0.662108940722 2 6 5 5 0132 0213 0213 2103 0 0 0 0 0 0 -1 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 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.138766261674 0.857860155585 6 4 2 4 3012 0213 0132 2103 0 0 0 0 0 1 -1 0 1 0 -1 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 2 0 -2 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.589664042508 0.338289239947 3 3 4 5 2031 0132 0213 1230 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 2 0 -2 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.313730686817 1.070289996318 ==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' : 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' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0110_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0011_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_1001_1'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], '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_0011_5'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0110_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 33375327725319710720783/82457787890656077920*c_1001_1^17 + 800854287398386386365191/113379458349652107140*c_1001_1^16 - 52678191237275578255078353/907035666797216857120*c_1001_1^15 + 273316544186360394978944833/907035666797216857120*c_1001_1^14 - 503104615823008353549900231/453517833398608428560*c_1001_1^13 + 34973815231697856977685435/11337945834965210714*c_1001_1^12 - 6104239760335913044647456587/907035666797216857120*c_1001_1^11 + 972860716117081424829513437/82457787890656077920*c_1001_1^10 - 15299914937732994490666885687/907035666797216857120*c_1001_1^9 + 3596613535641737056935779497/181407133359443371424*c_1001_1^8 - 17414323051577864754097886553/907035666797216857120*c_1001_1^7 + 1258501716604205940028032699/82457787890656077920*c_1001_1^6 - 894026616597380854457552649/90703566679721685712*c_1001_1^5 + 1150107843998949803752359843/226758916699304214280*c_1001_1^4 - 364758933889810008096505667/181407133359443371424*c_1001_1^3 + 47790100140420813918543009/82457787890656077920*c_1001_1^2 - 19713265838299857033883337/181407133359443371424*c_1001_1 + 572941428769952103725669/56689729174826053570, c_0011_0 - 1, c_0011_3 + 57602431827824979183/1030722348633200974*c_1001_1^17 - 929098778445888273783/1030722348633200974*c_1001_1^16 + 7045411528507186961097/1030722348633200974*c_1001_1^15 - 16851417486817172996744/515361174316600487*c_1001_1^14 + 114319694815591992465111/1030722348633200974*c_1001_1^13 - 146303119976511137889350/515361174316600487*c_1001_1^12 + 586908124339172281408033/1030722348633200974*c_1001_1^11 - 471893089848157945507259/515361174316600487*c_1001_1^10 + 616900208834469316123028/515361174316600487*c_1001_1^9 - 659850252780543708306833/515361174316600487*c_1001_1^8 + 577675488244200088301175/515361174316600487*c_1001_1^7 - 411234094224297104681330/515361174316600487*c_1001_1^6 + 469387475976816198798649/1030722348633200974*c_1001_1^5 - 104638348627131055099173/515361174316600487*c_1001_1^4 + 69823772950019245776953/1030722348633200974*c_1001_1^3 - 8087221040624632307307/515361174316600487*c_1001_1^2 + 1129460005411222418662/515361174316600487*c_1001_1 - 130380687760633450929/1030722348633200974, c_0011_5 - 119737078043960091/2061444697266401948*c_1001_1^17 + 2797712770510893487/2061444697266401948*c_1001_1^16 - 28572253328538256371/2061444697266401948*c_1001_1^15 + 87344145133866687809/1030722348633200974*c_1001_1^14 - 730052741154608375357/2061444697266401948*c_1001_1^13 + 1119338226504031030499/1030722348633200974*c_1001_1^12 - 5258246069173438421037/2061444697266401948*c_1001_1^11 + 4862716088509338263379/1030722348633200974*c_1001_1^10 - 7202463244294740389531/1030722348633200974*c_1001_1^9 + 4311617857188106509092/515361174316600487*c_1001_1^8 - 8366184898886251495689/1030722348633200974*c_1001_1^7 + 6549111033364757872957/1030722348633200974*c_1001_1^6 - 8170598797474022163941/2061444697266401948*c_1001_1^5 + 1985190914745318980389/1030722348633200974*c_1001_1^4 - 1446517961784510032301/2061444697266401948*c_1001_1^3 + 184657273267777023991/1030722348633200974*c_1001_1^2 - 15140407410513253558/515361174316600487*c_1001_1 + 4777804152596914863/2061444697266401948, c_0101_0 + 13747499702541389290/515361174316600487*c_1001_1^17 - 228103750842265085213/515361174316600487*c_1001_1^16 + 1784804538774552261200/515361174316600487*c_1001_1^15 - 8832366656615924967222/515361174316600487*c_1001_1^14 + 31080186476866867879580/515361174316600487*c_1001_1^13 - 82782032694818419378404/515361174316600487*c_1001_1^12 + 173366226807373158208688/515361174316600487*c_1001_1^11 - 292254487738754237533221/515361174316600487*c_1001_1^10 + 402423397070573914501890/515361174316600487*c_1001_1^9 - 456086488857185276639303/515361174316600487*c_1001_1^8 + 426262507674537721596730/515361174316600487*c_1001_1^7 - 327185494178827812946286/515361174316600487*c_1001_1^6 + 204044970159332536810233/515361174316600487*c_1001_1^5 - 101331844511548869667661/515361174316600487*c_1001_1^4 + 38732110546911613952055/515361174316600487*c_1001_1^3 - 10741119261723313453349/515361174316600487*c_1001_1^2 + 1931747082211807947511/515361174316600487*c_1001_1 - 169936959086108375501/515361174316600487, c_0101_1 - 46330496920260171718/515361174316600487*c_1001_1^17 + 774578783479902192616/515361174316600487*c_1001_1^16 - 6103288148636241874087/515361174316600487*c_1001_1^15 + 30387578933590817233847/515361174316600487*c_1001_1^14 - 107480208676581862966769/515361174316600487*c_1001_1^13 + 287442634439026312573942/515361174316600487*c_1001_1^12 - 603756742808415534186159/515361174316600487*c_1001_1^11 + 1019643527208605026450333/515361174316600487*c_1001_1^10 - 1404850335363947710886295/515361174316600487*c_1001_1^9 + 1591124111437682364168202/515361174316600487*c_1001_1^8 - 1483999480302093871604136/515361174316600487*c_1001_1^7 + 1134956602261835712817080/515361174316600487*c_1001_1^6 - 703952670738205842727029/515361174316600487*c_1001_1^5 + 346957280972868202912621/515361174316600487*c_1001_1^4 - 131260931751643515133827/515361174316600487*c_1001_1^3 + 35922213640877229473588/515361174316600487*c_1001_1^2 - 6357207015714655366636/515361174316600487*c_1001_1 + 551849382867696031067/515361174316600487, c_0110_5 - 63765625943792609683/2061444697266401948*c_1001_1^17 + 1037774976404093369501/2061444697266401948*c_1001_1^16 - 7947720673948451367107/2061444697266401948*c_1001_1^15 + 9606634392634146943070/515361174316600487*c_1001_1^14 - 131854496460300902853859/2061444697266401948*c_1001_1^13 + 170869378064157895920211/1030722348633200974*c_1001_1^12 - 694858508781859887744849/2061444697266401948*c_1001_1^11 + 283565312666674031659089/515361174316600487*c_1001_1^10 - 376927956463029845999776/515361174316600487*c_1001_1^9 + 821651966730501076358763/1030722348633200974*c_1001_1^8 - 367521016831613194756047/515361174316600487*c_1001_1^7 + 268383747898510712130746/515361174316600487*c_1001_1^6 - 631932214282065084574783/2061444697266401948*c_1001_1^5 + 146519072847039230664563/1030722348633200974*c_1001_1^4 - 103040393274946257759857/2061444697266401948*c_1001_1^3 + 6435385873954039641517/515361174316600487*c_1001_1^2 - 2025093899207824999889/1030722348633200974*c_1001_1 + 296730385070703637113/2061444697266401948, c_1001_1^18 - 186/11*c_1001_1^17 + 1486/11*c_1001_1^16 - 7521/11*c_1001_1^15 + 27119/11*c_1001_1^14 - 74175/11*c_1001_1^13 + 159919/11*c_1001_1^12 - 25309*c_1001_1^11 + 397424/11*c_1001_1^10 - 469350/11*c_1001_1^9 + 460206/11*c_1001_1^8 - 34008*c_1001_1^7 + 250395/11*c_1001_1^6 - 136179/11*c_1001_1^5 + 58855/11*c_1001_1^4 - 1773*c_1001_1^3 + 4670/11*c_1001_1^2 - 723/11*c_1001_1 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB