Magma V2.19-8 Tue Aug 20 2013 23:46:31 on localhost [Seed = 2598170765] Type ? for help. Type -D to quit. Loading file "K14n19921__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n19921 geometric_solution 10.61089202 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 0213 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 1 0 -1 1 0 -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.278144169501 1.094796130090 0 3 0 4 0132 2031 0213 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 -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.782008894612 0.858029197597 5 3 6 0 0132 0132 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 0 0 0 0 -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.595552932163 0.522219008173 1 2 0 7 1302 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.677502726434 1.580569939427 8 9 1 7 0132 0132 0132 3120 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 1 -1 0 0 0 0 0 0 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.903143760383 0.511909462451 2 6 8 10 0132 0213 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 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.427207637929 0.459659510967 9 7 5 2 3012 0132 0213 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 -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.427207637929 0.459659510967 4 6 3 11 3120 0132 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.367397302522 0.264598557698 4 11 11 5 0132 0132 2103 0132 0 0 0 0 0 1 -1 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 -15 15 0 0 0 0 0 15 -15 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.915147332933 1.167261074340 10 4 10 6 3120 0132 1302 1230 0 0 0 0 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 -1 0 1 0 0 0 0 16 -15 0 -1 16 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350144198905 0.599698675133 9 11 5 9 2031 0321 0132 3120 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.273920474712 1.243570308225 8 8 7 10 2103 0132 0132 0321 0 0 0 0 0 -1 0 1 0 0 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 15 1 -16 0 0 0 0 -15 15 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.903424760424 0.642215220390 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_7' : d['c_1001_2'], 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : negation(d['c_0101_7']), 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_0_11' : 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' : 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' : d['1'], 's_2_7' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : d['c_1001_10'], 'c_1100_3' : d['c_1001_10'], 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : negation(d['c_0101_7']), 'c_1010_1' : negation(d['c_0011_2']), 'c_1010_0' : negation(d['c_0101_7']), 'c_1010_9' : negation(d['c_0011_2']), 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : d['c_0011_10'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_6']), '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0011_6'], 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_10'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_10']})} 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_10, c_0011_11, c_0011_2, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_7, c_1001_10, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 3248556795428067274387037/6513712388934243505696*c_1001_2^21 + 39373795262882619161307887/3256856194467121752848*c_1001_2^20 - 444385654118511346221345161/3256856194467121752848*c_1001_2^19 + 6227917336679929384452144203/6513712388934243505696*c_1001_2^18 - 1326655690967471907232970191/283204886475401891552*c_1001_2^17 + 111683971478149655791501939455/6513712388934243505696*c_1001_2^16 - 318740712786118854387759326075/6513712388934243505696*c_1001_2^15 + 730675017425684802185348361231/6513712388934243505696*c_1001_2^14 - 1373879922753326719714033155717/6513712388934243505696*c_1001_2^13 + 1074605833673847864522476675789/3256856194467121752848*c_1001_2^12 - 1410473728338382345733208863791/3256856194467121752848*c_1001_2^11 + 3116687851776665482982824754519/6513712388934243505696*c_1001_2^10 - 2892612547748092538683180995989/6513712388934243505696*c_1001_2^9 + 1118681845133601491572479220117/3256856194467121752848*c_1001_2^8 - 709930444061578364424610662471/3256856194467121752848*c_1001_2^7 + 359826819133400761800186090093/3256856194467121752848*c_1001_2^6 - 139191186373268515263120990931/3256856194467121752848*c_1001_2^5 + 9480746844298896782821579143/814214048616780438212*c_1001_2^4 - 782968293395968532792225135/407107024308390219106*c_1001_2^3 + 1186086005916906006141532277/6513712388934243505696*c_1001_2^2 - 233044349317582932147278463/3256856194467121752848*c_1001_2 + 183097542062774820846363317/6513712388934243505696, c_0011_0 - 1, c_0011_10 - 1128977124377/137011117298942*c_1001_2^21 - 15039022220467/137011117298942*c_1001_2^20 + 630430242729149/137011117298942*c_1001_2^19 - 7470601266374831/137011117298942*c_1001_2^18 + 2194877297215433/5957005099954*c_1001_2^17 - 115551310538006949/68505558649471*c_1001_2^16 + 778594813744930015/137011117298942*c_1001_2^15 - 2029311970333513031/137011117298942*c_1001_2^14 + 2114501808007993085/68505558649471*c_1001_2^13 - 3601477783428451544/68505558649471*c_1001_2^12 + 10164829085732210829/137011117298942*c_1001_2^11 - 5983004446938262655/68505558649471*c_1001_2^10 + 5877925361882418883/68505558649471*c_1001_2^9 - 9579755575005611715/137011117298942*c_1001_2^8 + 3191723836332898563/68505558649471*c_1001_2^7 - 3388617208467941995/137011117298942*c_1001_2^6 + 1369601113526011679/137011117298942*c_1001_2^5 - 194094048896501847/68505558649471*c_1001_2^4 + 65589259673627187/137011117298942*c_1001_2^3 - 2717200728233784/68505558649471*c_1001_2^2 + 2261486265492135/137011117298942*c_1001_2 - 1054040488647019/137011117298942, c_0011_11 + 32198412228421/137011117298942*c_1001_2^21 - 358227455160057/68505558649471*c_1001_2^20 + 7381549033134883/137011117298942*c_1001_2^19 - 23493256906944016/68505558649471*c_1001_2^18 + 9055826304225863/5957005099954*c_1001_2^17 - 687695644741711945/137011117298942*c_1001_2^16 + 883146181146893495/68505558649471*c_1001_2^15 - 3635122913166984465/137011117298942*c_1001_2^14 + 6115009558629092537/137011117298942*c_1001_2^13 - 8509965443154000779/137011117298942*c_1001_2^12 + 4923738800549136285/68505558649471*c_1001_2^11 - 4729100789522128895/68505558649471*c_1001_2^10 + 3733539623398525433/68505558649471*c_1001_2^9 - 4745235914798395217/137011117298942*c_1001_2^8 + 2331200487313303387/137011117298942*c_1001_2^7 - 407556670828365466/68505558649471*c_1001_2^6 + 162527510512153593/137011117298942*c_1001_2^5 - 558001823123785/137011117298942*c_1001_2^4 - 2524177143529850/68505558649471*c_1001_2^3 - 922723947048818/68505558649471*c_1001_2^2 + 763166529087221/137011117298942*c_1001_2 + 132862991888281/68505558649471, c_0011_2 + 13336521/844127122*c_1001_2^21 - 227684583/422063561*c_1001_2^20 + 6562924473/844127122*c_1001_2^19 - 27667710835/422063561*c_1001_2^18 + 313188965647/844127122*c_1001_2^17 - 1285432087755/844127122*c_1001_2^16 + 2011579825363/422063561*c_1001_2^15 - 9947452282185/844127122*c_1001_2^14 + 19928959851481/844127122*c_1001_2^13 - 32923808387721/844127122*c_1001_2^12 + 22674411799892/422063561*c_1001_2^11 - 26172754086307/422063561*c_1001_2^10 + 25303048540266/422063561*c_1001_2^9 - 40700634863565/844127122*c_1001_2^8 + 26834860880681/844127122*c_1001_2^7 - 7062953363323/422063561*c_1001_2^6 + 5669261361285/844127122*c_1001_2^5 - 1590733025005/844127122*c_1001_2^4 + 128722371808/422063561*c_1001_2^3 - 7441851337/422063561*c_1001_2^2 + 7067549585/844127122*c_1001_2 - 2118219078/422063561, c_0011_6 + 1128977124377/137011117298942*c_1001_2^21 + 15039022220467/137011117298942*c_1001_2^20 - 630430242729149/137011117298942*c_1001_2^19 + 7470601266374831/137011117298942*c_1001_2^18 - 2194877297215433/5957005099954*c_1001_2^17 + 115551310538006949/68505558649471*c_1001_2^16 - 778594813744930015/137011117298942*c_1001_2^15 + 2029311970333513031/137011117298942*c_1001_2^14 - 2114501808007993085/68505558649471*c_1001_2^13 + 3601477783428451544/68505558649471*c_1001_2^12 - 10164829085732210829/137011117298942*c_1001_2^11 + 5983004446938262655/68505558649471*c_1001_2^10 - 5877925361882418883/68505558649471*c_1001_2^9 + 9579755575005611715/137011117298942*c_1001_2^8 - 3191723836332898563/68505558649471*c_1001_2^7 + 3388617208467941995/137011117298942*c_1001_2^6 - 1369601113526011679/137011117298942*c_1001_2^5 + 194094048896501847/68505558649471*c_1001_2^4 - 65589259673627187/137011117298942*c_1001_2^3 + 2717200728233784/68505558649471*c_1001_2^2 - 2261486265492135/137011117298942*c_1001_2 + 1054040488647019/137011117298942, c_0101_0 + c_1001_2, c_0101_10 + 390402685/844127122*c_1001_2^21 - 4688192332/422063561*c_1001_2^20 + 104928176223/844127122*c_1001_2^19 - 364844760712/422063561*c_1001_2^18 + 3551416429731/844127122*c_1001_2^17 - 12925795349589/844127122*c_1001_2^16 + 18357882123118/422063561*c_1001_2^15 - 83835310970915/844127122*c_1001_2^14 + 157112913690415/844127122*c_1001_2^13 - 245083943665225/844127122*c_1001_2^12 + 160447980392050/422063561*c_1001_2^11 - 176881818175216/422063561*c_1001_2^10 + 163834853996453/422063561*c_1001_2^9 - 252950471458981/844127122*c_1001_2^8 + 160196468254373/844127122*c_1001_2^7 - 40497549784441/422063561*c_1001_2^6 + 31216462364509/844127122*c_1001_2^5 - 8443599017859/844127122*c_1001_2^4 + 682553506548/422063561*c_1001_2^3 - 59843473222/422063561*c_1001_2^2 + 49711990949/844127122*c_1001_2 - 10247463764/422063561, c_0101_11 - 3320843743729/137011117298942*c_1001_2^21 + 118412541056995/137011117298942*c_1001_2^20 - 1750350766584507/137011117298942*c_1001_2^19 + 15026606165056545/137011117298942*c_1001_2^18 - 3751610094311755/5957005099954*c_1001_2^17 + 179286425830606925/68505558649471*c_1001_2^16 - 1134658064771341059/137011117298942*c_1001_2^15 + 2833144855836377889/137011117298942*c_1001_2^14 - 2862947667592374419/68505558649471*c_1001_2^13 + 4766789659666799927/68505558649471*c_1001_2^12 - 13222798095034276111/137011117298942*c_1001_2^11 + 7678412704658179175/68505558649471*c_1001_2^10 - 7463308710418826193/68505558649471*c_1001_2^9 + 12061144113790811363/137011117298942*c_1001_2^8 - 3992435126749751652/68505558649471*c_1001_2^7 + 4220050574487948861/137011117298942*c_1001_2^6 - 1703037705981463239/137011117298942*c_1001_2^5 + 242380212695492614/68505558649471*c_1001_2^4 - 83612493810893955/137011117298942*c_1001_2^3 + 3713683016775764/68505558649471*c_1001_2^2 - 2613506011179225/137011117298942*c_1001_2 + 1207141239801183/137011117298942, c_0101_7 - 526733587/844127122*c_1001_2^21 + 12654942609/844127122*c_1001_2^20 - 141606633961/844127122*c_1001_2^19 + 984265162887/844127122*c_1001_2^18 - 4786129677733/844127122*c_1001_2^17 + 8699045643664/422063561*c_1001_2^16 - 49345577124091/844127122*c_1001_2^15 + 112486965191835/844127122*c_1001_2^14 - 105219105107766/422063561*c_1001_2^13 + 163836408425502/422063561*c_1001_2^12 - 428239192249873/844127122*c_1001_2^11 + 235608548570695/422063561*c_1001_2^10 - 217819414008379/422063561*c_1001_2^9 + 335676293545981/844127122*c_1001_2^8 - 106108056119942/422063561*c_1001_2^7 + 107139192714073/844127122*c_1001_2^6 - 41263746944961/844127122*c_1001_2^5 + 5588148270201/422063561*c_1001_2^4 - 1821379044675/844127122*c_1001_2^3 + 82139298944/422063561*c_1001_2^2 - 66039141869/844127122*c_1001_2 + 26885982397/844127122, c_1001_10 + 13336521/844127122*c_1001_2^21 - 227684583/422063561*c_1001_2^20 + 6562924473/844127122*c_1001_2^19 - 27667710835/422063561*c_1001_2^18 + 313188965647/844127122*c_1001_2^17 - 1285432087755/844127122*c_1001_2^16 + 2011579825363/422063561*c_1001_2^15 - 9947452282185/844127122*c_1001_2^14 + 19928959851481/844127122*c_1001_2^13 - 32923808387721/844127122*c_1001_2^12 + 22674411799892/422063561*c_1001_2^11 - 26172754086307/422063561*c_1001_2^10 + 25303048540266/422063561*c_1001_2^9 - 40700634863565/844127122*c_1001_2^8 + 26834860880681/844127122*c_1001_2^7 - 7062953363323/422063561*c_1001_2^6 + 5669261361285/844127122*c_1001_2^5 - 1590733025005/844127122*c_1001_2^4 + 128722371808/422063561*c_1001_2^3 - 7441851337/422063561*c_1001_2^2 + 7067549585/844127122*c_1001_2 - 2118219078/422063561, c_1001_11 + 54628457978729/137011117298942*c_1001_2^21 - 1264364297569093/137011117298942*c_1001_2^20 + 13615910250504645/137011117298942*c_1001_2^19 - 91040050169547325/137011117298942*c_1001_2^18 + 18518841803678585/5957005099954*c_1001_2^17 - 745413979182430554/68505558649471*c_1001_2^16 + 4076059664251090829/137011117298942*c_1001_2^15 - 8967935646491615411/137011117298942*c_1001_2^14 + 8104304208291571430/68505558649471*c_1001_2^13 - 12198204355585991665/68505558649471*c_1001_2^12 + 30817750487742848783/137011117298942*c_1001_2^11 - 16374702096553993181/68505558649471*c_1001_2^10 + 14594605229059672678/68505558649471*c_1001_2^9 - 21620463070851787115/137011117298942*c_1001_2^8 + 6539788376763241812/68505558649471*c_1001_2^7 - 6275450551035411891/137011117298942*c_1001_2^6 + 2273450816817406941/137011117298942*c_1001_2^5 - 285565700219693053/68505558649471*c_1001_2^4 + 86246176648799261/137011117298942*c_1001_2^3 - 4851861788930535/68505558649471*c_1001_2^2 + 4374229621283155/137011117298942*c_1001_2 - 1244261978523207/137011117298942, c_1001_2^22 - 25*c_1001_2^21 + 292*c_1001_2^20 - 2125*c_1001_2^19 + 10850*c_1001_2^18 - 41522*c_1001_2^17 + 124272*c_1001_2^16 - 299600*c_1001_2^15 + 594186*c_1001_2^14 - 983765*c_1001_2^13 + 1372588*c_1001_2^12 - 1621517*c_1001_2^11 + 1622282*c_1001_2^10 - 1368261*c_1001_2^9 + 962900*c_1001_2^8 - 555348*c_1001_2^7 + 254924*c_1001_2^6 - 88794*c_1001_2^5 + 21656*c_1001_2^4 - 3281*c_1001_2^3 + 409*c_1001_2^2 - 163*c_1001_2 + 43 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.310 Total time: 1.520 seconds, Total memory usage: 32.09MB