Magma V2.19-8 Tue Aug 20 2013 23:41:06 on localhost [Seed = 4122186100] Type ? for help. Type -D to quit. Loading file "L12a1403__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1403 geometric_solution 10.45205870 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 0 0 1 2 1230 3012 0132 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 -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.455203099923 0.594939509580 3 2 3 0 0132 3012 3012 0132 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 -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.740105791304 0.895077479376 1 4 0 5 1230 0132 0132 0132 0 0 1 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 -1 1 0 0 0 0 -1 -2 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.740105791304 0.895077479376 1 1 4 6 0132 1230 1230 0132 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 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.299173026069 1.030354002169 5 2 7 3 0213 0132 0132 3012 0 0 0 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 1 0 -1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.105448263945 0.787137739356 4 8 2 7 0213 0132 0132 0132 0 0 0 1 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 3 -1 -2 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.008151134523 0.784889305767 9 9 3 8 0132 1302 0132 1302 0 0 0 1 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 -1 0 1 0 0 3 0 -3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322397911060 0.785380617916 8 10 5 4 0321 0132 0132 0132 0 0 1 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 -2 2 0 0 0 0 0 -3 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683347519595 0.415821826205 7 5 6 10 0321 0132 2031 0132 0 0 1 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 0 -3 3 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 0 0 0 0 0.348437357624 1.508769928542 6 10 10 6 0132 2031 1230 2031 0 0 1 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 1 2 -3 1 0 -1 0 0 -1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629760853516 0.729929816254 9 7 8 9 1302 0132 0132 3012 0 0 0 1 0 1 0 -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 2 0 -2 2 0 0 -2 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629760853516 0.729929816254 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0101_9']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0101_9']), '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_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_10'], 'c_1100_8' : d['c_0110_10'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : negation(d['c_1001_3']), 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : negation(d['c_1001_3']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : negation(d['c_1001_3']), 'c_1100_10' : d['c_0110_10'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : negation(d['c_0101_9']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_10'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_10'], '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_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' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : negation(d['c_0011_1']), 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_7']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : negation(d['c_0101_7']), 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0101_9']})} 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_1, c_0011_10, c_0011_5, c_0101_0, c_0101_1, c_0101_7, c_0101_9, c_0110_10, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 692448409686507788628508742039/9134735367351692699365970562*c_1001_\ 3^15 - 1581428033702970924242184851089/1304962195335956099909424366\ *c_1001_3^14 + 12754472941919232758485226855914/1522455894558615449\ 894328427*c_1001_3^13 - 160625146950963169562400799183157/456736768\ 3675846349682985281*c_1001_3^12 + 949657298118605734795562767178009\ /9134735367351692699365970562*c_1001_3^11 - 1005036295245964190230494546623483/4567367683675846349682985281*c_1\ 001_3^10 + 1488327407284681831571796740451260/456736768367584634968\ 2985281*c_1001_3^9 - 27489843269871642543559686433435/8229491321938\ 4618913206942*c_1001_3^8 + 765669347503084783847340513494603/456736\ 7683675846349682985281*c_1001_3^7 - 293331334498823409785320546444273/4567367683675846349682985281*c_10\ 01_3^6 + 949990019851205165352425954420683/913473536735169269936597\ 0562*c_1001_3^5 - 934070448787342729413568578325355/456736768367584\ 6349682985281*c_1001_3^4 + 114880089574933731121927907573710/152245\ 5894558615449894328427*c_1001_3^3 + 515732359207346685603576748810289/9134735367351692699365970562*c_10\ 01_3^2 + 117372914994577311236774295659956/456736768367584634968298\ 5281*c_1001_3 - 59568485452239132907016048439091/913473536735169269\ 9365970562, c_0011_0 - 1, c_0011_1 - 1, c_0011_10 - 12870926282776202482533/1109095865490358745461010*c_1001_3^\ 15 + 186722109043620278126911/1109095865490358745461010*c_1001_3^14 - 1133647850546509252982221/1109095865490358745461010*c_1001_3^13 + 2050460611344073573954286/554547932745179372730505*c_1001_3^12 - 5154963990639712673513774/554547932745179372730505*c_1001_3^11 + 8501138358885013274426858/554547932745179372730505*c_1001_3^10 - 3144104249287570650111049/221819173098071749092202*c_1001_3^9 + 453550762246115053729359/110909586549035874546101*c_1001_3^8 + 17949061252921336778140141/1109095865490358745461010*c_1001_3^7 + 164349558568459263716506/554547932745179372730505*c_1001_3^6 - 5232274834250213968965119/1109095865490358745461010*c_1001_3^5 + 9808930318596266933962492/554547932745179372730505*c_1001_3^4 + 13067693616779711602593536/554547932745179372730505*c_1001_3^3 + 1358938674267659154252371/554547932745179372730505*c_1001_3^2 - 725096881858598847355429/221819173098071749092202*c_1001_3 - 552799941482296340148448/554547932745179372730505, c_0011_5 - 2270051765445744296551/1109095865490358745461010*c_1001_3^15 + 32238819469990595970017/1109095865490358745461010*c_1001_3^14 - 189616245398317906758577/1109095865490358745461010*c_1001_3^13 + 658702614255859267729739/1109095865490358745461010*c_1001_3^12 - 1579555122319395807363291/1109095865490358745461010*c_1001_3^11 + 1197857369581881465022366/554547932745179372730505*c_1001_3^10 - 358659846598160814778207/221819173098071749092202*c_1001_3^9 + 1811560904161527444743/110909586549035874546101*c_1001_3^8 + 1472338118916298143808516/554547932745179372730505*c_1001_3^7 + 1847463061696048413888949/1109095865490358745461010*c_1001_3^6 - 1694028614308343578944263/1109095865490358745461010*c_1001_3^5 + 1184433951519334531916879/554547932745179372730505*c_1001_3^4 + 3567670174522779494273017/554547932745179372730505*c_1001_3^3 + 308792910426429676811399/1109095865490358745461010*c_1001_3^2 - 118746445171349680242600/110909586549035874546101*c_1001_3 - 393999163065847770906781/554547932745179372730505, c_0101_0 + 3529604710888998471096/554547932745179372730505*c_1001_3^15 - 48828495865684375450692/554547932745179372730505*c_1001_3^14 + 555314972153092195985239/1109095865490358745461010*c_1001_3^13 - 1866809902647042923801143/1109095865490358745461010*c_1001_3^12 + 4359831300004976075691087/1109095865490358745461010*c_1001_3^11 - 6313013086390331433743849/1109095865490358745461010*c_1001_3^10 + 870636996303520263687161/221819173098071749092202*c_1001_3^9 - 3800015850762826467643/110909586549035874546101*c_1001_3^8 - 8274233021476145818558649/1109095865490358745461010*c_1001_3^7 - 4051029492831429683710694/554547932745179372730505*c_1001_3^6 - 94369654154204058306912/554547932745179372730505*c_1001_3^5 - 9519261630453724603589581/1109095865490358745461010*c_1001_3^4 - 20439626856150923858351903/1109095865490358745461010*c_1001_3^3 - 7775266021611863103902064/554547932745179372730505*c_1001_3^2 - 499272698039886682472165/110909586549035874546101*c_1001_3 + 281499941228109198286079/1109095865490358745461010, c_0101_1 - 3529604710888998471096/554547932745179372730505*c_1001_3^15 + 48828495865684375450692/554547932745179372730505*c_1001_3^14 - 555314972153092195985239/1109095865490358745461010*c_1001_3^13 + 1866809902647042923801143/1109095865490358745461010*c_1001_3^12 - 4359831300004976075691087/1109095865490358745461010*c_1001_3^11 + 6313013086390331433743849/1109095865490358745461010*c_1001_3^10 - 870636996303520263687161/221819173098071749092202*c_1001_3^9 + 3800015850762826467643/110909586549035874546101*c_1001_3^8 + 8274233021476145818558649/1109095865490358745461010*c_1001_3^7 + 4051029492831429683710694/554547932745179372730505*c_1001_3^6 + 94369654154204058306912/554547932745179372730505*c_1001_3^5 + 9519261630453724603589581/1109095865490358745461010*c_1001_3^4 + 20439626856150923858351903/1109095865490358745461010*c_1001_3^3 + 7775266021611863103902064/554547932745179372730505*c_1001_3^2 + 388363111490850807926064/110909586549035874546101*c_1001_3 - 281499941228109198286079/1109095865490358745461010, c_0101_7 + 1171940173523206289304/554547932745179372730505*c_1001_3^15 - 16480991010925556332313/554547932745179372730505*c_1001_3^14 + 95650316607240226128233/554547932745179372730505*c_1001_3^13 - 327483756055613893924401/554547932745179372730505*c_1001_3^12 + 774433173074777496216919/554547932745179372730505*c_1001_3^11 - 1145939158047458299531763/554547932745179372730505*c_1001_3^10 + 161820994421146273677322/110909586549035874546101*c_1001_3^9 + 6891293591311316480267/110909586549035874546101*c_1001_3^8 - 1466402129191542241760908/554547932745179372730505*c_1001_3^7 - 1113495742561325716040976/554547932745179372730505*c_1001_3^6 + 533052586158143042091827/554547932745179372730505*c_1001_3^5 - 1040919365104988261208287/554547932745179372730505*c_1001_3^4 - 3507520769670463424424576/554547932745179372730505*c_1001_3^3 - 1565080812990042696519001/554547932745179372730505*c_1001_3^2 + 136149053338834527657672/110909586549035874546101*c_1001_3 + 406304534887841436944473/554547932745179372730505, c_0101_9 - 3775784548374511283511/554547932745179372730505*c_1001_3^15 + 53113221344750069205962/554547932745179372730505*c_1001_3^14 - 309141950924951216165622/554547932745179372730505*c_1001_3^13 + 1066629107536564831457464/554547932745179372730505*c_1001_3^12 - 5109748034933040360388837/1109095865490358745461010*c_1001_3^11 + 3872766302967879729670712/554547932745179372730505*c_1001_3^10 - 594184842277323073931455/110909586549035874546101*c_1001_3^9 + 53745463531821225060190/110909586549035874546101*c_1001_3^8 + 4744932745596636123868107/554547932745179372730505*c_1001_3^7 + 6680317624909424952787273/1109095865490358745461010*c_1001_3^6 - 1545884707390989112107348/554547932745179372730505*c_1001_3^5 + 6159253305822722075336653/554547932745179372730505*c_1001_3^4 + 9817516394010457431650754/554547932745179372730505*c_1001_3^3 + 5210983359259571316817299/554547932745179372730505*c_1001_3^2 + 264652621542290715588697/221819173098071749092202*c_1001_3 - 5876612682224318023162/554547932745179372730505, c_0110_10 + 10050334311692089562098/554547932745179372730505*c_1001_3^1\ 5 - 143886926487333630639336/554547932745179372730505*c_1001_3^14 + 859933827035051331846486/554547932745179372730505*c_1001_3^13 - 3070093161233435271183082/554547932745179372730505*c_1001_3^12 + 7664788150241467044050878/554547932745179372730505*c_1001_3^11 - 12572968934037044412883996/554547932745179372730505*c_1001_3^10 + 2383749402673786241279948/110909586549035874546101*c_1001_3^9 - 1015557860129278133938598/110909586549035874546101*c_1001_3^8 - 10268590207620611650318586/554547932745179372730505*c_1001_3^7 - 6080558300818032320901737/554547932745179372730505*c_1001_3^6 + 2982800535361950925576179/554547932745179372730505*c_1001_3^5 - 16041302327032649490278139/554547932745179372730505*c_1001_3^4 - 22548314593817385005362332/554547932745179372730505*c_1001_3^3 - 10310027222279269023419477/554547932745179372730505*c_1001_3^2 - 392976691149996986422848/110909586549035874546101*c_1001_3 - 207686641236350751779629/554547932745179372730505, c_1001_10 - 3529604710888998471096/554547932745179372730505*c_1001_3^15 + 48828495865684375450692/554547932745179372730505*c_1001_3^14 - 555314972153092195985239/1109095865490358745461010*c_1001_3^13 + 1866809902647042923801143/1109095865490358745461010*c_1001_3^12 - 4359831300004976075691087/1109095865490358745461010*c_1001_3^11 + 6313013086390331433743849/1109095865490358745461010*c_1001_3^10 - 870636996303520263687161/221819173098071749092202*c_1001_3^9 + 3800015850762826467643/110909586549035874546101*c_1001_3^8 + 8274233021476145818558649/1109095865490358745461010*c_1001_3^7 + 4051029492831429683710694/554547932745179372730505*c_1001_3^6 + 94369654154204058306912/554547932745179372730505*c_1001_3^5 + 9519261630453724603589581/1109095865490358745461010*c_1001_3^4 + 20439626856150923858351903/1109095865490358745461010*c_1001_3^3 + 7775266021611863103902064/554547932745179372730505*c_1001_3^2 + 388363111490850807926064/110909586549035874546101*c_1001_3 - 281499941228109198286079/1109095865490358745461010, c_1001_3^16 - 14*c_1001_3^15 + 81*c_1001_3^14 - 278*c_1001_3^13 + 664*c_1001_3^12 - 1004*c_1001_3^11 + 779*c_1001_3^10 - 120*c_1001_3^9 - 1177*c_1001_3^8 - 940*c_1001_3^7 + 131*c_1001_3^6 - 1424*c_1001_3^5 - 2748*c_1001_3^4 - 1706*c_1001_3^3 - 407*c_1001_3^2 + 22*c_1001_3 + 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB