Magma V2.19-8 Tue Aug 20 2013 23:47:04 on localhost [Seed = 1107568764] Type ? for help. Type -D to quit. Loading file "K14n7331__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7331 geometric_solution 11.18127698 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 0 1 2 0 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514421133547 0.746727911488 3 0 5 4 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 1 0 -1 1 0 0 -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.014836789754 1.112605591243 6 7 3 0 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023592418979 1.125273112519 1 2 8 8 0132 3201 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534489402271 0.499377514393 5 7 1 6 0132 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.531108836278 0.513255721461 4 6 7 1 0132 1230 1302 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927106580559 1.125755238237 2 4 5 9 0132 0321 3012 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 -1 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.749847870299 1.090484218149 5 2 4 10 2031 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 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.081661443050 0.589723740386 3 9 11 3 3120 3012 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 -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.998782562731 1.071446184100 8 10 6 11 1230 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.509939609230 0.433503877825 11 11 7 9 2310 3012 0132 0321 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.764986840632 1.095817954698 10 9 10 8 1230 0321 3201 0132 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 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.571681142655 0.613552376701 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0011_9']), 'c_1010_10' : negation(d['c_0011_9']), '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_0011_9'], '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' : 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_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_1001_9'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1001_9'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_1001_9'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_1001_9'], 'c_1010_3' : d['c_0011_11'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : negation(d['c_0101_2']), 'c_1100_8' : negation(d['c_0011_10']), '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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_2']), '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' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], '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_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_1'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_2'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_2']})} 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_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 220815265955293549501640989/139478182655931554060103*c_1001_9^14 + 7603829094920779739170324242/511420003071749031553711*c_1001_9^13 - 104868689947698297099733817566/1534260009215247094661133*c_1001_9^1\ 2 - 722554373474444258175390133771/1534260009215247094661133*c_1001\ _9^11 + 6090083172644237239425662442328/1534260009215247094661133*c\ _1001_9^10 - 18977707094436058058754741507130/153426000921524709466\ 1133*c_1001_9^9 + 31230483852435065781568125863480/1534260009215247\ 094661133*c_1001_9^8 - 8785265497708748150817653140953/511420003071\ 749031553711*c_1001_9^7 + 2462983137296711784573775138109/511420003\ 071749031553711*c_1001_9^6 + 3127937720647889889340758663868/153426\ 0009215247094661133*c_1001_9^5 - 1712577300940793057082954855880/15\ 34260009215247094661133*c_1001_9^4 - 170682558278269892487801223999/511420003071749031553711*c_1001_9^3 + 362574107502743173484436017180/1534260009215247094661133*c_1001_9^2 - 1766192951952755077973796508/139478182655931554060103*c_1001_9 - 12145217479450662409735391456/1534260009215247094661133, c_0011_0 - 1, c_0011_10 + 78922104790938802/1655332698085951687*c_1001_9^14 + 763935228329019031/1655332698085951687*c_1001_9^13 - 3190934469536653452/1655332698085951687*c_1001_9^12 - 24427169338886222633/1655332698085951687*c_1001_9^11 + 191051432225024704263/1655332698085951687*c_1001_9^10 - 560517772457501585128/1655332698085951687*c_1001_9^9 + 842414277602754363911/1655332698085951687*c_1001_9^8 - 578206109716529776312/1655332698085951687*c_1001_9^7 + 15957253191409644690/1655332698085951687*c_1001_9^6 + 147225117173452259834/1655332698085951687*c_1001_9^5 - 10916022098127607502/1655332698085951687*c_1001_9^4 - 32794698311810956511/1655332698085951687*c_1001_9^3 + 221777819168898834/1655332698085951687*c_1001_9^2 + 4984687953549688805/1655332698085951687*c_1001_9 + 83101366153508589/1655332698085951687, c_0011_11 + 99920305655367367/150484790735086517*c_1001_9^14 + 859174053932452190/150484790735086517*c_1001_9^13 - 55748651271650680091/1655332698085951687*c_1001_9^12 - 290351150041512036034/1655332698085951687*c_1001_9^11 + 3020132786665590507592/1655332698085951687*c_1001_9^10 - 10740135047707508884679/1655332698085951687*c_1001_9^9 + 20652151689394434599253/1655332698085951687*c_1001_9^8 - 22209633741171828425146/1655332698085951687*c_1001_9^7 + 11269079013875723331400/1655332698085951687*c_1001_9^6 + 13107161194079254275/1655332698085951687*c_1001_9^5 - 2107472599991118169361/1655332698085951687*c_1001_9^4 + 81939782698862315345/1655332698085951687*c_1001_9^3 + 431145481342652287663/1655332698085951687*c_1001_9^2 - 78515330366432145564/1655332698085951687*c_1001_9 - 14426880057856256131/1655332698085951687, c_0011_2 - 646969743646055079/1655332698085951687*c_1001_9^14 - 5550779590560265172/1655332698085951687*c_1001_9^13 + 32930729513836783111/1655332698085951687*c_1001_9^12 + 15490560443570423225/150484790735086517*c_1001_9^11 - 161933720480316437205/150484790735086517*c_1001_9^10 + 577472444962712829288/150484790735086517*c_1001_9^9 - 12254001920161826389109/1655332698085951687*c_1001_9^8 + 13243906308830340838444/1655332698085951687*c_1001_9^7 - 6795103830464716536867/1655332698085951687*c_1001_9^6 + 4654872687731829622/150484790735086517*c_1001_9^5 + 115504345128090628236/150484790735086517*c_1001_9^4 - 7798221495077778744/150484790735086517*c_1001_9^3 - 244555394256133938111/1655332698085951687*c_1001_9^2 + 49217150521288777959/1655332698085951687*c_1001_9 + 7707477104582351555/1655332698085951687, c_0011_4 + 85600010059482149/150484790735086517*c_1001_9^14 + 8578503886527672783/1655332698085951687*c_1001_9^13 - 43182876048448768374/1655332698085951687*c_1001_9^12 - 269135744223474224845/1655332698085951687*c_1001_9^11 + 2441341999372999312660/1655332698085951687*c_1001_9^10 - 8005490002428883758150/1655332698085951687*c_1001_9^9 + 14062360774008326476816/1655332698085951687*c_1001_9^8 - 1208675540361920349481/150484790735086517*c_1001_9^7 + 5251936411486675794149/1655332698085951687*c_1001_9^6 + 742005033714372770692/1655332698085951687*c_1001_9^5 - 1023955717922173972048/1655332698085951687*c_1001_9^4 - 88956589732270568714/1655332698085951687*c_1001_9^3 + 203149126045784009098/1655332698085951687*c_1001_9^2 - 28003829631539124720/1655332698085951687*c_1001_9 - 5215667844677877218/1655332698085951687, c_0011_9 - 126395543352603166/1655332698085951687*c_1001_9^14 - 1200418296246665457/1655332698085951687*c_1001_9^13 + 5340226399128171049/1655332698085951687*c_1001_9^12 + 38269079980697925562/1655332698085951687*c_1001_9^11 - 313220418864222524983/1655332698085951687*c_1001_9^10 + 951100685541562057879/1655332698085951687*c_1001_9^9 - 1501026666969120998381/1655332698085951687*c_1001_9^8 + 1147274410161317232226/1655332698085951687*c_1001_9^7 - 170038302457114148774/1655332698085951687*c_1001_9^6 - 239609880021599107318/1655332698085951687*c_1001_9^5 + 62166549270376216395/1655332698085951687*c_1001_9^4 + 49151790769093745189/1655332698085951687*c_1001_9^3 - 14515765395091176670/1655332698085951687*c_1001_9^2 - 1748412322446617945/1655332698085951687*c_1001_9 - 284888823409780401/1655332698085951687, c_0101_0 - 510603431228665185/1655332698085951687*c_1001_9^14 - 4678532247211495254/1655332698085951687*c_1001_9^13 + 23171526867574747592/1655332698085951687*c_1001_9^12 + 147131996587369466822/1655332698085951687*c_1001_9^11 - 1316261504406563361000/1655332698085951687*c_1001_9^10 + 4273139996174750337128/1655332698085951687*c_1001_9^9 - 7401838521628807025112/1655332698085951687*c_1001_9^8 + 6808704803188755847429/1655332698085951687*c_1001_9^7 - 2445020619483155485418/1655332698085951687*c_1001_9^6 - 602292499538632734776/1655332698085951687*c_1001_9^5 + 573544969352615860860/1655332698085951687*c_1001_9^4 + 72971480416108655452/1655332698085951687*c_1001_9^3 - 119018884668105196444/1655332698085951687*c_1001_9^2 + 15499349465573130284/1655332698085951687*c_1001_9 + 4696322581856122039/1655332698085951687, c_0101_1 - 1597682587811835062/1655332698085951687*c_1001_9^14 - 14578892887538491236/1655332698085951687*c_1001_9^13 + 73053726800685635451/1655332698085951687*c_1001_9^12 + 41604411295091929671/150484790735086517*c_1001_9^11 - 375958705588251495000/150484790735086517*c_1001_9^10 + 1229623731951809471419/150484790735086517*c_1001_9^9 - 23680625261993955564674/1655332698085951687*c_1001_9^8 + 22261825843626536058395/1655332698085951687*c_1001_9^7 - 8660226921018842479742/1655332698085951687*c_1001_9^6 - 120060306056458377204/150484790735086517*c_1001_9^5 + 152977290152585838429/150484790735086517*c_1001_9^4 + 17647375616228272258/150484790735086517*c_1001_9^3 - 354048902204500742896/1655332698085951687*c_1001_9^2 + 47376901890586089847/1655332698085951687*c_1001_9 + 9909886145064790136/1655332698085951687, c_0101_10 - 1020201257418102235/1655332698085951687*c_1001_9^14 - 8686979364927955059/1655332698085951687*c_1001_9^13 + 52557716802114026639/1655332698085951687*c_1001_9^12 + 265923980702625813401/1655332698085951687*c_1001_9^11 - 2829081354440565803329/1655332698085951687*c_1001_9^10 + 10179617275250007299551/1655332698085951687*c_1001_9^9 - 19809737411791680235342/1655332698085951687*c_1001_9^8 + 21631427631455298648834/1655332698085951687*c_1001_9^7 - 11253121760684313686710/1655332698085951687*c_1001_9^6 + 134117955979373005559/1655332698085951687*c_1001_9^5 + 2096556577892990561859/1655332698085951687*c_1001_9^4 - 114734481010673271856/1655332698085951687*c_1001_9^3 - 430923703523483388829/1655332698085951687*c_1001_9^2 + 81844685621895882682/1655332698085951687*c_1001_9 + 14509981424009764720/1655332698085951687, c_0101_2 - 1923700033792608595/1655332698085951687*c_1001_9^14 - 16606051392077868795/1655332698085951687*c_1001_9^13 + 8823661347660115617/150484790735086517*c_1001_9^12 + 511980243941229533479/1655332698085951687*c_1001_9^11 - 5270005788712689623591/1655332698085951687*c_1001_9^10 + 18602609571408322866814/1655332698085951687*c_1001_9^9 - 35417485432864444757024/1655332698085951687*c_1001_9^8 + 37452234427127915730620/1655332698085951687*c_1001_9^7 - 18262104815108848373634/1655332698085951687*c_1001_9^6 - 580302668258694278715/1655332698085951687*c_1001_9^5 + 3486419992899949787687/1655332698085951687*c_1001_9^4 - 8472986414891071082/1655332698085951687*c_1001_9^3 - 710051861588632402946/1655332698085951687*c_1001_9^2 + 114702197881311962589/1655332698085951687*c_1001_9 + 21990273331158042464/1655332698085951687, c_1001_0 + 85600010059482149/150484790735086517*c_1001_9^14 + 8578503886527672783/1655332698085951687*c_1001_9^13 - 43182876048448768374/1655332698085951687*c_1001_9^12 - 269135744223474224845/1655332698085951687*c_1001_9^11 + 2441341999372999312660/1655332698085951687*c_1001_9^10 - 8005490002428883758150/1655332698085951687*c_1001_9^9 + 14062360774008326476816/1655332698085951687*c_1001_9^8 - 1208675540361920349481/150484790735086517*c_1001_9^7 + 5251936411486675794149/1655332698085951687*c_1001_9^6 + 742005033714372770692/1655332698085951687*c_1001_9^5 - 1023955717922173972048/1655332698085951687*c_1001_9^4 - 88956589732270568714/1655332698085951687*c_1001_9^3 + 203149126045784009098/1655332698085951687*c_1001_9^2 - 28003829631539124720/1655332698085951687*c_1001_9 - 5215667844677877218/1655332698085951687, c_1001_9^15 + 9*c_1001_9^14 - 47*c_1001_9^13 - 282*c_1001_9^12 + 2630*c_1001_9^11 - 8749*c_1001_9^10 + 15546*c_1001_9^9 - 14767*c_1001_9^8 + 5542*c_1001_9^7 + 1410*c_1001_9^6 - 1384*c_1001_9^5 - 206*c_1001_9^4 + 288*c_1001_9^3 - 13*c_1001_9^2 - 14*c_1001_9 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.950 Total time: 2.160 seconds, Total memory usage: 32.09MB