Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 155751919] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0773 geometric_solution 4.71748146 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2031 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 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.653747343551 1.247455659667 0 4 3 4 0132 0132 1302 2310 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 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.698459906294 0.507719101254 5 0 3 5 0132 0132 3120 3201 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366825615184 0.762586406633 1 0 2 0 2031 1302 3120 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 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.670412373859 0.628906493681 1 1 6 6 3201 0132 0132 3201 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 0 0 0 0 0.450274510930 0.143294187844 2 2 5 5 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.910781186094 0.584617632241 6 4 6 4 2310 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.437518819895 0.223220726805 ==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_6']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), '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_0110_4'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : d['c_0011_3']})} 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_6, c_0101_0, c_0101_2, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 2130836618227222350320427260275/6577529661689727593502932369*c_0110\ _4^17 - 3894644197822555649847798398836/657752966168972759350293236\ 9*c_0110_4^16 + 12537338226868250378346535465439/657752966168972759\ 3502932369*c_0110_4^15 + 13256313563573552234774794745589/657752966\ 1689727593502932369*c_0110_4^14 - 43866983024190319881223639759812/\ 6577529661689727593502932369*c_0110_4^13 + 28955895175209063442240613543105/6577529661689727593502932369*c_011\ 0_4^12 + 212797021923828566530620437172644/657752966168972759350293\ 2369*c_0110_4^11 - 24567278807006609137986577942176/657752966168972\ 7593502932369*c_0110_4^10 - 293118087140349381962907132677214/65775\ 29661689727593502932369*c_0110_4^9 + 133134551102336984784680545694312/6577529661689727593502932369*c_01\ 10_4^8 + 153064469018068003483930033607792/657752966168972759350293\ 2369*c_0110_4^7 - 318412198826479015446274419689006/657752966168972\ 7593502932369*c_0110_4^6 - 160353932193060084414107312187425/657752\ 9661689727593502932369*c_0110_4^5 + 244993162429665702477010074035335/6577529661689727593502932369*c_01\ 10_4^4 + 91442986462884262258709291319896/6577529661689727593502932\ 369*c_0110_4^3 - 77961906633587916886670921640888/65775296616897275\ 93502932369*c_0110_4^2 + 7008511124923424412926007091316/6577529661\ 689727593502932369*c_0110_4 + 905498666722177059246864533314/657752\ 9661689727593502932369, c_0011_0 - 1, c_0011_3 - 11908237218207554995776025279/6577529661689727593502932369*c\ _0110_4^17 - 19631601610140210033395409541/657752966168972759350293\ 2369*c_0110_4^16 + 74111980267466587195070949000/657752966168972759\ 3502932369*c_0110_4^15 + 61876498311636246452478935393/657752966168\ 9727593502932369*c_0110_4^14 - 259071282342012994997824969637/65775\ 29661689727593502932369*c_0110_4^13 + 204564980411441101385406420706/6577529661689727593502932369*c_0110_\ 4^12 + 1162416311198002440939228783827/6577529661689727593502932369\ *c_0110_4^11 - 351545044286227682132432279185/657752966168972759350\ 2932369*c_0110_4^10 - 1627936380193509907664124828660/6577529661689\ 727593502932369*c_0110_4^9 + 1031349816096692675494986152362/657752\ 9661689727593502932369*c_0110_4^8 + 734620035594659650133110195990/6577529661689727593502932369*c_0110_\ 4^7 - 1935173470736791592617192859313/6577529661689727593502932369*\ c_0110_4^6 - 582031166956466338930111640813/65775296616897275935029\ 32369*c_0110_4^5 + 1546733579218330369424258366446/6577529661689727\ 593502932369*c_0110_4^4 + 280434846093507111776879475687/6577529661\ 689727593502932369*c_0110_4^3 - 529632806383443361067833745229/6577\ 529661689727593502932369*c_0110_4^2 + 110451521939847383863993889410/6577529661689727593502932369*c_0110_\ 4 - 89748722343963356721456114/6577529661689727593502932369, c_0011_6 - 4321010901016210753111948468/6577529661689727593502932369*c_\ 0110_4^17 - 7544503514528075633107510056/65775296616897275935029323\ 69*c_0110_4^16 + 26151786657013581465150859556/65775296616897275935\ 02932369*c_0110_4^15 + 25025234149510102758545919162/65775296616897\ 27593502932369*c_0110_4^14 - 91439773298289551366740493372/65775296\ 61689727593502932369*c_0110_4^13 + 65157310377449159185580740262/6577529661689727593502932369*c_0110_4\ ^12 + 427593905133638059019770517641/6577529661689727593502932369*c\ _0110_4^11 - 84969072062902424640002696081/657752966168972759350293\ 2369*c_0110_4^10 - 598377506052284136784075592964/65775296616897275\ 93502932369*c_0110_4^9 + 311027025975562336711934439637/65775296616\ 89727593502932369*c_0110_4^8 + 295069242558937635877431303654/65775\ 29661689727593502932369*c_0110_4^7 - 665388827483919223900543817766/6577529661689727593502932369*c_0110_\ 4^6 - 276927891912883767071727219138/6577529661689727593502932369*c\ _0110_4^5 + 527105474184949322403668570752/657752966168972759350293\ 2369*c_0110_4^4 + 159343775527136606544922003056/657752966168972759\ 3502932369*c_0110_4^3 - 167067464889985986298874067020/657752966168\ 9727593502932369*c_0110_4^2 + 23726725714071146634830594444/6577529\ 661689727593502932369*c_0110_4 - 4876352916231505451249214472/65775\ 29661689727593502932369, c_0101_0 + 2313868155358468639757924377/6577529661689727593502932369*c_\ 0110_4^17 + 5350788545997908425597110077/65775296616897275935029323\ 69*c_0110_4^16 - 11713975583189462700448155537/65775296616897275935\ 02932369*c_0110_4^15 - 21404452240210640147564651454/65775296616897\ 27593502932369*c_0110_4^14 + 41271015201745541340255700687/65775296\ 61689727593502932369*c_0110_4^13 - 6711711542251216112829837866/6577529661689727593502932369*c_0110_4^\ 12 - 248496705174689954462426935189/6577529661689727593502932369*c_\ 0110_4^11 - 85638035064516166115175110396/6577529661689727593502932\ 369*c_0110_4^10 + 347593791193563541094073184239/657752966168972759\ 3502932369*c_0110_4^9 + 20991455550465518992989834880/6577529661689\ 727593502932369*c_0110_4^8 - 254559843458348903979742412425/6577529\ 661689727593502932369*c_0110_4^7 + 258596365053213561930466872511/6577529661689727593502932369*c_0110_\ 4^6 + 355256486935706858188945745146/6577529661689727593502932369*c\ _0110_4^5 - 193812879093200846597542553284/657752966168972759350293\ 2369*c_0110_4^4 - 255478082529175076767316337868/657752966168972759\ 3502932369*c_0110_4^3 + 35333704574485639807658648336/6577529661689\ 727593502932369*c_0110_4^2 + 50410878357135729593991891023/65775296\ 61689727593502932369*c_0110_4 - 4270294517965191362325949797/657752\ 9661689727593502932369, c_0101_2 - 4824206355438333218321492519/6577529661689727593502932369*c_\ 0110_4^17 - 6192647373384901541757385124/65775296616897275935029323\ 69*c_0110_4^16 + 33850479902566281770754419459/65775296616897275935\ 02932369*c_0110_4^15 + 15952574281633125323164484423/65775296616897\ 27593502932369*c_0110_4^14 - 119070063769289004593921296368/6577529\ 661689727593502932369*c_0110_4^13 + 114912843081636993477567644370/6577529661689727593502932369*c_0110_\ 4^12 + 457890997636874558786102616542/6577529661689727593502932369*\ c_0110_4^11 - 324678634612586602721771483623/6577529661689727593502\ 932369*c_0110_4^10 - 699152361706629825352780182266/657752966168972\ 7593502932369*c_0110_4^9 + 650810285398327298839136580865/657752966\ 1689727593502932369*c_0110_4^8 + 257600392957224491164421299076/657\ 7529661689727593502932369*c_0110_4^7 - 933253417993416729683039879400/6577529661689727593502932369*c_0110_\ 4^6 - 17247651194497392086911140043/6577529661689727593502932369*c_\ 0110_4^5 + 829013261408047291410601781677/6577529661689727593502932\ 369*c_0110_4^4 - 23000305603590111234661032949/65775296616897275935\ 02932369*c_0110_4^3 - 333777653537767056083209267030/65775296616897\ 27593502932369*c_0110_4^2 + 80816418530283959906351558002/657752966\ 1689727593502932369*c_0110_4 + 7397952395494185867962244591/6577529\ 661689727593502932369, c_0101_5 - 30990682955913171768368710248/6577529661689727593502932369*c\ _0110_4^17 - 48086885199870536456264292650/657752966168972759350293\ 2369*c_0110_4^16 + 200198862074159059728050002942/65775296616897275\ 93502932369*c_0110_4^15 + 147279026741142454048662703009/6577529661\ 689727593502932369*c_0110_4^14 - 702608373975355324508231456246/657\ 7529661689727593502932369*c_0110_4^13 + 579691974336768312122488565445/6577529661689727593502932369*c_0110_\ 4^12 + 3018415237711460034416492406033/6577529661689727593502932369\ *c_0110_4^11 - 1229034398896976314830528468207/65775296616897275935\ 02932369*c_0110_4^10 - 4392339531399688472655380922384/657752966168\ 9727593502932369*c_0110_4^9 + 3062582687131192158599527795295/65775\ 29661689727593502932369*c_0110_4^8 + 1975432691423659369636397876087/6577529661689727593502932369*c_0110\ _4^7 - 5297885826190092781176405609664/6577529661689727593502932369\ *c_0110_4^6 - 1226500009768758087186528361391/657752966168972759350\ 2932369*c_0110_4^5 + 4488521651291273721427144951643/65775296616897\ 27593502932369*c_0110_4^4 + 598318809685155774829773173916/65775296\ 61689727593502932369*c_0110_4^3 - 1667954395593882421009807905870/6\ 577529661689727593502932369*c_0110_4^2 + 277705550458396941286085221615/6577529661689727593502932369*c_0110_\ 4 + 21335710790573186882462576903/6577529661689727593502932369, c_0110_4^18 + 9/7*c_0110_4^17 - 48/7*c_0110_4^16 - 3*c_0110_4^15 + 167/7*c_0110_4^14 - 174/7*c_0110_4^13 - 645/7*c_0110_4^12 + 458/7*c_0110_4^11 + 907/7*c_0110_4^10 - 958/7*c_0110_4^9 - 249/7*c_0110_4^8 + 1311/7*c_0110_4^7 - 7*c_0110_4^6 - 1072/7*c_0110_4^5 + 145/7*c_0110_4^4 + 405/7*c_0110_4^3 - 167/7*c_0110_4^2 + 2*c_0110_4 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB