Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 3187417426] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1929 geometric_solution 5.52465150 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 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.679116735307 0.185512921001 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 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 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.462042676764 0.642673975266 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 -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 -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.153500540871 0.413615951108 2 5 6 4 0132 0132 0132 0321 0 0 0 0 0 0 0 0 -1 0 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 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.619901762951 1.058315285985 6 3 2 5 2310 0321 0132 2310 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 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.619901762951 1.058315285985 4 3 6 6 3201 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.533678298824 0.586049345998 5 5 4 3 3012 1230 3201 0132 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 1 0 -1 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.753720126260 1.199151083899 ==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' : negation(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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1646435440180456820322998995/58192549818967231826965121536*c_0101_0\ *c_0101_5^14 - 4215381196987275824964797437/58192549818967231826965\ 121536*c_0101_0*c_0101_5^13 + 39585133022640282988359604885/5819254\ 9818967231826965121536*c_0101_0*c_0101_5^12 - 17117809916374278846781814889/7274068727370903978370640192*c_0101_0\ *c_0101_5^11 + 5625324931411790648770535657/14548137454741807956741\ 280384*c_0101_0*c_0101_5^10 + 279402166088693523173302342167/581925\ 49818967231826965121536*c_0101_0*c_0101_5^9 - 1669144437762319124552530541735/58192549818967231826965121536*c_010\ 1_0*c_0101_5^8 + 178676132524933824579849502951/7274068727370903978\ 370640192*c_0101_0*c_0101_5^7 - 34108679981039551855298360153/90925\ 8590921362997296330024*c_0101_0*c_0101_5^6 + 382168324149130421625660846277/7274068727370903978370640192*c_0101_\ 0*c_0101_5^5 + 20210981375426122221093884775/1914228612466027362729\ 11584*c_0101_0*c_0101_5^4 + 5294648967789033245961691073/9092585909\ 21362997296330024*c_0101_0*c_0101_5^3 + 30082943220058857274692646005/909258590921362997296330024*c_0101_0*\ c_0101_5^2 + 1249633814383491592224301179/2273146477303407493240825\ 06*c_0101_0*c_0101_5 - 2880464270163000468303295743/227314647730340\ 749324082506*c_0101_0, c_0011_0 - 1, c_0011_1 + 317858467808315885/2188590291395348214956*c_0101_5^14 + 2884832705583468765/35017444662325571439296*c_0101_5^13 - 134397913059837802857/35017444662325571439296*c_0101_5^12 + 692011292532637240497/35017444662325571439296*c_0101_5^11 - 317238717771061419495/8754361165581392859824*c_0101_5^10 + 168290721981082435455/8754361165581392859824*c_0101_5^9 + 5808421616103284484943/35017444662325571439296*c_0101_5^8 - 16712824130897198408811/35017444662325571439296*c_0101_5^7 + 7676802167922531601427/8754361165581392859824*c_0101_5^6 - 5473523637177602793469/4377180582790696429912*c_0101_5^5 + 871186097888998670545/1094295145697674107478*c_0101_5^4 - 195615512322793773600/547147572848837053739*c_0101_5^3 - 463951602777098092365/1094295145697674107478*c_0101_5^2 + 417293127656816391097/1094295145697674107478*c_0101_5 + 240540255991904201434/547147572848837053739, c_0011_4 - 317858467808315885/2188590291395348214956*c_0101_0*c_0101_5^\ 14 - 2884832705583468765/35017444662325571439296*c_0101_0*c_0101_5^\ 13 + 134397913059837802857/35017444662325571439296*c_0101_0*c_0101_\ 5^12 - 692011292532637240497/35017444662325571439296*c_0101_0*c_010\ 1_5^11 + 317238717771061419495/8754361165581392859824*c_0101_0*c_01\ 01_5^10 - 168290721981082435455/8754361165581392859824*c_0101_0*c_0\ 101_5^9 - 5808421616103284484943/35017444662325571439296*c_0101_0*c\ _0101_5^8 + 16712824130897198408811/35017444662325571439296*c_0101_\ 0*c_0101_5^7 - 7676802167922531601427/8754361165581392859824*c_0101\ _0*c_0101_5^6 + 5473523637177602793469/4377180582790696429912*c_010\ 1_0*c_0101_5^5 - 871186097888998670545/1094295145697674107478*c_010\ 1_0*c_0101_5^4 + 195615512322793773600/547147572848837053739*c_0101\ _0*c_0101_5^3 + 463951602777098092365/1094295145697674107478*c_0101\ _0*c_0101_5^2 - 417293127656816391097/1094295145697674107478*c_0101\ _0*c_0101_5 + 306607316856932852305/547147572848837053739*c_0101_0, c_0011_6 - 36886962544245197505/70034889324651142878592*c_0101_0*c_0101\ _5^14 - 54484292173327366599/35017444662325571439296*c_0101_0*c_010\ 1_5^13 + 426843774775065319017/35017444662325571439296*c_0101_0*c_0\ 101_5^12 - 2695313431579692570875/70034889324651142878592*c_0101_0*\ c_0101_5^11 - 95001602127058304859/8754361165581392859824*c_0101_0*\ c_0101_5^10 + 6479556836131634153609/70034889324651142878592*c_0101\ _0*c_0101_5^9 - 17015976952576534902897/35017444662325571439296*c_0\ 101_0*c_0101_5^8 + 17354771977516837714313/70034889324651142878592*\ c_0101_0*c_0101_5^7 - 9094930254798447121539/1750872233116278571964\ 8*c_0101_0*c_0101_5^6 + 1934535111636117335339/21885902913953482149\ 56*c_0101_0*c_0101_5^5 + 10433565003923789022377/437718058279069642\ 9912*c_0101_0*c_0101_5^4 + 2823092188566686315907/43771805827906964\ 29912*c_0101_0*c_0101_5^3 + 2061472249501415498667/2188590291395348\ 214956*c_0101_0*c_0101_5^2 - 277605360823708917743/5471475728488370\ 53739*c_0101_0*c_0101_5 - 137821728486476134500/5471475728488370537\ 39*c_0101_0, c_0101_0^2 - 317858467808315885/2188590291395348214956*c_0101_5^14 - 2884832705583468765/35017444662325571439296*c_0101_5^13 + 134397913059837802857/35017444662325571439296*c_0101_5^12 - 692011292532637240497/35017444662325571439296*c_0101_5^11 + 317238717771061419495/8754361165581392859824*c_0101_5^10 - 168290721981082435455/8754361165581392859824*c_0101_5^9 - 5808421616103284484943/35017444662325571439296*c_0101_5^8 + 16712824130897198408811/35017444662325571439296*c_0101_5^7 - 7676802167922531601427/8754361165581392859824*c_0101_5^6 + 5473523637177602793469/4377180582790696429912*c_0101_5^5 - 871186097888998670545/1094295145697674107478*c_0101_5^4 + 195615512322793773600/547147572848837053739*c_0101_5^3 + 463951602777098092365/1094295145697674107478*c_0101_5^2 - 417293127656816391097/1094295145697674107478*c_0101_5 - 787687828840741255173/547147572848837053739, c_0101_3 + 4161764212663766881/35017444662325571439296*c_0101_5^14 + 20468059283741699943/35017444662325571439296*c_0101_5^13 - 74103810184911065141/35017444662325571439296*c_0101_5^12 + 55167051400008988401/17508722331162785719648*c_0101_5^11 + 365176242105364142077/17508722331162785719648*c_0101_5^10 - 740032663017616997345/35017444662325571439296*c_0101_5^9 + 2439144669293256977405/35017444662325571439296*c_0101_5^8 + 3052852438240745122867/17508722331162785719648*c_0101_5^7 - 1215681027397625799877/17508722331162785719648*c_0101_5^6 + 847605542481631625531/8754361165581392859824*c_0101_5^5 - 512157603240964129793/547147572848837053739*c_0101_5^4 - 6484303077081603366379/4377180582790696429912*c_0101_5^3 - 72269711845164141155/1094295145697674107478*c_0101_5^2 + 79559028089623750261/1094295145697674107478*c_0101_5 + 168535939954907829089/547147572848837053739, c_0101_5^15 + 3*c_0101_5^14 - 23*c_0101_5^13 + 72*c_0101_5^12 + 24*c_0101_5^11 - 173*c_0101_5^10 + 905*c_0101_5^9 - 392*c_0101_5^8 + 916*c_0101_5^7 - 1608*c_0101_5^6 - 4208*c_0101_5^5 - 2400*c_0101_5^4 + 64*c_0101_5^3 + 256*c_0101_5^2 + 512*c_0101_5 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB