Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 795784141] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0555 geometric_solution 4.57473662 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0.478658403509 0.127099156758 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569769109421 0.391105925698 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 1 -1 0 1 0 -1 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 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.447554452181 1.986760451437 4 2 5 4 3201 0132 0132 2310 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 0 0 0 0 -1 1 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.102376546702 0.644164489729 3 5 2 3 3201 0132 0132 2310 0 0 0 0 0 -1 0 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 1 0 -1 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.102376546702 0.644164489729 6 4 6 3 0132 0132 1023 0132 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 -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 2.054784408081 1.147759198232 5 6 5 6 0132 1302 1023 2031 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 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.421576724727 0.320854118971 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : 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' : 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_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], '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_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 2344593394588804114936612036085/586489528571821003420075442624*c_10\ 01_3^14 - 50157127461194548314607163709441/586489528571821003420075\ 442624*c_1001_3^13 - 157614407025517621258661537031663/293244764285\ 910501710037721312*c_1001_3^12 - 69718310918094688007524983224713/7\ 3311191071477625427509430328*c_1001_3^11 + 432524358281929777167895634490311/293244764285910501710037721312*c_\ 1001_3^10 + 815133779527869512411026723662137/293244764285910501710\ 037721312*c_1001_3^9 - 5300618572558183388030692084721925/586489528\ 571821003420075442624*c_1001_3^8 - 1565654694660278917464594139771803/293244764285910501710037721312*c\ _1001_3^7 + 8244382272757455585337538539639941/29324476428591050171\ 0037721312*c_1001_3^6 + 1599268058692820196003984712231293/58648952\ 8571821003420075442624*c_1001_3^5 - 544107538187122718286549559372501/18327797767869406356877357582*c_1\ 001_3^4 + 11374086879425189264096620858331/183277977678694063568773\ 57582*c_1001_3^3 + 6466544964908301844856152498269021/5864895285718\ 21003420075442624*c_1001_3^2 + 32667355105574330067868716947619/586\ 489528571821003420075442624*c_1001_3 - 675377710223893867682877282151117/586489528571821003420075442624, c_0011_0 - 1, c_0011_1 - 8522638003217673609721161/539052875525570775202275223*c_1001\ _3^14 - 198876008918301059591641794/539052875525570775202275223*c_1\ 001_3^13 - 1505942225412996304036404763/539052875525570775202275223\ *c_1001_3^12 - 4389509777316732878583335061/53905287552557077520227\ 5223*c_1001_3^11 - 1796582012965347180899514619/5390528755255707752\ 02275223*c_1001_3^10 + 9236563729392935932491358871/539052875525570\ 775202275223*c_1001_3^9 - 8746488956596326546750742724/539052875525\ 570775202275223*c_1001_3^8 - 43661513145279835867041537674/53905287\ 5525570775202275223*c_1001_3^7 + 31130819763864745270280899054/5390\ 52875525570775202275223*c_1001_3^6 + 98407988668167998760241359395/539052875525570775202275223*c_1001_3^\ 5 - 32458566144198973671078746665/539052875525570775202275223*c_100\ 1_3^4 - 70350057617749455478587683153/539052875525570775202275223*c\ _1001_3^3 + 17997221837293205794422474261/5390528755255707752022752\ 23*c_1001_3^2 + 11275576470976988671259451125/539052875525570775202\ 275223*c_1001_3 - 4511397610085981167090990253/53905287552557077520\ 2275223, c_0011_4 + 2169200828962366152320677/539052875525570775202275223*c_1001\ _3^14 + 34266696851498642167050156/539052875525570775202275223*c_10\ 01_3^13 + 31197682251499628627361614/539052875525570775202275223*c_\ 1001_3^12 - 1138430400527456847258866984/53905287552557077520227522\ 3*c_1001_3^11 - 3919815820544319260788169626/5390528755255707752022\ 75223*c_1001_3^10 + 1936265931825215052328387457/539052875525570775\ 202275223*c_1001_3^9 + 11767089222897395109445610791/53905287552557\ 0775202275223*c_1001_3^8 - 23114630458711441997188352615/5390528755\ 25570775202275223*c_1001_3^7 - 29335189329827627247210339366/539052\ 875525570775202275223*c_1001_3^6 + 72155624616002392150458664151/539052875525570775202275223*c_1001_3^\ 5 + 17928590313953847492946930731/539052875525570775202275223*c_100\ 1_3^4 - 59249246225409126289008416071/539052875525570775202275223*c\ _1001_3^3 + 6446970810083672467851203359/53905287552557077520227522\ 3*c_1001_3^2 + 10487239229260675146392635843/5390528755255707752022\ 75223*c_1001_3 - 3486922874813242832831608885/539052875525570775202\ 275223, c_0101_0 - 23863235979257890202688582/539052875525570775202275223*c_100\ 1_3^14 - 496204827214635019198515665/539052875525570775202275223*c_\ 1001_3^13 - 2914506561595028150071074143/53905287552557077520227522\ 3*c_1001_3^12 - 4008429068843666701466576532/5390528755255707752022\ 75223*c_1001_3^11 + 10620626423041149268071953824/53905287552557077\ 5202275223*c_1001_3^10 + 8501087746580150922362337952/5390528755255\ 70775202275223*c_1001_3^9 - 60042615082323644163431069827/539052875\ 525570775202275223*c_1001_3^8 + 6694632805506959417431216204/539052\ 875525570775202275223*c_1001_3^7 + 160128670784426930792186226537/539052875525570775202275223*c_1001_3\ ^6 - 94878889591440075727017372548/539052875525570775202275223*c_10\ 01_3^5 - 112168281477664571929129367266/539052875525570775202275223\ *c_1001_3^4 + 101162082029052737466159289688/5390528755255707752022\ 75223*c_1001_3^3 + 1748275998858800386979576079/5390528755255707752\ 02275223*c_1001_3^2 - 19016859979163724855641773443/539052875525570\ 775202275223*c_1001_3 + 5165025952082414458113875674/53905287552557\ 0775202275223, c_0101_1 + 36829350919244266663796244/539052875525570775202275223*c_100\ 1_3^14 + 779051964608320912827195862/539052875525570775202275223*c_\ 1001_3^13 + 4780451228161795790726320181/53905287552557077520227522\ 3*c_1001_3^12 + 7954444701764330160346735189/5390528755255707752022\ 75223*c_1001_3^11 - 13237247752100170108940317843/53905287552557077\ 5202275223*c_1001_3^10 - 17493410011800946173279006040/539052875525\ 570775202275223*c_1001_3^9 + 85049616124589609403853476751/53905287\ 5525570775202275223*c_1001_3^8 + 18562403371673401167159485071/5390\ 52875525570775202275223*c_1001_3^7 - 234709995726466786184789329485/539052875525570775202275223*c_1001_3\ ^6 + 62461426172637957509441026455/539052875525570775202275223*c_10\ 01_3^5 + 176328216750152784277682622917/539052875525570775202275223\ *c_1001_3^4 - 89261304888293549007866684556/53905287552557077520227\ 5223*c_1001_3^3 - 18068125210818822115085242265/5390528755255707752\ 02275223*c_1001_3^2 + 19810376488544172830009443442/539052875525570\ 775202275223*c_1001_3 - 3391717415268721323254279939/53905287552557\ 0775202275223, c_0101_5 - 37324253424193608664180915/539052875525570775202275223*c_100\ 1_3^14 - 787875636289554227669995110/539052875525570775202275223*c_\ 1001_3^13 - 4809132804245087063917704820/53905287552557077520227522\ 3*c_1001_3^12 - 7831519098666527445269607629/5390528755255707752022\ 75223*c_1001_3^11 + 13873771498613364697756561388/53905287552557077\ 5202275223*c_1001_3^10 + 17331706387303731119720795867/539052875525\ 570775202275223*c_1001_3^9 - 87185732583174526106094755980/53905287\ 5525570775202275223*c_1001_3^8 - 15416800360265799484033162732/5390\ 52875525570775202275223*c_1001_3^7 + 240339381783418578757105130477/539052875525570775202275223*c_1001_3\ ^6 - 72977277869301180279665927566/539052875525570775202275223*c_10\ 01_3^5 - 180473848532919592651917218206/539052875525570775202275223\ *c_1001_3^4 + 98393075825495178728709396139/53905287552557077520227\ 5223*c_1001_3^3 + 17520900692862328080268515026/5390528755255707752\ 02275223*c_1001_3^2 - 21529314883729686876246955523/539052875525570\ 775202275223*c_1001_3 + 4058422445304539198529919924/53905287552557\ 0775202275223, c_1001_3^15 + 21*c_1001_3^14 + 126*c_1001_3^13 + 184*c_1001_3^12 - 470*c_1001_3^11 - 570*c_1001_3^10 + 2529*c_1001_3^9 + 470*c_1001_3^8 - 7634*c_1001_3^7 + 1959*c_1001_3^6 + 7848*c_1001_3^5 - 2912*c_1001_3^4 - 2697*c_1001_3^3 + 1041*c_1001_3^2 + 241*c_1001_3 - 136 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB