Magma V2.19-8 Tue Aug 20 2013 23:56:02 on localhost [Seed = 2665019067] Type ? for help. Type -D to quit. Loading file "L14n13546__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13546 geometric_solution 11.40336866 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 1023 0132 0 0 1 1 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 -2 0 2 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 1.134157191491 1.020861220216 0 2 0 4 0132 0321 1023 0132 0 0 1 1 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 2 0 -2 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.483213976703 0.569727443636 5 0 4 1 0132 0132 1302 0321 0 1 1 1 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 2 0 -2 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 1.025834895310 0.876851449629 4 6 0 7 1023 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 1 -2 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.299926720497 0.747924771738 2 3 1 8 2031 1023 0132 0132 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 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 0 0 0 0 0 0.242479487672 1.164870990804 2 9 9 6 0132 0132 1302 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 0 1 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.435665903192 0.662911260140 5 3 10 8 3012 0132 0132 1230 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 0 0 0 0 0 0 0 -1 1 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.555639282113 0.621490523734 11 11 3 8 0132 1230 0132 1023 0 0 1 1 0 -1 1 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 1 -1 0 -1 0 0 1 6 -5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665185658415 0.665470822668 6 10 4 7 3012 0213 0132 1023 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 0 0 0 0 0 0 0 0 0 0 -1 2 -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.220222151735 0.947114254571 5 5 10 11 2031 0132 2103 2031 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.307649316848 1.053484012553 9 11 8 6 2103 1302 0213 0132 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 0 0 0 0 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 1.023023688811 0.560282068677 7 9 7 10 0132 1302 3012 2031 1 0 1 1 0 0 0 0 -1 0 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 1 0 -1 0 0 0 0 0 -6 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248652326981 0.751669774819 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_0101_8'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_7'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_6'], 's_0_10' : d['1'], 's_3_10' : 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_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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : negation(d['c_1100_0']), 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_11' : negation(d['c_1001_6']), 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_8'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0101_11'], 'c_1100_8' : negation(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'], '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_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(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_11' : d['c_0101_7'], 'c_0110_10' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], '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_7'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0011_8']})} 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_3, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0101_8, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 180996740317268736512/165648331717*c_1100_0^18 - 1010593997026320205696/165648331717*c_1100_0^17 - 2939543461529667353792/165648331717*c_1100_0^16 - 5750445242115818987352/165648331717*c_1100_0^15 - 8365837958500910905480/165648331717*c_1100_0^14 - 9508645968207989954298/165648331717*c_1100_0^13 - 8660143377997820570855/165648331717*c_1100_0^12 - 204131868789768488564553/5300746614944*c_1100_0^11 - 483491466569424882007767/21202986459776*c_1100_0^10 - 893398931649459822377961/84811945839104*c_1100_0^9 - 587319856127523455385593/169623891678208*c_1100_0^8 - 699984361359119475923443/1356991133425664*c_1100_0^7 + 317682486183414257731261/1356991133425664*c_1100_0^6 + 298240477068222797020701/1356991133425664*c_1100_0^5 + 5671681720563071402099/58999614496768*c_1100_0^4 + 37587635846986774996015/1356991133425664*c_1100_0^3 + 317626288176282872521/58999614496768*c_1100_0^2 + 881174918739712414391/1356991133425664*c_1100_0 + 50190312996887732199/1356991133425664, c_0011_0 - 1, c_0011_10 - 94321226441728/7338267*c_1100_0^18 - 501183108673280/7338267*c_1100_0^17 - 1400148334100608/7338267*c_1100_0^16 - 2639074839473776/7338267*c_1100_0^15 - 3704959723762976/7338267*c_1100_0^14 - 4062997235413604/7338267*c_1100_0^13 - 3563836517512162/7338267*c_1100_0^12 - 40281395236047829/117412272*c_1100_0^11 - 90721044148421479/469649088*c_1100_0^10 - 52134595209670403/626198784*c_1100_0^9 - 90474643168610507/3757192704*c_1100_0^8 - 5661301187337927/3339726848*c_1100_0^7 + 7012413219952501/2504795136*c_1100_0^6 + 57727015818306611/30057541632*c_1100_0^5 + 1218257181451327/1669863424*c_1100_0^4 + 5513136088261447/30057541632*c_1100_0^3 + 56013799019267/1878596352*c_1100_0^2 + 80947087562485/30057541632*c_1100_0 + 1247699863279/15028770816, c_0011_11 + 116968552304896/7338267*c_1100_0^18 + 620869671348416/7338267*c_1100_0^17 + 1731368069825632/7338267*c_1100_0^16 + 3255982980419740/7338267*c_1100_0^15 + 4558745187484124/7338267*c_1100_0^14 + 4983803128203473/7338267*c_1100_0^13 + 8711744953668383/14676534*c_1100_0^12 + 196104480828458701/469649088*c_1100_0^11 + 439351807334918443/1878596352*c_1100_0^10 + 250642126676580647/2504795136*c_1100_0^9 + 428966457290593817/15028770816*c_1100_0^8 + 23619839037502327/13358907392*c_1100_0^7 - 138661412548586773/40076722176*c_1100_0^6 - 279057186931524869/120230166528*c_1100_0^5 - 11643502389747251/13358907392*c_1100_0^4 - 26084911546451155/120230166528*c_1100_0^3 - 4198320828188093/120230166528*c_1100_0^2 - 375726963206119/120230166528*c_1100_0 - 11663746194689/120230166528, c_0011_3 - 17091055414528/815363*c_1100_0^18 - 92801597199808/815363*c_1100_0^17 - 261686824067296/815363*c_1100_0^16 - 494728300850348/815363*c_1100_0^15 - 693124933733644/815363*c_1100_0^14 - 755403027159021/815363*c_1100_0^13 - 1311721552424819/1630726*c_1100_0^12 - 29220793517559609/52183232*c_1100_0^11 - 64460536619197503/208732928*c_1100_0^10 - 107650282731539553/834931712*c_1100_0^9 - 58317397003891781/1669863424*c_1100_0^8 - 13415855194913939/13358907392*c_1100_0^7 + 65598741950501659/13358907392*c_1100_0^6 + 40718265833667025/13358907392*c_1100_0^5 + 14628214006951159/13358907392*c_1100_0^4 + 3495946042271591/13358907392*c_1100_0^3 + 539379867298769/13358907392*c_1100_0^2 + 46225013279147/13358907392*c_1100_0 + 1383332664645/13358907392, c_0011_8 - 46221830361856/7338267*c_1100_0^18 - 248089185217088/7338267*c_1100_0^17 - 701476609634080/7338267*c_1100_0^16 - 1340430927309652/7338267*c_1100_0^15 - 1910647691839220/7338267*c_1100_0^14 - 2130738325255379/7338267*c_1100_0^13 - 3808146128475917/14676534*c_1100_0^12 - 87925458184405447/469649088*c_1100_0^11 - 203090930003205313/1878596352*c_1100_0^10 - 120714664545938741/2504795136*c_1100_0^9 - 222462845970566459/15028770816*c_1100_0^8 - 20872348468044101/13358907392*c_1100_0^7 + 56743078022897911/40076722176*c_1100_0^6 + 130359109408533695/120230166528*c_1100_0^5 + 5790137378931409/13358907392*c_1100_0^4 + 13652496140573497/120230166528*c_1100_0^3 + 2306621885554127/120230166528*c_1100_0^2 + 215518650521125/120230166528*c_1100_0 + 6744102244811/120230166528, c_0101_0 - 1, c_0101_1 - 11128536856576/815363*c_1100_0^18 - 58179544934912/815363*c_1100_0^17 - 159674145022208/815363*c_1100_0^16 - 295321741593888/815363*c_1100_0^15 - 406376602875744/815363*c_1100_0^14 - 436275273376120/815363*c_1100_0^13 - 374020817162356/815363*c_1100_0^12 - 2060806815209363/6522904*c_1100_0^11 - 4505013781989261/26091616*c_1100_0^10 - 7464475537922355/104366464*c_1100_0^9 - 4010714478539203/208732928*c_1100_0^8 - 830292521694273/1669863424*c_1100_0^7 + 4561085240899135/1669863424*c_1100_0^6 + 2825905120629991/1669863424*c_1100_0^5 + 1019384511749551/1669863424*c_1100_0^4 + 245711784288645/1669863424*c_1100_0^3 + 38368842042005/1669863424*c_1100_0^2 + 3324212701829/1669863424*c_1100_0 + 98550966613/1669863424, c_0101_11 + 2965116492288/815363*c_1100_0^18 + 15820712782720/815363*c_1100_0^17 + 44402993857984/815363*c_1100_0^16 + 83947736592984/815363*c_1100_0^15 + 118034223453144/815363*c_1100_0^14 + 129415971467290/815363*c_1100_0^13 + 113290589997731/815363*c_1100_0^12 + 2550301447608793/26091616*c_1100_0^11 + 5702407172897727/104366464*c_1100_0^10 + 9706717264001889/417465856*c_1100_0^9 + 5456087039668277/834931712*c_1100_0^8 + 2232965415916339/6679453696*c_1100_0^7 - 5579966119487459/6679453696*c_1100_0^6 - 3637520930832673/6679453696*c_1100_0^5 - 1340143047870223/6679453696*c_1100_0^4 - 326397467965991/6679453696*c_1100_0^3 - 51024821327817/6679453696*c_1100_0^2 - 4414099995707/6679453696*c_1100_0 - 137538281453/6679453696, c_0101_7 - 4981424309504/815363*c_1100_0^18 - 27372947548096/815363*c_1100_0^17 - 78733919667680/815363*c_1100_0^16 - 152290270741068/815363*c_1100_0^15 - 218789582127084/815363*c_1100_0^14 - 244960787471941/815363*c_1100_0^13 - 437910020941819/1630726*c_1100_0^12 - 10073364607664433/52183232*c_1100_0^11 - 23069015020754247/208732928*c_1100_0^10 - 40468626441695577/834931712*c_1100_0^9 - 23974634955320509/1669863424*c_1100_0^8 - 15696015287233467/13358907392*c_1100_0^7 + 21090319398497139/13358907392*c_1100_0^6 + 14881375510071785/13358907392*c_1100_0^5 + 5694844265410511/13358907392*c_1100_0^4 + 1429818530085679/13358907392*c_1100_0^3 + 230046047969433/13358907392*c_1100_0^2 + 20329661542515/13358907392*c_1100_0 + 606789902093/13358907392, c_0101_8 - 2*c_1100_0 - 1, c_1001_6 + 256*c_1100_0^18 + 1216*c_1100_0^17 + 3168*c_1100_0^16 + 5596*c_1100_0^15 + 7420*c_1100_0^14 + 7681*c_1100_0^13 + 12735/2*c_1100_0^12 + 270205/64*c_1100_0^11 + 567963/256*c_1100_0^10 + 883077/1024*c_1100_0^9 + 431513/2048*c_1100_0^8 - 243073/16384*c_1100_0^7 - 571223/16384*c_1100_0^6 - 414645/16384*c_1100_0^5 - 51555/16384*c_1100_0^4 - 91939/16384*c_1100_0^3 - 69381/16384*c_1100_0^2 - 65847/16384*c_1100_0 - 16393/16384, c_1100_0^19 + 23/4*c_1100_0^18 + 137/8*c_1100_0^17 + 2191/64*c_1100_0^16 + 1627/32*c_1100_0^15 + 15101/256*c_1100_0^14 + 28097/512*c_1100_0^13 + 677725/16384*c_1100_0^12 + 1648783/65536*c_1100_0^11 + 3154929/262144*c_1100_0^10 + 2197667/524288*c_1100_0^9 + 3209031/4194304*c_1100_0^8 - 101787/524288*c_1100_0^7 - 246467/1048576*c_1100_0^6 - 58275/524288*c_1100_0^5 - 71747/2097152*c_1100_0^4 - 3781/524288*c_1100_0^3 - 1039/1048576*c_1100_0^2 - 5/65536*c_1100_0 - 9/4194304 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB