Magma V2.19-8 Wed Aug 21 2013 01:10:20 on localhost [Seed = 1999728379] Type ? for help. Type -D to quit. Loading file "L14n533__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n533 geometric_solution 12.07406134 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 0 1 1 0 0 0 0 -1 0 -1 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 -1 0 1 1 0 0 -1 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555268733379 1.045581828126 0 0 5 4 0132 1302 0132 0132 0 0 1 1 0 -2 0 2 1 0 1 -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 1 0 -1 -1 0 0 1 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.603822268607 0.746010376150 4 0 7 6 0132 0132 0132 0132 1 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 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.690242273123 1.017613688101 6 8 7 0 0132 0132 0321 0132 1 0 1 0 0 0 0 0 -1 0 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367508877415 0.537008624224 2 7 1 9 0132 3120 0132 0132 0 0 1 1 0 0 -2 2 0 0 2 -2 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 -1 1 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.618888053165 0.469330123536 10 10 11 1 0132 1230 0132 0132 0 0 1 0 0 0 0 0 0 0 1 -1 0 0 0 0 2 0 -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 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.478790094996 0.670389829843 3 12 2 8 0132 0132 0132 0213 1 0 0 1 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 -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.082086704166 0.908924476288 9 4 3 2 0132 3120 0321 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 -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.330697885511 0.484410322081 11 3 12 6 0213 0132 0132 0213 1 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 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.702737824826 0.784824479958 7 11 4 10 0132 2103 0132 0213 0 0 0 1 0 2 -2 0 0 0 2 -2 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 -1 1 0 0 0 -1 1 0 0 0 0 6 -1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.294509259323 0.987810363125 5 12 5 9 0132 1230 3012 0213 0 0 0 1 0 0 0 0 0 0 0 0 -2 0 0 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 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.294509259323 0.987810363125 8 9 12 5 0213 2103 1302 0132 0 0 0 1 0 0 0 0 0 0 1 -1 0 -2 0 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.294509259323 0.987810363125 11 6 10 8 2031 0132 3012 0132 1 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 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.957580189991 1.340779659686 ==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_0011_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_1001_4']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_0101_12'], 's_0_10' : d['1'], 's_0_11' : 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' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0101_1'], '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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_12'], 'c_1100_4' : d['c_0101_12'], 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_0101_12'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_12'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : negation(d['c_1001_5']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_1001_5']), 'c_1010_8' : 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'], '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' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_12'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_3']), 'c_0110_8' : negation(d['c_0101_3']), '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_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} 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_11, c_0011_12, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_3, c_1001_0, c_1001_3, c_1001_4, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 9261761320500705753450826984277/205912160812051526085175296*c_1001_\ 5^9 - 466565980622019243513984022304683/952343743755738308143935744\ *c_1001_5^8 + 3356747500607310718436002084168985/190468748751147661\ 6287871488*c_1001_5^7 + 213642779294134603119033621077327/476171871\ 877869154071967872*c_1001_5^6 - 1165489017931995376970462653933775/\ 476171871877869154071967872*c_1001_5^5 - 14904481986422453108231338050197/14880370996183411064748996*c_1001_\ 5^4 + 20433390982256566531243083612485/19840494661577881419665328*c\ _1001_5^3 + 48150502222266334879170234670163/5952148398473364425899\ 5984*c_1001_5^2 + 3635899618395851391197019965027/99202473307889407\ 09832664*c_1001_5 + 245972764686875449102738376959/7440185498091705\ 532374498, c_0011_0 - 1, c_0011_10 - 89716029729981232808449/266331324036282461677056*c_1001_5^9 + 461504666425441337254457/133165662018141230838528*c_1001_5^8 - 366322256017396735181033/33291415504535307709632*c_1001_5^7 - 368530718695670264416889/33291415504535307709632*c_1001_5^6 + 250589518193853370847821/16645707752267653854816*c_1001_5^5 + 168249146024478881636299/8322853876133826927408*c_1001_5^4 - 2103234560411950247071/693571156344485577284*c_1001_5^3 - 13028849027936050809245/1040356734516728365926*c_1001_5^2 - 2389338730861016562405/346785578172242788642*c_1001_5 - 718932732459119062219/520178367258364182963, c_0011_11 + 1505943070331683474397/2774284625377942309136*c_1001_5^9 - 16734528127710374280365/2774284625377942309136*c_1001_5^8 + 62550143377997936366641/2774284625377942309136*c_1001_5^7 + 2920193502073366096717/2774284625377942309136*c_1001_5^6 - 179122637230725259457549/5548569250755884618272*c_1001_5^5 - 10248835276141281731811/2774284625377942309136*c_1001_5^4 + 11354285324725091214183/693571156344485577284*c_1001_5^3 + 4410936386075526942111/693571156344485577284*c_1001_5^2 + 374205517409447884611/346785578172242788642*c_1001_5 - 98318856379196567339/173392789086121394321, c_0011_12 + 20651028978326054099471/133165662018141230838528*c_1001_5^9 - 181940392743175831183229/133165662018141230838528*c_1001_5^8 + 170178456007473908857231/66582831009070615419264*c_1001_5^7 + 473329689162497212563773/33291415504535307709632*c_1001_5^6 - 10557934267579785597905/2080713469033456731852*c_1001_5^5 - 188158456467459535330879/8322853876133826927408*c_1001_5^4 - 740072201632164887613/693571156344485577284*c_1001_5^3 + 11948808193872635214497/1040356734516728365926*c_1001_5^2 + 851671484866414461953/173392789086121394321*c_1001_5 + 713348073931918396999/520178367258364182963, c_0101_0 - 1, c_0101_1 + 15172064814195918525035/133165662018141230838528*c_1001_5^9 - 81023842007780003107507/66582831009070615419264*c_1001_5^8 + 2207460429190888120292/520178367258364182963*c_1001_5^7 + 27519603559693293069667/16645707752267653854816*c_1001_5^6 - 9611050372573477682615/2080713469033456731852*c_1001_5^5 - 2548384547534075753765/1040356734516728365926*c_1001_5^4 + 328760120666074479327/693571156344485577284*c_1001_5^3 + 851507377232373717593/1040356734516728365926*c_1001_5^2 + 742269656173758317569/346785578172242788642*c_1001_5 + 268346089681217099623/520178367258364182963, c_0101_12 - 95574365400929346473/4161426938066913463704*c_1001_5^9 + 10948653449226236553461/66582831009070615419264*c_1001_5^8 + 1134870230120731087507/16645707752267653854816*c_1001_5^7 - 65023754353146075273287/16645707752267653854816*c_1001_5^6 + 2394081191273706992053/2080713469033456731852*c_1001_5^5 + 62904291460711302355655/8322853876133826927408*c_1001_5^4 + 243471289671945411865/693571156344485577284*c_1001_5^3 - 9208793601795500386049/2080713469033456731852*c_1001_5^2 - 320425532639786962660/173392789086121394321*c_1001_5 - 101898136137783267578/520178367258364182963, c_0101_2 + 95418985786478767136849/133165662018141230838528*c_1001_5^9 - 128422312887927566390275/16645707752267653854816*c_1001_5^8 + 112832474109445632910663/4161426938066913463704*c_1001_5^7 + 43686427934863273201135/4161426938066913463704*c_1001_5^6 - 38984715148506023494303/1040356734516728365926*c_1001_5^5 - 21870359508102768810521/1040356734516728365926*c_1001_5^4 + 9529736837735791879217/693571156344485577284*c_1001_5^3 + 32323436142383163131479/2080713469033456731852*c_1001_5^2 + 2368592779621491601933/346785578172242788642*c_1001_5 + 202016435140349061499/520178367258364182963, c_0101_3 - 3450734260640660731111/12682444001727736270336*c_1001_5^9 + 586804770171647900597/198163187526995879224*c_1001_5^8 - 4208782983503253934997/396326375053991758448*c_1001_5^7 - 295700425080463114335/99081593763497939612*c_1001_5^6 + 383166240413342017387/24770398440874484903*c_1001_5^5 + 152241108083233188547/24770398440874484903*c_1001_5^4 - 185876453591481179228/24770398440874484903*c_1001_5^3 - 110437528342989918088/24770398440874484903*c_1001_5^2 - 39496543963901017483/24770398440874484903*c_1001_5 + 1277215768341169712/24770398440874484903, c_1001_0 - 1910640975530544014567/3170611000431934067584*c_1001_5^9 + 20603114740187155354933/3170611000431934067584*c_1001_5^8 - 4532037651234215616587/198163187526995879224*c_1001_5^7 - 7010767056179038082613/792652750107983516896*c_1001_5^6 + 3255160948782789014571/99081593763497939612*c_1001_5^5 + 460047022870683168018/24770398440874484903*c_1001_5^4 - 657212622647836957135/49540796881748969806*c_1001_5^3 - 1458115304186591223633/99081593763497939612*c_1001_5^2 - 116165937389123806026/24770398440874484903*c_1001_5 + 3158554978136573244/24770398440874484903, c_1001_3 + 23236274389450529200489/33291415504535307709632*c_1001_5^9 - 498134833580011046990831/66582831009070615419264*c_1001_5^8 + 864968190454616442354673/33291415504535307709632*c_1001_5^7 + 203109423617877137992187/16645707752267653854816*c_1001_5^6 - 79742101424914807104019/2080713469033456731852*c_1001_5^5 - 200838037896346114106975/8322853876133826927408*c_1001_5^4 + 22473099252466756359239/1387142312688971154568*c_1001_5^3 + 34958468306654056599377/2080713469033456731852*c_1001_5^2 + 1023664267519122216287/173392789086121394321*c_1001_5 + 685667803393579971449/520178367258364182963, c_1001_4 - 2588041591962788493383/16645707752267653854816*c_1001_5^9 + 107526913428705458231237/66582831009070615419264*c_1001_5^8 - 176699329428923998454305/33291415504535307709632*c_1001_5^7 - 64179646034415323155307/16645707752267653854816*c_1001_5^6 + 10232460435944424559255/2080713469033456731852*c_1001_5^5 + 7177025751182493095371/1040356734516728365926*c_1001_5^4 + 3243047915006914465881/1387142312688971154568*c_1001_5^3 - 8276776191989354353337/2080713469033456731852*c_1001_5^2 - 678799693932168311803/173392789086121394321*c_1001_5 - 926949592082497823177/520178367258364182963, c_1001_5^10 - 14168/1369*c_1001_5^9 + 45620/1369*c_1001_5^8 + 41952/1369*c_1001_5^7 - 64064/1369*c_1001_5^6 - 70528/1369*c_1001_5^5 + 10688/1369*c_1001_5^4 + 40448/1369*c_1001_5^3 + 26368/1369*c_1001_5^2 + 8192/1369*c_1001_5 + 1024/1369 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.490 seconds, Total memory usage: 32.09MB