Magma V2.19-8 Tue Aug 20 2013 23:57:28 on localhost [Seed = 340950208] Type ? for help. Type -D to quit. Loading file "L14n32832__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32832 geometric_solution 10.94567645 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 -1 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.897321967041 1.049764272234 0 5 6 3 0132 0132 0132 1302 0 0 0 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 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.529506159072 0.550424087065 4 0 7 6 0213 0132 0132 1302 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 0 0 0 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.880659787422 0.759750333143 3 3 1 0 1230 3012 2031 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.399804023293 0.791225285856 2 8 0 9 0213 0132 0132 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 -1 -1 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.112016829770 0.846475511082 6 1 9 10 0321 0132 1230 0132 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 0 0 0 0 0 0 0 0 -1 0 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.590008357521 0.562429157127 5 11 2 1 0321 0132 2031 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 -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.201771340184 1.284527986099 8 11 10 2 0321 0213 0213 0132 0 1 1 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 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 0.424626587889 0.478553545638 7 4 9 11 0321 0132 1302 0213 0 1 1 1 0 -1 0 1 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 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.194528867789 0.745023391698 8 10 4 5 2031 0321 0132 3012 0 0 1 1 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 -1 1 0 -1 0 1 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 0.680912697294 0.441018520303 11 7 5 9 0213 0213 0132 0321 0 1 1 1 0 0 -1 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 0 -1 1 0 0 1 -1 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.328096525413 1.256572296679 10 6 7 8 0213 0132 0213 0213 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 1 0 -1 -1 0 1 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.037392031952 1.169139307960 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0110_9'], 'c_1001_8' : d['c_0110_9'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0101_5']), '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_10'], 'c_0101_10' : d['c_0011_11'], '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_1001_5']), 'c_1100_8' : d['c_0101_9'], 'c_1100_5' : d['c_0110_9'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : d['c_0110_9'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0110_9'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_5']), 'c_1010_8' : d['c_1001_2'], '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_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_11']), '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_0011_10'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0011_3'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_9']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0011_4'], 'c_0011_10' : d['c_0011_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_3, c_0011_4, c_0101_3, c_0101_5, c_0101_9, c_0110_9, c_1001_1, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 243041499077869599382399241783/12668284430724662373343833000*c_1001\ _5^15 - 44194630352716096774057332051361/15201941316869594848012599\ 6000*c_1001_5^14 + 78061764412536678874241332941383/506731377228986\ 49493375332000*c_1001_5^13 - 56676387173061387439053823688033/16891\ 045907632883164458444000*c_1001_5^12 + 212186038809562627660359041374319/76009706584347974240062998000*c_1\ 001_5^11 + 15029712188774189480007101356177/76009706584347974240062\ 998000*c_1001_5^10 - 93260547095497962123614388289301/1689104590763\ 2883164458444000*c_1001_5^9 - 71880405440535727543056836338559/3800\ 4853292173987120031499000*c_1001_5^8 + 619708654206341926059072500622203/19002426646086993560015749500*c_1\ 001_5^7 + 501082840221210782428852195222121/15201941316869594848012\ 599600*c_1001_5^6 - 2713787865373932736742817892763147/152019413168\ 695948480125996000*c_1001_5^5 - 2229715759587607238666373827301049/\ 76009706584347974240062998000*c_1001_5^4 + 2087719601453504611100283635456027/76009706584347974240062998000*c_\ 1001_5^3 + 1202532091793342160977822960914289/168910459076328831644\ 58444000*c_1001_5^2 + 7133876213801454580444409605369843/1520194131\ 68695948480125996000*c_1001_5 + 1504662516599914286108208780745931/\ 152019413168695948480125996000, c_0011_0 - 1, c_0011_10 - 28195035849123403083721/1826059017041392774536048*c_1001_5^\ 15 + 107262590591140993355063/456514754260348193634012*c_1001_5^14 - 1143829708231965444019463/913029508520696387268024*c_1001_5^13 + 1671628335430844021093899/608686339013797591512016*c_1001_5^12 - 2013827594484547740605495/913029508520696387268024*c_1001_5^11 - 1240771397388394362896269/1826059017041392774536048*c_1001_5^10 + 3393919154931228255646639/608686339013797591512016*c_1001_5^9 + 97864587794497271331661/456514754260348193634012*c_1001_5^8 - 8053634173965927664018099/304343169506898795756008*c_1001_5^7 - 43749356775595702686447833/1826059017041392774536048*c_1001_5^6 + 34336475609246186913230219/1826059017041392774536048*c_1001_5^5 + 6062972375217095331243891/304343169506898795756008*c_1001_5^4 - 15365990766663835902641637/608686339013797591512016*c_1001_5^3 - 49599845939612533828373863/913029508520696387268024*c_1001_5^2 - 9541704113894323814719075/304343169506898795756008*c_1001_5 - 3250528356717531760830293/608686339013797591512016, c_0011_11 + 30374608772983676375557/1826059017041392774536048*c_1001_5^\ 15 - 118259041983877662229361/456514754260348193634012*c_1001_5^14 + 1318122022648367153001377/913029508520696387268024*c_1001_5^13 - 2132091618793458759250071/608686339013797591512016*c_1001_5^12 + 3484488857624436384397313/913029508520696387268024*c_1001_5^11 - 2286433918890984226136843/1826059017041392774536048*c_1001_5^10 - 2629794196626627929687471/608686339013797591512016*c_1001_5^9 - 216620239417932203154757/456514754260348193634012*c_1001_5^8 + 9235163417573281140609151/304343169506898795756008*c_1001_5^7 + 24901228913627468129225333/1826059017041392774536048*c_1001_5^6 - 39809754544382052766778063/1826059017041392774536048*c_1001_5^5 - 4493909985109549606332593/304343169506898795756008*c_1001_5^4 + 19625933237556601665486597/608686339013797591512016*c_1001_5^3 + 41104893306537433017783757/913029508520696387268024*c_1001_5^2 + 5952011543229660976842687/304343169506898795756008*c_1001_5 + 1906222283189383139582597/608686339013797591512016, c_0011_3 - 1, c_0011_4 - 30374608772983676375557/1826059017041392774536048*c_1001_5^1\ 5 + 118259041983877662229361/456514754260348193634012*c_1001_5^14 - 1318122022648367153001377/913029508520696387268024*c_1001_5^13 + 2132091618793458759250071/608686339013797591512016*c_1001_5^12 - 3484488857624436384397313/913029508520696387268024*c_1001_5^11 + 2286433918890984226136843/1826059017041392774536048*c_1001_5^10 + 2629794196626627929687471/608686339013797591512016*c_1001_5^9 + 216620239417932203154757/456514754260348193634012*c_1001_5^8 - 9235163417573281140609151/304343169506898795756008*c_1001_5^7 - 24901228913627468129225333/1826059017041392774536048*c_1001_5^6 + 39809754544382052766778063/1826059017041392774536048*c_1001_5^5 + 4493909985109549606332593/304343169506898795756008*c_1001_5^4 - 19625933237556601665486597/608686339013797591512016*c_1001_5^3 - 41104893306537433017783757/913029508520696387268024*c_1001_5^2 - 5952011543229660976842687/304343169506898795756008*c_1001_5 - 1906222283189383139582597/608686339013797591512016, c_0101_3 + 203630787376110238943/1826059017041392774536048*c_1001_5^15 - 1421433429782215499165/913029508520696387268024*c_1001_5^14 + 6497876568809970986287/913029508520696387268024*c_1001_5^13 - 6973512948773035597259/608686339013797591512016*c_1001_5^12 + 2874599115433210246973/456514754260348193634012*c_1001_5^11 - 10304905741510838981287/1826059017041392774536048*c_1001_5^10 - 8693377984303122041613/608686339013797591512016*c_1001_5^9 - 22164355975055239029461/456514754260348193634012*c_1001_5^8 + 46373062465171249896717/304343169506898795756008*c_1001_5^7 + 653408982733952256963595/1826059017041392774536048*c_1001_5^6 + 771766821236492026149797/1826059017041392774536048*c_1001_5^5 + 18437602228343558482071/152171584753449397878004*c_1001_5^4 + 10664094806536159278745/608686339013797591512016*c_1001_5^3 - 175602709914993301503427/913029508520696387268024*c_1001_5^2 + 18167658726932043863555/38042896188362349469501*c_1001_5 + 607148592689449344876503/608686339013797591512016, c_0101_5 - 10322849578290257903329/913029508520696387268024*c_1001_5^15 + 161090104342471051288259/913029508520696387268024*c_1001_5^14 - 112905283575578212999580/114128688565087048408503*c_1001_5^13 + 372755184703095734474173/152171584753449397878004*c_1001_5^12 - 2625853427400760360360939/913029508520696387268024*c_1001_5^11 + 158881582586316983956873/114128688565087048408503*c_1001_5^10 + 814452293653681316502157/304343169506898795756008*c_1001_5^9 - 144772751471891893597889/228257377130174096817006*c_1001_5^8 - 2749912636590723492268379/152171584753449397878004*c_1001_5^7 - 9689374242464915572893611/913029508520696387268024*c_1001_5^6 + 5029374117684405784931503/456514754260348193634012*c_1001_5^5 + 2838944267740780838730591/304343169506898795756008*c_1001_5^4 - 1296196656051003182986645/76085792376724698939002*c_1001_5^3 - 14114717331520378546908757/456514754260348193634012*c_1001_5^2 - 5637594404897940396404197/304343169506898795756008*c_1001_5 - 1144031972518143562146043/304343169506898795756008, c_0101_9 + 10322849578290257903329/913029508520696387268024*c_1001_5^15 - 161090104342471051288259/913029508520696387268024*c_1001_5^14 + 112905283575578212999580/114128688565087048408503*c_1001_5^13 - 372755184703095734474173/152171584753449397878004*c_1001_5^12 + 2625853427400760360360939/913029508520696387268024*c_1001_5^11 - 158881582586316983956873/114128688565087048408503*c_1001_5^10 - 814452293653681316502157/304343169506898795756008*c_1001_5^9 + 144772751471891893597889/228257377130174096817006*c_1001_5^8 + 2749912636590723492268379/152171584753449397878004*c_1001_5^7 + 9689374242464915572893611/913029508520696387268024*c_1001_5^6 - 5029374117684405784931503/456514754260348193634012*c_1001_5^5 - 2838944267740780838730591/304343169506898795756008*c_1001_5^4 + 1296196656051003182986645/76085792376724698939002*c_1001_5^3 + 14114717331520378546908757/456514754260348193634012*c_1001_5^2 + 5637594404897940396404197/304343169506898795756008*c_1001_5 + 1144031972518143562146043/304343169506898795756008, c_0110_9 + 72272395455990758903/7363141197747551510226*c_1001_5^15 - 552480756492973150532/3681570598873775755113*c_1001_5^14 + 11939055929238262106863/14726282395495103020452*c_1001_5^13 - 4577868151196218189319/2454380399249183836742*c_1001_5^12 + 28519417250533007895181/14726282395495103020452*c_1001_5^11 - 14964442286698829344865/14726282395495103020452*c_1001_5^10 - 4950514707659102032925/4908760798498367673484*c_1001_5^9 - 10768568736641528950735/3681570598873775755113*c_1001_5^8 + 22314020700970974093704/1227190199624591918371*c_1001_5^7 + 109362255481183098981961/7363141197747551510226*c_1001_5^6 - 33805297507968861755759/3681570598873775755113*c_1001_5^5 - 76768950891623075152167/4908760798498367673484*c_1001_5^4 + 76601782419931344199129/4908760798498367673484*c_1001_5^3 + 528445404519878924541173/14726282395495103020452*c_1001_5^2 + 48565753634376264487615/2454380399249183836742*c_1001_5 + 17624666492756637010995/4908760798498367673484, c_1001_1 + 203630787376110238943/1826059017041392774536048*c_1001_5^15 - 1421433429782215499165/913029508520696387268024*c_1001_5^14 + 6497876568809970986287/913029508520696387268024*c_1001_5^13 - 6973512948773035597259/608686339013797591512016*c_1001_5^12 + 2874599115433210246973/456514754260348193634012*c_1001_5^11 - 10304905741510838981287/1826059017041392774536048*c_1001_5^10 - 8693377984303122041613/608686339013797591512016*c_1001_5^9 - 22164355975055239029461/456514754260348193634012*c_1001_5^8 + 46373062465171249896717/304343169506898795756008*c_1001_5^7 + 653408982733952256963595/1826059017041392774536048*c_1001_5^6 + 771766821236492026149797/1826059017041392774536048*c_1001_5^5 + 18437602228343558482071/152171584753449397878004*c_1001_5^4 + 10664094806536159278745/608686339013797591512016*c_1001_5^3 - 175602709914993301503427/913029508520696387268024*c_1001_5^2 + 56210554915294393333056/38042896188362349469501*c_1001_5 + 607148592689449344876503/608686339013797591512016, c_1001_2 + 203630787376110238943/1826059017041392774536048*c_1001_5^15 - 1421433429782215499165/913029508520696387268024*c_1001_5^14 + 6497876568809970986287/913029508520696387268024*c_1001_5^13 - 6973512948773035597259/608686339013797591512016*c_1001_5^12 + 2874599115433210246973/456514754260348193634012*c_1001_5^11 - 10304905741510838981287/1826059017041392774536048*c_1001_5^10 - 8693377984303122041613/608686339013797591512016*c_1001_5^9 - 22164355975055239029461/456514754260348193634012*c_1001_5^8 + 46373062465171249896717/304343169506898795756008*c_1001_5^7 + 653408982733952256963595/1826059017041392774536048*c_1001_5^6 + 771766821236492026149797/1826059017041392774536048*c_1001_5^5 + 18437602228343558482071/152171584753449397878004*c_1001_5^4 + 10664094806536159278745/608686339013797591512016*c_1001_5^3 - 175602709914993301503427/913029508520696387268024*c_1001_5^2 + 56210554915294393333056/38042896188362349469501*c_1001_5 + 607148592689449344876503/608686339013797591512016, c_1001_5^16 - 15*c_1001_5^15 + 78*c_1001_5^14 - 163*c_1001_5^13 + 121*c_1001_5^12 + 27*c_1001_5^11 - 280*c_1001_5^10 - 145*c_1001_5^9 + 1678*c_1001_5^8 + 1979*c_1001_5^7 - 622*c_1001_5^6 - 1645*c_1001_5^5 + 1161*c_1001_5^4 + 3905*c_1001_5^3 + 3064*c_1001_5^2 + 969*c_1001_5 + 111 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB