Magma V2.19-8 Tue Aug 20 2013 23:39:41 on localhost [Seed = 3785852327] Type ? for help. Type -D to quit. Loading file "K14n14356__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14356 geometric_solution 9.80768300 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 1 2 3 0132 2310 0132 0132 0 0 0 0 0 1 0 -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 -16 -1 17 0 0 0 0 0 0 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622625365352 0.945357840312 0 4 5 0 0132 0132 0132 3201 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 -16 0 16 0 0 0 0 -16 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297244727407 0.659168501925 6 7 8 0 0132 0132 0132 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 -1 0 1 -1 0 1 0 -17 17 0 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.031901292483 1.175278882069 9 6 0 8 0132 3201 0132 0132 0 0 0 0 0 -1 1 0 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 17 -17 0 0 0 0 0 17 0 0 -17 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.031901292483 1.175278882069 5 1 6 10 2310 0132 0213 0132 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 16 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.091641259468 1.296606438747 6 10 4 1 3120 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 0.091641259468 1.296606438747 2 4 3 5 0132 0213 2310 3120 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 1 0 -1 0 0 0 0 0 17 0 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333101975753 2.175892348209 10 2 8 9 1302 0132 0213 1302 0 0 0 0 0 0 0 0 -1 0 0 1 -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 1 0 -1 17 0 0 -17 16 -16 0 0 0 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568820885595 0.821529595000 9 7 3 2 3120 0213 0132 0132 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 0 0 0 0 1 0 0 -1 -16 0 0 16 0 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.322051100728 0.552013742558 3 10 7 8 0132 2031 2031 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 -1 1 -17 0 16 -17 0 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568820885595 0.821529595000 9 7 4 5 1302 2031 0132 3201 0 0 0 0 0 1 -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 0 -16 16 0 0 0 0 0 0 0 0 0 17 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.571923423768 1.219505898165 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0110_10']), 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_0']), 'c_1001_1' : negation(d['c_0110_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_8'], 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0011_2']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_3'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_8']), 'c_1100_8' : d['c_1100_0'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0011_5']), 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0110_10']), 'c_1010_4' : negation(d['c_0110_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0101_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : 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' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0110_10'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_8, c_0110_10, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 174788901617486510766387/248611728992694966460*c_1100_0^14 + 2770359771196116332238591/497223457985389932920*c_1100_0^13 - 12840879143934724450323797/497223457985389932920*c_1100_0^12 + 52375418484364780736007/671923591872148558*c_1100_0^11 - 82447540501244108190040629/497223457985389932920*c_1100_0^10 + 14691076506198094294867751/62152932248173741615*c_1100_0^9 - 109524045605972872550998987/497223457985389932920*c_1100_0^8 + 42617993222830160106234969/497223457985389932920*c_1100_0^7 + 27785808986197880655152883/497223457985389932920*c_1100_0^6 - 1966715892860594346840127/21618411216756084040*c_1100_0^5 + 1726457896408315102029561/49722345798538993292*c_1100_0^4 + 1010443674932317389352055/49722345798538993292*c_1100_0^3 - 7324257710168866445850453/248611728992694966460*c_1100_0^2 + 193436641369493308368587/13438471837442971160*c_1100_0 - 646105131527994183197371/248611728992694966460, c_0011_0 - 1, c_0011_10 - 155360572146024/134009491797397*c_1100_0^14 + 2349799715989851/268018983594794*c_1100_0^13 - 10621314750445189/268018983594794*c_1100_0^12 + 15508198257657946/134009491797397*c_1100_0^11 - 31920648664140991/134009491797397*c_1100_0^10 + 86274641047013393/268018983594794*c_1100_0^9 - 37825278579136268/134009491797397*c_1100_0^8 + 22087152686168613/268018983594794*c_1100_0^7 + 11798570161192433/134009491797397*c_1100_0^6 - 15321101780636181/134009491797397*c_1100_0^5 + 3807348824252861/134009491797397*c_1100_0^4 + 4325774866734141/134009491797397*c_1100_0^3 - 9650385862948529/268018983594794*c_1100_0^2 + 4337809185077883/268018983594794*c_1100_0 - 684939518057479/268018983594794, c_0011_2 - 246365111983185/134009491797397*c_1100_0^14 + 7247402688759171/536037967189588*c_1100_0^13 - 32154007512006321/536037967189588*c_1100_0^12 + 22896578432188370/134009491797397*c_1100_0^11 - 45788310134215898/134009491797397*c_1100_0^10 + 235343231015513537/536037967189588*c_1100_0^9 - 95739263843883991/268018983594794*c_1100_0^8 + 32671172474184543/536037967189588*c_1100_0^7 + 39782661022354125/268018983594794*c_1100_0^6 - 39563067604341531/268018983594794*c_1100_0^5 + 5408354708439019/268018983594794*c_1100_0^4 + 14174963969447107/268018983594794*c_1100_0^3 - 24465384314741451/536037967189588*c_1100_0^2 + 8524248791584435/536037967189588*c_1100_0 - 789849578965861/536037967189588, c_0011_3 - 246365111983185/134009491797397*c_1100_0^14 + 7247402688759171/536037967189588*c_1100_0^13 - 32154007512006321/536037967189588*c_1100_0^12 + 22896578432188370/134009491797397*c_1100_0^11 - 45788310134215898/134009491797397*c_1100_0^10 + 235343231015513537/536037967189588*c_1100_0^9 - 95739263843883991/268018983594794*c_1100_0^8 + 32671172474184543/536037967189588*c_1100_0^7 + 39782661022354125/268018983594794*c_1100_0^6 - 39563067604341531/268018983594794*c_1100_0^5 + 5408354708439019/268018983594794*c_1100_0^4 + 14174963969447107/268018983594794*c_1100_0^3 - 24465384314741451/536037967189588*c_1100_0^2 + 8524248791584435/536037967189588*c_1100_0 - 789849578965861/536037967189588, c_0011_5 - 840326922291315/268018983594794*c_1100_0^14 + 3111234012409557/134009491797397*c_1100_0^13 - 27628247261202763/268018983594794*c_1100_0^12 + 39392841336958507/134009491797397*c_1100_0^11 - 157193514261485387/268018983594794*c_1100_0^10 + 200837296104401751/268018983594794*c_1100_0^9 - 159322558484959515/268018983594794*c_1100_0^8 + 21044397328411343/268018983594794*c_1100_0^7 + 37701838480039937/134009491797397*c_1100_0^6 - 33721137577295349/134009491797397*c_1100_0^5 + 3040389576039070/134009491797397*c_1100_0^4 + 25838550905113605/268018983594794*c_1100_0^3 - 10217679672590185/134009491797397*c_1100_0^2 + 2995010658353771/134009491797397*c_1100_0 - 293992081100899/268018983594794, c_0101_0 - 366809685221145/268018983594794*c_1100_0^14 + 2799077769988359/268018983594794*c_1100_0^13 - 6312162814878401/134009491797397*c_1100_0^12 + 18386657170350148/134009491797397*c_1100_0^11 - 74914812492163057/268018983594794*c_1100_0^10 + 49588712722933219/134009491797397*c_1100_0^9 - 81767326382787505/268018983594794*c_1100_0^8 + 8057303056196733/134009491797397*c_1100_0^7 + 18511911614166139/134009491797397*c_1100_0^6 - 18024809476374735/134009491797397*c_1100_0^5 + 2857743511425904/134009491797397*c_1100_0^4 + 13424178320886561/268018983594794*c_1100_0^3 - 10804638184914759/268018983594794*c_1100_0^2 + 3460356115180971/268018983594794*c_1100_0 - 27893563446911/134009491797397, c_0101_1 + 901794812724861/536037967189588*c_1100_0^14 - 6874748659584711/536037967189588*c_1100_0^13 + 7774383709801838/134009491797397*c_1100_0^12 - 22747190237873985/134009491797397*c_1100_0^11 + 187048428650421643/536037967189588*c_1100_0^10 - 126144867902243783/268018983594794*c_1100_0^9 + 218084178495369177/536037967189588*c_1100_0^8 - 30191677507131611/268018983594794*c_1100_0^7 - 38263857897839359/268018983594794*c_1100_0^6 + 45368977771628947/268018983594794*c_1100_0^5 - 12307852291755301/268018983594794*c_1100_0^4 - 27165686686559789/536037967189588*c_1100_0^3 + 28797783627908937/536037967189588*c_1100_0^2 - 12063913894419791/536037967189588*c_1100_0 + 318738573843652/134009491797397, c_0101_8 + 735082682234793/536037967189588*c_1100_0^14 - 1386765730920333/134009491797397*c_1100_0^13 + 24923524009125923/536037967189588*c_1100_0^12 - 18050665591060342/134009491797397*c_1100_0^11 + 146606287437695275/536037967189588*c_1100_0^10 - 193075099343145853/536037967189588*c_1100_0^9 + 159768023484390339/536037967189588*c_1100_0^8 - 31705092312481959/536037967189588*c_1100_0^7 - 17183050060145704/134009491797397*c_1100_0^6 + 17453586261488220/134009491797397*c_1100_0^5 - 2762301071424216/134009491797397*c_1100_0^4 - 24026427634483339/536037967189588*c_1100_0^3 + 10400683026851641/268018983594794*c_1100_0^2 - 1800230232461967/134009491797397*c_1100_0 + 239512769577303/536037967189588, c_0110_10 - 66663342788394/134009491797397*c_1100_0^14 + 1028155075676361/268018983594794*c_1100_0^13 - 4716442499580071/268018983594794*c_1100_0^12 + 7024898842634202/134009491797397*c_1100_0^11 - 14816915935263414/134009491797397*c_1100_0^10 + 41768400082780941/268018983594794*c_1100_0^9 - 19547324823982521/134009491797397*c_1100_0^8 + 15216707533214275/268018983594794*c_1100_0^7 + 4480434022235732/134009491797397*c_1100_0^6 - 8157437568641505/134009491797397*c_1100_0^5 + 3540364428638295/134009491797397*c_1100_0^4 + 1410881083608151/134009491797397*c_1100_0^3 - 5062871354251849/268018983594794*c_1100_0^2 + 2870695932753345/268018983594794*c_1100_0 - 454537559388815/268018983594794, c_1001_0 + 901794812724861/536037967189588*c_1100_0^14 - 6874748659584711/536037967189588*c_1100_0^13 + 7774383709801838/134009491797397*c_1100_0^12 - 22747190237873985/134009491797397*c_1100_0^11 + 187048428650421643/536037967189588*c_1100_0^10 - 126144867902243783/268018983594794*c_1100_0^9 + 218084178495369177/536037967189588*c_1100_0^8 - 30191677507131611/268018983594794*c_1100_0^7 - 38263857897839359/268018983594794*c_1100_0^6 + 45368977771628947/268018983594794*c_1100_0^5 - 12307852291755301/268018983594794*c_1100_0^4 - 27165686686559789/536037967189588*c_1100_0^3 + 28797783627908937/536037967189588*c_1100_0^2 - 12063913894419791/536037967189588*c_1100_0 + 318738573843652/134009491797397, c_1100_0^15 - 8*c_1100_0^14 + 112/3*c_1100_0^13 - 341/3*c_1100_0^12 + 733/3*c_1100_0^11 - 1063/3*c_1100_0^10 + 1018/3*c_1100_0^9 - 439/3*c_1100_0^8 - 209/3*c_1100_0^7 + 406/3*c_1100_0^6 - 178/3*c_1100_0^5 - 25*c_1100_0^4 + 44*c_1100_0^3 - 71/3*c_1100_0^2 + 16/3*c_1100_0 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.450 seconds, Total memory usage: 32.09MB