Magma V2.19-8 Tue Aug 20 2013 16:18:31 on localhost [Seed = 4122241224] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2709 geometric_solution 5.96287654 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.364526315563 0.746335997939 0 4 5 5 0132 3012 2310 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 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 1.017461328000 1.258882598418 2 0 2 3 2031 0132 1302 2310 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496819970735 0.321097985078 2 6 4 0 3201 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 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 1 0 -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.364526315563 0.746335997939 1 3 0 6 1230 3201 0132 1230 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 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 0 0 0 0 0 0.692615178236 1.743605553703 6 1 1 6 2310 3201 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.388342098758 0.480487166348 4 3 5 5 3012 0132 3201 1023 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.017461328000 1.258882598418 ==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' : negation(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' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_3']), '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_3']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 16188457865100297/13544986054757168*c_0101_6^16 - 127996393669077453/13544986054757168*c_0101_6^15 - 313177020141741845/13544986054757168*c_0101_6^14 - 72075043102489907/3386246513689292*c_0101_6^13 - 654262530098291365/13544986054757168*c_0101_6^12 - 1512330782036768699/13544986054757168*c_0101_6^11 - 32282409120696811/13544986054757168*c_0101_6^10 - 320271752692674235/6772493027378584*c_0101_6^9 - 5217330469296736635/13544986054757168*c_0101_6^8 + 1804849884381741575/13544986054757168*c_0101_6^7 + 2028713211261127579/3386246513689292*c_0101_6^6 + 108955877265438871/13544986054757168*c_0101_6^5 - 616046782713453097/13544986054757168*c_0101_6^4 + 824615625950656695/6772493027378584*c_0101_6^3 - 352517533963732717/13544986054757168*c_0101_6^2 + 220278772198028983/6772493027378584*c_0101_6 + 238630148338903027/13544986054757168, c_0011_0 - 1, c_0011_4 - 156688871947695/615681184307144*c_0101_6^16 - 1210942475684907/615681184307144*c_0101_6^15 - 2812079774708119/615681184307144*c_0101_6^14 - 285131680958734/76960148038393*c_0101_6^13 - 6015502340487779/615681184307144*c_0101_6^12 - 13976015474563385/615681184307144*c_0101_6^11 + 1565607710088287/615681184307144*c_0101_6^10 - 3767401579049921/307840592153572*c_0101_6^9 - 51925463213059333/615681184307144*c_0101_6^8 + 23979642738010465/615681184307144*c_0101_6^7 + 9007900402951162/76960148038393*c_0101_6^6 - 20501726276042507/615681184307144*c_0101_6^5 - 11679323582212387/615681184307144*c_0101_6^4 + 10301961856072741/307840592153572*c_0101_6^3 - 4561294551265227/615681184307144*c_0101_6^2 + 845854600519689/307840592153572*c_0101_6 + 601873595931161/615681184307144, c_0011_5 - 370174916047/76960148038393*c_0101_6^16 - 1723869710562/76960148038393*c_0101_6^15 + 1734465433971/76960148038393*c_0101_6^14 + 12076439159320/76960148038393*c_0101_6^13 - 3067806570897/76960148038393*c_0101_6^12 + 10400589762607/76960148038393*c_0101_6^11 + 97880944510066/76960148038393*c_0101_6^10 - 48072311198755/76960148038393*c_0101_6^9 - 28869209998716/76960148038393*c_0101_6^8 + 438074637792052/76960148038393*c_0101_6^7 - 99764065045467/76960148038393*c_0101_6^6 - 405807737182863/76960148038393*c_0101_6^5 + 333356162531825/76960148038393*c_0101_6^4 + 28783235875143/76960148038393*c_0101_6^3 - 163648662438470/76960148038393*c_0101_6^2 - 2255068689038/76960148038393*c_0101_6 - 76631304119451/76960148038393, c_0101_0 + 25403119299762/76960148038393*c_0101_6^16 + 780886814072071/307840592153572*c_0101_6^15 + 443759442046065/76960148038393*c_0101_6^14 + 1283240371414899/307840592153572*c_0101_6^13 + 3549943252527533/307840592153572*c_0101_6^12 + 4330625154037819/153920296076786*c_0101_6^11 - 1923144878167797/307840592153572*c_0101_6^10 + 1784166204114219/153920296076786*c_0101_6^9 + 8398569338538722/76960148038393*c_0101_6^8 - 17225474073498759/307840592153572*c_0101_6^7 - 25560795244198321/153920296076786*c_0101_6^6 + 8547352761865463/153920296076786*c_0101_6^5 + 15483812035572861/307840592153572*c_0101_6^4 - 7135846403154893/153920296076786*c_0101_6^3 + 122053428742352/76960148038393*c_0101_6^2 - 385106528917609/307840592153572*c_0101_6 - 296438284396573/307840592153572, c_0101_1 + c_0101_6, c_0101_3 + 102046735399411/307840592153572*c_0101_6^16 + 815828463106755/307840592153572*c_0101_6^15 + 2034705637336197/307840592153572*c_0101_6^14 + 957443524904773/153920296076786*c_0101_6^13 + 4147208135039871/307840592153572*c_0101_6^12 + 9954143500235951/307840592153572*c_0101_6^11 + 1081234716000039/307840592153572*c_0101_6^10 + 1912784029082267/153920296076786*c_0101_6^9 + 34775193075103525/307840592153572*c_0101_6^8 - 6791430579848745/307840592153572*c_0101_6^7 - 26819909388007279/153920296076786*c_0101_6^6 + 245117053178417/307840592153572*c_0101_6^5 + 15237976847256977/307840592153572*c_0101_6^4 - 4867167747196971/153920296076786*c_0101_6^3 - 2034956010879341/307840592153572*c_0101_6^2 - 127843461928451/153920296076786*c_0101_6 - 405875337081199/307840592153572, c_0101_6^17 + 8*c_0101_6^16 + 20*c_0101_6^15 + 19*c_0101_6^14 + 41*c_0101_6^13 + 98*c_0101_6^12 + 12*c_0101_6^11 + 39*c_0101_6^10 + 341*c_0101_6^9 - 62*c_0101_6^8 - 521*c_0101_6^7 - 3*c_0101_6^6 + 148*c_0101_6^5 - 91*c_0101_6^4 - 21*c_0101_6^3 - 7*c_0101_6^2 - 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB