Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 795784168] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0246 geometric_solution 4.27207949 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.819031981506 0.168092594345 0 0 2 2 0132 3201 3201 0132 0 0 0 0 0 1 0 -1 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 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.294584118786 0.054912601276 1 3 1 3 2310 0132 0132 2310 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 1 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.765108608827 0.884219653510 2 2 5 4 3201 0132 0132 0132 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 -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.097865344532 2.438825418051 5 6 3 6 1023 0132 0132 2310 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 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.611130410588 0.809652673837 6 4 6 3 3201 1023 1023 0132 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611130410588 0.809652673837 4 4 5 5 3201 0132 1023 2310 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 0 0 0 0 0 0 0.537385040657 0.313272922357 ==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' : negation(d['1']), 's_3_0' : 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' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : 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_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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_0101_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 2309740041203/38746871190912*c_0101_5^16 + 29035150906195/19373435595456*c_0101_5^14 - 157659154632329/19373435595456*c_0101_5^12 - 601177845535969/19373435595456*c_0101_5^10 + 151305777732379/4078618020096*c_0101_5^8 + 1851035822066833/9686717797728*c_0101_5^6 - 1946723551427887/9686717797728*c_0101_5^4 - 3161922054707/605419862358*c_0101_5^2 - 4433666026904/100903310393, c_0011_0 - 1, c_0011_2 - 27998296591/12915623730304*c_0101_5^16 + 1044952575481/19373435595456*c_0101_5^14 - 5468547148643/19373435595456*c_0101_5^12 - 23124994578895/19373435595456*c_0101_5^10 + 78193207953695/77493742381824*c_0101_5^8 + 1772720045879/254913626256*c_0101_5^6 - 28991860570285/4843358898864*c_0101_5^4 - 888735422009/605419862358*c_0101_5^2 - 83297650870/302709931179, c_0011_4 + 6089138819/3228905932576*c_0101_5^16 - 454174059983/9686717797728*c_0101_5^14 + 148289739401/605419862358*c_0101_5^12 + 627907010063/605419862358*c_0101_5^10 - 16323957808687/19373435595456*c_0101_5^8 - 112391606885033/19373435595456*c_0101_5^6 + 1570147841522/302709931179*c_0101_5^4 + 76124740351/1210839724716*c_0101_5^2 + 131868209783/302709931179, c_0101_0 - 102716098453/77493742381824*c_0101_5^17 + 1304035841317/38746871190912*c_0101_5^15 - 7363854095779/38746871190912*c_0101_5^13 - 24254971496527/38746871190912*c_0101_5^11 + 141053817173111/154987484763648*c_0101_5^9 + 68866533514423/19373435595456*c_0101_5^7 - 54846841812589/9686717797728*c_0101_5^5 + 4001446957093/1210839724716*c_0101_5^3 - 260322140603/201806620786*c_0101_5, c_0101_1 + 22054138463/9686717797728*c_0101_5^17 - 554274054025/9686717797728*c_0101_5^15 + 250734600407/807226483144*c_0101_5^13 + 1429056990377/1210839724716*c_0101_5^11 - 26504988825209/19373435595456*c_0101_5^9 - 137937227782159/19373435595456*c_0101_5^7 + 36647588866861/4843358898864*c_0101_5^5 - 1116688305181/1210839724716*c_0101_5^3 + 951683591389/605419862358*c_0101_5, c_0101_4 + 39577615523/25831247460608*c_0101_5^17 - 1463440641059/38746871190912*c_0101_5^15 + 2460676219057/12915623730304*c_0101_5^13 + 34649370105887/38746871190912*c_0101_5^11 - 27686591602497/51662494921216*c_0101_5^9 - 202082137526383/38746871190912*c_0101_5^7 + 8981410072443/3228905932576*c_0101_5^5 + 5166646130063/2421679449432*c_0101_5^3 + 169909284467/201806620786*c_0101_5, c_0101_5^18 - 26*c_0101_5^16 + 158*c_0101_5^14 + 406*c_0101_5^12 - 2171/2*c_0101_5^10 - 2712*c_0101_5^8 + 6248*c_0101_5^6 - 2496*c_0101_5^4 - 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB