Magma V2.19-8 Tue Aug 20 2013 23:57:27 on localhost [Seed = 846486249] Type ? for help. Type -D to quit. Loading file "L14n32748__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32748 geometric_solution 10.05637890 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 1 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 0 0 -4 5 -1 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 1.552994897615 1.208515043557 0 5 4 6 0132 0132 0213 0132 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 0 0 0 0.267087016194 0.608579724394 3 0 5 7 1023 0132 0132 0132 0 0 1 1 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 4 0 -4 -5 0 0 5 -1 0 0 1 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.320692978765 1.267899883785 8 2 6 0 0132 1023 0213 0132 0 0 1 1 0 1 0 -1 -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 5 0 -5 -5 0 5 0 -1 1 0 0 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880950907610 0.502505031382 9 1 0 9 0132 0213 0132 1302 0 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 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 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.760743603294 0.685368893855 10 1 10 2 0132 0132 1023 0132 0 0 1 1 0 0 0 0 0 0 0 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 3 0 0 -3 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673148871983 1.019254932903 8 3 1 7 2103 0213 0132 2103 0 0 0 1 0 0 0 0 1 0 0 -1 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 5 0 0 -5 0 -5 0 5 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.085812032908 0.569163674484 9 9 2 6 3012 0132 0132 2103 0 0 0 1 0 0 1 -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 1 4 -5 0 0 -5 5 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.274419030471 0.653690184623 3 11 6 11 0132 0132 2103 1023 0 0 1 1 0 0 0 0 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 5 0 -5 0 3 -3 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.791671738453 0.465469334744 4 7 4 7 0132 0132 2031 1230 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 0 0 0 0 0 0 0 0 -1 1 0 -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.454019233043 1.300574044517 5 11 5 11 0132 1023 1023 0132 0 0 1 1 0 0 0 0 0 0 0 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 -3 0 0 3 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651149121871 0.232870931735 10 8 10 8 1023 0132 0132 1023 0 0 1 1 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.717053578864 0.195091208418 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_11' : d['c_0110_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : d['c_0011_6'], 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_0110_11'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : negation(d['c_0110_6']), 'c_1100_6' : negation(d['c_0110_7']), 'c_1100_1' : negation(d['c_0110_7']), 'c_1100_0' : d['c_0101_9'], 'c_1100_3' : d['c_0101_9'], 'c_1100_2' : negation(d['c_0110_6']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_6'], 'c_1100_10' : d['c_0110_6'], 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_7']), 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0110_11'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_11'], 'c_0110_0' : d['c_0011_4'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : negation(d['1']), 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0110_7'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0110_7'], 'c_1100_8' : negation(d['c_0110_6'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_7, c_0101_9, c_0110_11, c_0110_6, c_0110_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 22882445983617316829509491/3164697021540007144*c_1001_1^12 - 38258161331140610439738817/3164697021540007144*c_1001_1^11 - 100110432189375225056226293/1582348510770003572*c_1001_1^10 - 130670003850294818791153713/395587127692500893*c_1001_1^9 - 2392053370378311929982666323/3164697021540007144*c_1001_1^8 - 347167584073242912107122288/395587127692500893*c_1001_1^7 - 450434662466542968709756823/791174255385001786*c_1001_1^6 - 4153616902639993425028143/14788303838971996*c_1001_1^5 - 85149449180491895397135475/395587127692500893*c_1001_1^4 - 273161440222996213755265763/1582348510770003572*c_1001_1^3 - 294669092592155887818988237/3164697021540007144*c_1001_1^2 - 110115615806449159703845685/3164697021540007144*c_1001_1 - 22627071072845163786402633/3164697021540007144, c_0011_0 - 1, c_0011_4 + 365691128590557/60237490179112*c_1001_1^12 + 323117298239519/60237490179112*c_1001_1^11 + 1460895384743177/30118745089556*c_1001_1^10 + 1798754236661251/7529686272389*c_1001_1^9 + 26699315291602793/60237490179112*c_1001_1^8 + 2810198439755232/7529686272389*c_1001_1^7 + 2409944527888937/15059372544778*c_1001_1^6 + 2779321408385033/30118745089556*c_1001_1^5 + 1521962869919771/15059372544778*c_1001_1^4 + 1816311912251513/30118745089556*c_1001_1^3 + 1556089090543139/60237490179112*c_1001_1^2 + 401629088193407/60237490179112*c_1001_1 - 49154179223505/60237490179112, c_0011_6 + 242258931046323/60237490179112*c_1001_1^12 + 219982605042901/60237490179112*c_1001_1^11 + 956171006119095/30118745089556*c_1001_1^10 + 1198398673633749/7529686272389*c_1001_1^9 + 17679272665274967/60237490179112*c_1001_1^8 + 3616797296779559/15059372544778*c_1001_1^7 + 699201968831771/7529686272389*c_1001_1^6 + 1555045133312549/30118745089556*c_1001_1^5 + 457881932718423/7529686272389*c_1001_1^4 + 1072010272249189/30118745089556*c_1001_1^3 + 799364623248553/60237490179112*c_1001_1^2 + 147438737980913/60237490179112*c_1001_1 - 75772309042883/60237490179112, c_0101_0 - 1, c_0101_10 + 44435473713873/30118745089556*c_1001_1^12 + 23291133092919/30118745089556*c_1001_1^11 + 177615079855609/15059372544778*c_1001_1^10 + 403396788472924/7529686272389*c_1001_1^9 + 2733570289314969/30118745089556*c_1001_1^8 + 491973301703194/7529686272389*c_1001_1^7 + 153372999868750/7529686272389*c_1001_1^6 + 175538246630557/15059372544778*c_1001_1^5 + 129362428168017/7529686272389*c_1001_1^4 + 122828049190945/15059372544778*c_1001_1^3 + 78625154134143/30118745089556*c_1001_1^2 - 15998432767193/30118745089556*c_1001_1 - 6857344308013/30118745089556, c_0101_11 + 154704760759197/30118745089556*c_1001_1^12 + 105278342886899/30118745089556*c_1001_1^11 + 608052503148085/15059372544778*c_1001_1^10 + 1460544091378171/7529686272389*c_1001_1^9 + 10110056138438757/30118745089556*c_1001_1^8 + 1881948520843746/7529686272389*c_1001_1^7 + 642265162707974/7529686272389*c_1001_1^6 + 853520518561869/15059372544778*c_1001_1^5 + 533382445507259/7529686272389*c_1001_1^4 + 582356081791603/15059372544778*c_1001_1^3 + 424093627450743/30118745089556*c_1001_1^2 + 55766532532983/30118745089556*c_1001_1 - 25260074285357/30118745089556, c_0101_7 + c_1001_1, c_0101_9 + 245735568456903/60237490179112*c_1001_1^12 + 206899997343967/60237490179112*c_1001_1^11 + 972084925210769/30118745089556*c_1001_1^10 + 1198171391763087/7529686272389*c_1001_1^9 + 17460010193571203/60237490179112*c_1001_1^8 + 7004124101983469/30118745089556*c_1001_1^7 + 2665413172852149/30118745089556*c_1001_1^6 + 397040472243545/7529686272389*c_1001_1^5 + 1921864068896403/30118745089556*c_1001_1^4 + 535363635745901/15059372544778*c_1001_1^3 + 817341340441783/60237490179112*c_1001_1^2 + 151446079529085/60237490179112*c_1001_1 - 40632347621173/60237490179112, c_0110_11 + 167539341609639/60237490179112*c_1001_1^12 + 168463121775495/60237490179112*c_1001_1^11 + 664266463601877/30118745089556*c_1001_1^10 + 841188342971739/7529686272389*c_1001_1^9 + 12837437924120331/60237490179112*c_1001_1^8 + 5321133317825361/30118745089556*c_1001_1^7 + 1903600925162921/30118745089556*c_1001_1^6 + 233232426214857/7529686272389*c_1001_1^5 + 1385673537359283/30118745089556*c_1001_1^4 + 406096063380073/15059372544778*c_1001_1^3 + 591693388960743/60237490179112*c_1001_1^2 + 93190436842925/60237490179112*c_1001_1 - 53921914114157/60237490179112, c_0110_6 + 45830714906439/30118745089556*c_1001_1^12 + 24940004285251/30118745089556*c_1001_1^11 + 185598669330649/15059372544778*c_1001_1^10 + 418854039518163/7529686272389*c_1001_1^9 + 2885447977713575/30118745089556*c_1001_1^8 + 1130000983677727/15059372544778*c_1001_1^7 + 486056584220441/15059372544778*c_1001_1^6 + 152062238686512/7529686272389*c_1001_1^5 + 331401237661979/15059372544778*c_1001_1^4 + 92666714465421/7529686272389*c_1001_1^3 + 133997933390547/30118745089556*c_1001_1^2 + 26606443736401/30118745089556*c_1001_1 - 4937274857097/30118745089556, c_0110_7 - 83182025453337/15059372544778*c_1001_1^12 - 80546455003809/15059372544778*c_1001_1^11 - 329385889965320/7529686272389*c_1001_1^10 - 1663952172366235/7529686272389*c_1001_1^9 - 6255837893571659/15059372544778*c_1001_1^8 - 2612017337807708/7529686272389*c_1001_1^7 - 1025876932564330/7529686272389*c_1001_1^6 - 574247477566228/7529686272389*c_1001_1^5 - 704808895342974/7529686272389*c_1001_1^4 - 414315255314730/7529686272389*c_1001_1^3 - 315650154572059/15059372544778*c_1001_1^2 - 68698516018073/15059372544778*c_1001_1 + 16271694848841/15059372544778, c_1001_1^13 + 14/9*c_1001_1^12 + 77/9*c_1001_1^11 + 134/3*c_1001_1^10 + 893/9*c_1001_1^9 + 983/9*c_1001_1^8 + 194/3*c_1001_1^7 + 268/9*c_1001_1^6 + 76/3*c_1001_1^5 + 184/9*c_1001_1^4 + 91/9*c_1001_1^3 + 10/3*c_1001_1^2 + 4/9*c_1001_1 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.290 seconds, Total memory usage: 32.09MB