Magma V2.19-8 Wed Aug 21 2013 01:04:52 on localhost [Seed = 3903778951] Type ? for help. Type -D to quit. Loading file "L14n24774__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24774 geometric_solution 11.72533191 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 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 -1 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 0.805399568919 1.000970757613 0 4 0 5 0132 0132 3012 0132 1 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 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.512059712199 0.606424411433 5 6 7 0 0132 0132 0132 0132 1 1 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 -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.494673379252 0.943897477873 4 4 0 8 0132 1302 0132 0132 1 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 1 -1 0 0 0 0 0 0 -1 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243047777046 0.613467269934 3 1 5 3 0132 0132 3012 2031 1 1 0 1 0 0 0 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 -1 0 1 0 0 1 -1 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797363599619 0.646218421414 2 4 1 8 0132 1230 0132 1230 1 1 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 -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 1.802745006695 0.537743072030 8 2 9 10 1230 0132 0132 0132 1 1 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 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.778371072811 0.653680501798 10 9 11 2 0132 1230 0132 0132 1 1 1 1 0 0 0 0 0 0 0 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 -6 6 0 0 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423100720542 0.620174760766 5 6 3 11 3012 3012 0132 0132 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.178022702984 2.101469647280 12 11 7 6 0132 3012 3012 0132 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045697093814 0.900772529998 7 12 6 12 0132 1302 0132 0321 1 1 1 1 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 -5 0 0 5 6 -5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500316674635 0.592535987261 9 12 8 7 1230 3201 0132 0132 1 1 1 1 0 0 0 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 0 0 0 0 0 0 0 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556574216156 0.423023840589 9 10 11 10 0132 0321 2310 2031 1 1 1 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 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.739102783494 0.776246940771 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : d['c_0101_9'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0011_2'], 'c_1001_7' : negation(d['c_1001_12']), 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0101_11']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_9'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_2'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_8'], '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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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_1001_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1001_12'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1001_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_11']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0101_12']), 'c_1100_8' : d['c_1100_0'], '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'], 'c_1100_12' : negation(d['c_0011_10']), '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_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_12'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_4'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0011_8']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_2, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_4, c_0101_9, c_1001_12, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 102873753761927645657/14897555439004971612*c_1100_0^11 + 279702096298458309647/7448777719502485806*c_1100_0^10 + 6224058858211100187793/14897555439004971612*c_1100_0^9 + 9288487594539020652577/14897555439004971612*c_1100_0^8 + 6956791285727452522709/2482925906500828602*c_1100_0^7 + 4254047124519711542065/1354323221727724692*c_1100_0^6 + 32687624083182726096755/7448777719502485806*c_1100_0^5 + 3017617783415474066261/2482925906500828602*c_1100_0^4 - 33370047211877894591461/14897555439004971612*c_1100_0^3 - 2207226201774446402183/2482925906500828602*c_1100_0^2 - 9774469008065707745/40372778967493148*c_1100_0 - 488782424564174784551/7448777719502485806, c_0011_0 - 1, c_0011_10 + 1534221482909/22139593633161*c_1100_0^11 + 13899209312191/22139593633161*c_1100_0^10 + 126555415545256/22139593633161*c_1100_0^9 + 496017603643888/22139593633161*c_1100_0^8 + 450158181277582/7379864544387*c_1100_0^7 + 3412024597684748/22139593633161*c_1100_0^6 + 5228409905624065/22139593633161*c_1100_0^5 + 722137738460013/2459954848129*c_1100_0^4 + 4485508614461681/22139593633161*c_1100_0^3 + 411292221880993/7379864544387*c_1100_0^2 + 30882212892496/2459954848129*c_1100_0 + 71969645204333/22139593633161, c_0011_12 - 28329434563831/44279187266322*c_1100_0^11 - 84591305913193/22139593633161*c_1100_0^10 - 1807396280908247/44279187266322*c_1100_0^9 - 3541093716139325/44279187266322*c_1100_0^8 - 754318861297795/2459954848129*c_1100_0^7 - 20494545440239501/44279187266322*c_1100_0^6 - 15186889552090810/22139593633161*c_1100_0^5 - 1290378924107114/2459954848129*c_1100_0^4 - 6284033388244633/44279187266322*c_1100_0^3 - 102124324380259/2459954848129*c_1100_0^2 - 127031597802479/14759729088774*c_1100_0 - 4056060762548/22139593633161, c_0011_2 - 6075304314425/22139593633161*c_1100_0^11 - 67422975500387/44279187266322*c_1100_0^10 - 372368411513641/22139593633161*c_1100_0^9 - 1192592606231045/44279187266322*c_1100_0^8 - 1732587254077829/14759729088774*c_1100_0^7 - 3188245631425544/22139593633161*c_1100_0^6 - 9449076041170445/44279187266322*c_1100_0^5 - 795106483352173/7379864544387*c_1100_0^4 + 560103346999768/22139593633161*c_1100_0^3 - 45119848610389/14759729088774*c_1100_0^2 + 419895699101/2459954848129*c_1100_0 + 16375454803295/44279187266322, c_0011_8 - 7530086287643/22139593633161*c_1100_0^11 - 44536516295485/22139593633161*c_1100_0^10 - 476811684619786/22139593633161*c_1100_0^9 - 907897198662376/22139593633161*c_1100_0^8 - 1164010334878927/7379864544387*c_1100_0^7 - 5134790679773000/22139593633161*c_1100_0^6 - 7309728082897402/22139593633161*c_1100_0^5 - 1711170141114461/7379864544387*c_1100_0^4 - 425202541360286/22139593633161*c_1100_0^3 + 13319852778633/2459954848129*c_1100_0^2 - 1938634769727/2459954848129*c_1100_0 + 31161116789995/22139593633161, c_0101_0 - 1, c_0101_1 + 8223102768914/22139593633161*c_1100_0^11 + 99684966173567/44279187266322*c_1100_0^10 + 528429002111857/22139593633161*c_1100_0^9 + 2142766661301377/44279187266322*c_1100_0^8 + 888143025517727/4919909696258*c_1100_0^7 + 6237992311774181/22139593633161*c_1100_0^6 + 18175468638891239/44279187266322*c_1100_0^5 + 798214157132980/2459954848129*c_1100_0^4 + 1906762041117371/22139593633161*c_1100_0^3 + 85866976685445/4919909696258*c_1100_0^2 + 40579468137373/7379864544387*c_1100_0 - 969484037591/44279187266322, c_0101_11 + 231005493757/7379864544387*c_1100_0^11 + 3537311194199/14759729088774*c_1100_0^10 + 5735257499119/2459954848129*c_1100_0^9 + 108990754658875/14759729088774*c_1100_0^8 + 336408406795327/14759729088774*c_1100_0^7 + 367733877333727/7379864544387*c_1100_0^6 + 395112497010715/4919909696258*c_1100_0^5 + 683472330284479/7379864544387*c_1100_0^4 + 493853166585695/7379864544387*c_1100_0^3 + 112506682242711/4919909696258*c_1100_0^2 + 34763563828192/7379864544387*c_1100_0 + 35210645602907/14759729088774, c_0101_12 + 7181351695181/44279187266322*c_1100_0^11 + 21167094057113/22139593633161*c_1100_0^10 + 452863282026013/44279187266322*c_1100_0^9 + 851133083497219/44279187266322*c_1100_0^8 + 180507567663771/2459954848129*c_1100_0^7 + 4723573647772685/44279187266322*c_1100_0^6 + 3208778642950538/22139593633161*c_1100_0^5 + 230873618132674/2459954848129*c_1100_0^4 - 579822949056937/44279187266322*c_1100_0^3 - 37597033828723/2459954848129*c_1100_0^2 + 1390860740749/14759729088774*c_1100_0 - 48232123660817/22139593633161, c_0101_4 - 5382287833154/22139593633161*c_1100_0^11 - 28405520958895/22139593633161*c_1100_0^10 - 320751094021570/22139593633161*c_1100_0^9 - 432810171127210/22139593633161*c_1100_0^8 - 698089423641251/7379864544387*c_1100_0^7 - 2085043999424363/22139593633161*c_1100_0^6 - 2946531784037005/22139593633161*c_1100_0^5 - 37211384355898/2459954848129*c_1100_0^4 + 2041662846756853/22139593633161*c_1100_0^3 + 146200099058872/7379864544387*c_1100_0^2 + 36023250925495/7379864544387*c_1100_0 + 38864102172847/22139593633161, c_0101_9 - 7530086287643/22139593633161*c_1100_0^11 - 44536516295485/22139593633161*c_1100_0^10 - 476811684619786/22139593633161*c_1100_0^9 - 907897198662376/22139593633161*c_1100_0^8 - 1164010334878927/7379864544387*c_1100_0^7 - 5134790679773000/22139593633161*c_1100_0^6 - 7309728082897402/22139593633161*c_1100_0^5 - 1711170141114461/7379864544387*c_1100_0^4 - 425202541360286/22139593633161*c_1100_0^3 + 13319852778633/2459954848129*c_1100_0^2 - 4398589617856/2459954848129*c_1100_0 + 31161116789995/22139593633161, c_1001_12 - 16511657489284/22139593633161*c_1100_0^11 - 98773926232733/22139593633161*c_1100_0^10 - 1054283878111346/22139593633161*c_1100_0^9 - 2073735420380603/22139593633161*c_1100_0^8 - 880631764484810/2459954848129*c_1100_0^7 - 12009984749917288/22139593633161*c_1100_0^6 - 17760684811939454/22139593633161*c_1100_0^5 - 4544823206638172/7379864544387*c_1100_0^4 - 3673038623900902/22139593633161*c_1100_0^3 - 345025185064976/7379864544387*c_1100_0^2 - 74487925446689/7379864544387*c_1100_0 - 14358746837674/22139593633161, c_1100_0^12 + 6*c_1100_0^11 + 64*c_1100_0^10 + 127*c_1100_0^9 + 485*c_1100_0^8 + 742*c_1100_0^7 + 1110*c_1100_0^6 + 881*c_1100_0^5 + 289*c_1100_0^4 + 112*c_1100_0^3 + 30*c_1100_0^2 + 4*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.740 Total time: 0.940 seconds, Total memory usage: 32.09MB