Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 172725811] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0124 geometric_solution 3.63720978 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0.763786403126 0.967016285356 0 0 4 4 0132 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 2.942819774796 1.319171025325 3 0 5 3 2310 0132 0132 3201 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 1 0 -1 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.199726973677 0.405354837376 5 2 2 0 1023 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.199726973677 0.405354837376 1 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.097147604883 0.288100655669 5 3 5 2 2310 1023 3201 0132 0 0 0 0 0 0 1 -1 -1 0 1 0 -1 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 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.978078551378 1.985054220947 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490378666022 0.022616043674 ==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' : negation(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' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 36344536556561015624328899743/39859822473465682938338560*c_0101_6^2\ 2 + 101329509148331438432944277471/19929911236732841469169280*c_010\ 1_6^20 - 101917669579149352535911398217/7971964494693136587667712*c\ _0101_6^18 + 964844971118094813753703716053/39859822473465682938338\ 560*c_0101_6^16 - 487801916803349617380022421755/797196449469313658\ 7667712*c_0101_6^14 + 3122411132268847220961932717/2285540279441839\ 6180240*c_0101_6^12 - 7340033802110059399137323606261/3985982247346\ 5682938338560*c_0101_6^10 + 5507831174377448577151855316831/3985982\ 2473465682938338560*c_0101_6^8 - 2303914147746568456610556316091/39\ 859822473465682938338560*c_0101_6^6 + 532075391940450405042542962473/39859822473465682938338560*c_0101_6^\ 4 - 61631403769488541798342241433/39859822473465682938338560*c_0101\ _6^2 + 2094628196073929995397811673/39859822473465682938338560, c_0011_0 - 1, c_0011_3 + 7152952144304536826223969/249123890459160518364616*c_0101_6^\ 22 - 42444965657159548114799633/249123890459160518364616*c_0101_6^2\ 0 + 14109847314179173183625642/31140486307395064795577*c_0101_6^18 - 217237997376386345935113149/249123890459160518364616*c_0101_6^16 + 66090568738180467291852392/31140486307395064795577*c_0101_6^14 - 5544749045494298597259323/1142770139720919809012*c_0101_6^12 + 1733135346670403339660227137/249123890459160518364616*c_0101_6^10 - 349384923089844683418612393/62280972614790129591154*c_0101_6^8 + 606693872344207885023559647/249123890459160518364616*c_0101_6^6 - 34004432171775396298347311/62280972614790129591154*c_0101_6^4 + 15253861515549413657835333/249123890459160518364616*c_0101_6^2 - 228725039410014050711623/124561945229580259182308, c_0011_4 - 9856829221912630064205245/1992991123673284146916928*c_0101_6\ ^22 + 31171359843950054969600569/996495561836642073458464*c_0101_6^\ 20 - 177461607272104694965213119/1992991123673284146916928*c_0101_6\ ^18 + 354084628034575819228839279/1992991123673284146916928*c_0101_\ 6^16 - 828941030942659937434291373/1992991123673284146916928*c_0101\ _6^14 + 1100393155419275456867079/1142770139720919809012*c_0101_6^1\ 2 - 2965117477543987596330958623/1992991123673284146916928*c_0101_6\ ^10 + 2682901387421507086995823205/1992991123673284146916928*c_0101\ _6^8 - 1331977991892410006043100961/1992991123673284146916928*c_010\ 1_6^6 + 319719795253723530335023011/1992991123673284146916928*c_010\ 1_6^4 - 28638562442925250479423563/1992991123673284146916928*c_0101\ _6^2 + 84729703588319422434035/1992991123673284146916928, c_0101_0 + 4844073981118456162138919/124561945229580259182308*c_0101_6^\ 23 - 52532593155915167204667603/249123890459160518364616*c_0101_6^2\ 1 + 127162252997908701890979529/249123890459160518364616*c_0101_6^1\ 9 - 58680842320736520795110231/62280972614790129591154*c_0101_6^17 + 607742608919157265088909273/249123890459160518364616*c_0101_6^15 - 3088931441367251880865009/571385069860459904506*c_0101_6^13 + 858736071677650620367176001/124561945229580259182308*c_0101_6^11 - 1137196617479879091806349551/249123890459160518364616*c_0101_6^9 + 45786171942571150812961977/31140486307395064795577*c_0101_6^7 - 47732566799122334083134235/249123890459160518364616*c_0101_6^5 - 554386372598188833768783/124561945229580259182308*c_0101_6^3 + 1072940825334435320947569/249123890459160518364616*c_0101_6, c_0101_1 - 44036491489865617515732229/1992991123673284146916928*c_0101_\ 6^23 + 117284299174376629713294183/996495561836642073458464*c_0101_\ 6^21 - 558077740661813945622224363/1992991123673284146916928*c_0101\ _6^19 + 1025616410571611254695184143/1992991123673284146916928*c_01\ 01_6^17 - 2690308291523641716178069409/1992991123673284146916928*c_\ 0101_6^15 + 6778681980178111160788515/2285540279441839618024*c_0101\ _6^13 - 7373428943865801143803058975/1992991123673284146916928*c_01\ 01_6^11 + 4737769656448082967575139321/1992991123673284146916928*c_\ 0101_6^9 - 1507561446912333311577815121/1992991123673284146916928*c\ _0101_6^7 + 221182156756566121268134079/1992991123673284146916928*c\ _0101_6^5 - 5755722438266708302339467/1992991123673284146916928*c_0\ 101_6^3 - 5498522718344449206781657/1992991123673284146916928*c_010\ 1_6, c_0101_2 - 74262045239821285197949365/498247780918321036729232*c_0101_6\ ^23 + 25986585414948875012343199/31140486307395064795577*c_0101_6^2\ 1 - 1048343273370762507724629853/498247780918321036729232*c_0101_6^\ 19 + 1983448062551365265029444571/498247780918321036729232*c_0101_6\ ^17 - 5002393220760124633130505387/498247780918321036729232*c_0101_\ 6^15 + 6418310344170444103576622/285692534930229952253*c_0101_6^13 - 15122284258524691409874163631/498247780918321036729232*c_0101_6^11 + 11320097636809305225277998103/498247780918321036729232*c_0101_6^9 - 4652759480397102935897851661/498247780918321036729232*c_0101_6^7 + 1031346735794353211531049853/498247780918321036729232*c_0101_6^5 - 114363937067752854489601099/498247780918321036729232*c_0101_6^3 + 3550779920792887560850061/498247780918321036729232*c_0101_6, c_0101_6^24 - 1657/289*c_0101_6^22 + 4289/289*c_0101_6^20 - 8224/289*c_0101_6^18 + 20406/289*c_0101_6^16 - 45999/289*c_0101_6^14 + 64219/289*c_0101_6^12 - 50910/289*c_0101_6^10 + 1340/17*c_0101_6^8 - 5706/289*c_0101_6^6 + 760/289*c_0101_6^4 - 40/289*c_0101_6^2 + 1/289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB