Magma V2.19-8 Tue Aug 20 2013 23:42:12 on localhost [Seed = 121725526] Type ? for help. Type -D to quit. Loading file "L13a4984__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a4984 geometric_solution 9.03111791 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 1 1 0 0 0 0 1 -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 1 -1 0 -1 0 0 1 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.190841892358 1.335167402151 0 2 5 2 0132 2031 0132 3012 0 1 0 0 0 -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 2 -1 -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.644917578945 0.805005121533 1 0 1 3 1302 0132 1230 1230 1 0 0 0 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 1 0 0 0 0 0 -2 0 0 2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.951739305654 1.014701629233 2 4 5 0 3012 0132 3120 0132 1 1 0 0 0 0 1 -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 0 -1 1 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393651706586 0.368852950215 6 3 0 7 0132 0132 0132 0132 1 1 0 0 0 0 1 -1 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 1 0 -1 0 2 -2 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559796549811 1.056124333547 7 8 3 1 3120 0132 3120 0132 0 1 0 1 0 1 0 -1 0 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 -1 0 1 0 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.608197091058 0.739183880695 4 9 8 7 0132 0132 3201 3120 0 1 0 0 0 -1 1 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 1 -1 0 -1 0 1 0 2 0 0 -2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762801727824 0.477574875632 6 8 4 5 3120 2310 0132 3120 1 1 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 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.342359630692 0.898965898267 6 5 9 7 2310 0132 2103 3201 0 0 1 0 0 -1 1 0 1 0 0 -1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -2 0 0 2 -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.834204191095 1.679586276745 8 6 10 10 2103 0132 3201 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 -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.813790571564 0.865053945118 9 10 9 10 2310 2310 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.842289302669 0.364045958175 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_3'], 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_10' : d['c_0101_8'], '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_7'], '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' : 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_0011_10']), 'c_1100_8' : negation(d['c_0011_7']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : d['c_0101_0'], 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0101_3'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : negation(d['c_1001_3']), '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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0101_8']), 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_5'], '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_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0101_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 20931162114085264614731/1015952108805654825*c_1001_3^15 + 19601268350267645533253/110030914311081750*c_1001_3^14 - 2047858297148472540280658/3047856326416964475*c_1001_3^13 + 7844322656796374723521261/6095712652833928950*c_1001_3^12 - 9200819965888072096562143/15239281632084822375*c_1001_3^11 - 10714881705671598525410693/3047856326416964475*c_1001_3^10 + 57574291992010307774227867/5079760544028274125*c_1001_3^9 - 59212241068485917482127713/3047856326416964475*c_1001_3^8 + 350753931890331269940808349/15239281632084822375*c_1001_3^7 - 309726923342422359385606334/15239281632084822375*c_1001_3^6 + 209204917021050033387163987/15239281632084822375*c_1001_3^5 - 71428785925854410707968197/10159521088056548250*c_1001_3^4 + 39784104339829333856798117/15239281632084822375*c_1001_3^3 - 19894508050845063991147901/30478563264169644750*c_1001_3^2 + 1116474720502034910019124/15239281632084822375*c_1001_3 + 105175951119650008636601/15239281632084822375, c_0011_0 - 1, c_0011_10 - 8862026129680293/3870293747831066*c_1001_3^15 + 1379398045613469/69860897975290*c_1001_3^14 - 1410679209460005977/19351468739155330*c_1001_3^13 + 2563539133536039061/19351468739155330*c_1001_3^12 - 754495643673398681/19351468739155330*c_1001_3^11 - 4059662740720760097/9675734369577665*c_1001_3^10 + 11760559530359915694/9675734369577665*c_1001_3^9 - 3761742928038117616/1935146873915533*c_1001_3^8 + 20844674674331171912/9675734369577665*c_1001_3^7 - 3450122927904131229/1935146873915533*c_1001_3^6 + 22058032597510451651/19351468739155330*c_1001_3^5 - 10888444520495256743/19351468739155330*c_1001_3^4 + 4046891316977052299/19351468739155330*c_1001_3^3 - 1132798722867368507/19351468739155330*c_1001_3^2 + 197506021331536453/19351468739155330*c_1001_3 - 10153104917992316/9675734369577665, c_0011_3 + 710886470817342/1935146873915533*c_1001_3^15 - 183144854184847/69860897975290*c_1001_3^14 + 76121007644632538/9675734369577665*c_1001_3^13 - 98061809944337174/9675734369577665*c_1001_3^12 - 64061208925646291/9675734369577665*c_1001_3^11 + 516087993869290581/9675734369577665*c_1001_3^10 - 2216133286531826019/19351468739155330*c_1001_3^9 + 300905309060147847/1935146873915533*c_1001_3^8 - 2971847321029863747/19351468739155330*c_1001_3^7 + 224352766812774384/1935146873915533*c_1001_3^6 - 1305133327124687293/19351468739155330*c_1001_3^5 + 574340180071883009/19351468739155330*c_1001_3^4 - 187689449543084647/19351468739155330*c_1001_3^3 + 20244992401593078/9675734369577665*c_1001_3^2 - 18555561406931609/19351468739155330*c_1001_3 + 5855741576107643/9675734369577665, c_0011_5 + 1526000860659687/3870293747831066*c_1001_3^15 - 208533053908321/69860897975290*c_1001_3^14 + 93127454766147124/9675734369577665*c_1001_3^13 - 274619441986972299/19351468739155330*c_1001_3^12 - 70103255496547281/19351468739155330*c_1001_3^11 + 1204702540190897881/19351468739155330*c_1001_3^10 - 1424672193384821296/9675734369577665*c_1001_3^9 + 409632802562473712/1935146873915533*c_1001_3^8 - 2109878689972309268/9675734369577665*c_1001_3^7 + 330296596318541861/1935146873915533*c_1001_3^6 - 1990789380699607289/19351468739155330*c_1001_3^5 + 903139677644832357/19351468739155330*c_1001_3^4 - 161182345646467653/9675734369577665*c_1001_3^3 + 112058947329281443/19351468739155330*c_1001_3^2 - 34127756303869697/19351468739155330*c_1001_3 + 11523328294946143/19351468739155330, c_0011_7 - 273738730731918/1935146873915533*c_1001_3^15 + 91161025991963/69860897975290*c_1001_3^14 - 96705204877577389/19351468739155330*c_1001_3^13 + 177699761194996397/19351468739155330*c_1001_3^12 - 23296282091052721/9675734369577665*c_1001_3^11 - 577106366647062353/19351468739155330*c_1001_3^10 + 1615831618698144071/19351468739155330*c_1001_3^9 - 500672905595956449/3870293747831066*c_1001_3^8 + 2704467734490609053/19351468739155330*c_1001_3^7 - 435359323200732603/3870293747831066*c_1001_3^6 + 1285247321461279807/19351468739155330*c_1001_3^5 - 230138175711508583/9675734369577665*c_1001_3^4 + 14025819816867124/9675734369577665*c_1001_3^3 + 24982134697091983/9675734369577665*c_1001_3^2 - 39085697916101859/19351468739155330*c_1001_3 + 6144584793978353/9675734369577665, c_0101_0 - 1, c_0101_1 - c_1001_3, c_0101_3 - 710886470817342/1935146873915533*c_1001_3^15 + 183144854184847/69860897975290*c_1001_3^14 - 76121007644632538/9675734369577665*c_1001_3^13 + 98061809944337174/9675734369577665*c_1001_3^12 + 64061208925646291/9675734369577665*c_1001_3^11 - 516087993869290581/9675734369577665*c_1001_3^10 + 2216133286531826019/19351468739155330*c_1001_3^9 - 300905309060147847/1935146873915533*c_1001_3^8 + 2971847321029863747/19351468739155330*c_1001_3^7 - 224352766812774384/1935146873915533*c_1001_3^6 + 1305133327124687293/19351468739155330*c_1001_3^5 - 574340180071883009/19351468739155330*c_1001_3^4 + 187689449543084647/19351468739155330*c_1001_3^3 - 20244992401593078/9675734369577665*c_1001_3^2 - 795907332223721/19351468739155330*c_1001_3 - 5855741576107643/9675734369577665, c_0101_5 + 564464571807429/3870293747831066*c_1001_3^15 - 85063834423557/69860897975290*c_1001_3^14 + 41452745225624028/9675734369577665*c_1001_3^13 - 68604012935945479/9675734369577665*c_1001_3^12 + 1487615549620484/9675734369577665*c_1001_3^11 + 517493323805992507/19351468739155330*c_1001_3^10 - 1322551943408293559/19351468739155330*c_1001_3^9 + 393267281558532623/3870293747831066*c_1001_3^8 - 2067893866523000317/19351468739155330*c_1001_3^7 + 328730757519486967/3870293747831066*c_1001_3^6 - 500993160591527969/9675734369577665*c_1001_3^5 + 229162739310734722/9675734369577665*c_1001_3^4 - 155699259895093877/19351468739155330*c_1001_3^3 + 37081661377310501/19351468739155330*c_1001_3^2 + 2384938170183461/19351468739155330*c_1001_3 - 6092703733046757/9675734369577665, c_0101_8 - 612167719957611/3870293747831066*c_1001_3^15 + 95136212441863/69860897975290*c_1001_3^14 - 48189859668122222/9675734369577665*c_1001_3^13 + 84980837621979996/9675734369577665*c_1001_3^12 - 33321356232367907/19351468739155330*c_1001_3^11 - 569788170417150923/19351468739155330*c_1001_3^10 + 1548272094487043621/19351468739155330*c_1001_3^9 - 238095169394152750/1935146873915533*c_1001_3^8 + 2635485277735401643/19351468739155330*c_1001_3^7 - 239360314171935228/1935146873915533*c_1001_3^6 + 970510238640801191/9675734369577665*c_1001_3^5 - 1402504937848927121/19351468739155330*c_1001_3^4 + 821709644911812043/19351468739155330*c_1001_3^3 - 183378018712101437/9675734369577665*c_1001_3^2 + 53319087365470863/9675734369577665*c_1001_3 - 19067836952306929/19351468739155330, c_1001_3^16 - 128/15*c_1001_3^15 + 478/15*c_1001_3^14 - 182/3*c_1001_3^13 + 433/15*c_1001_3^12 + 814/5*c_1001_3^11 - 7946/15*c_1001_3^10 + 13816/15*c_1001_3^9 - 16769/15*c_1001_3^8 + 15368/15*c_1001_3^7 - 3652/5*c_1001_3^6 + 1216/3*c_1001_3^5 - 515/3*c_1001_3^4 + 54*c_1001_3^3 - 54/5*c_1001_3^2 + 6/5*c_1001_3 + 1/15 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB