Magma V2.19-8 Tue Aug 20 2013 23:29:43 on localhost [Seed = 4088763809] Type ? for help. Type -D to quit. Loading file "K13n1207__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1207 geometric_solution 7.66907947 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 -11 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.057873060827 0.969971803461 0 3 6 5 0132 3120 0132 0132 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 11 -10 -1 0 0 1 -1 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889899800812 0.904883983936 5 0 4 6 3012 0132 1302 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 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.486454607895 0.470873650709 7 1 5 0 0132 3120 0213 0132 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 0 1 -1 0 0 0 0 10 0 0 -10 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173789275481 0.915546120537 2 8 0 8 2031 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.930678726407 0.804431877359 7 3 1 2 2103 0213 0132 1230 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 -1 1 0 0 0 1 -1 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.113306354831 1.637641370425 2 7 7 1 3012 3120 2031 0132 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 -10 0 10 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.318178893400 0.359377639801 3 6 5 6 0132 3120 2103 1302 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 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.780222795139 0.553873027280 4 4 8 8 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530748951696 0.193987629597 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_8' : negation(d['c_0110_8']), 's_2_8' : d['1'], 's_2_0' : negation(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_0_8' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_8' : d['c_0101_8'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0110_8']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_8' : negation(d['c_0101_8']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0110_8' : d['c_0110_8'], '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_0011_6'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0101_8']), 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_8, c_0110_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1318634940165822187439739483803/12434315088392991404970206874453*c_\ 0110_8^19 + 4519133499085847395646432437/73143029931723478852765922\ 7909*c_0110_8^18 - 48086940359550452337614629949207/248686301767859\ 82809940413748906*c_0110_8^17 + 2063243371609763881496257433798/414\ 4771696130997134990068958151*c_0110_8^16 - 335525815559636635760352830501321/24868630176785982809940413748906*\ c_0110_8^15 + 456258880612475944165904575018/8127003325747053205862\ 8803101*c_0110_8^14 - 51042715221085066032323453572703/118422048460\ 8856324282876845186*c_0110_8^13 + 35237796980824739448020400096258/\ 1381590565376999044996689652717*c_0110_8^12 - 1304922216623334307538752386948265/24868630176785982809940413748906\ *c_0110_8^11 + 844256276262782802809116427823874/124343150883929914\ 04970206874453*c_0110_8^10 + 11144745185700219162593432052286/59211\ 0242304428162141438422593*c_0110_8^9 + 1823426601784922379104867971246009/12434315088392991404970206874453\ *c_0110_8^8 + 786673306036549394369599754497693/8289543392261994269\ 980137916302*c_0110_8^7 + 2283620044057574295607527860070494/124343\ 15088392991404970206874453*c_0110_8^6 + 363853430891754899825803349173358/4144771696130997134990068958151*c\ _0110_8^5 + 149584137010460023289573619445571/146286059863446957705\ 5318455818*c_0110_8^4 + 523505890344227527169584581523979/248686301\ 76785982809940413748906*c_0110_8^3 + 190215242565812106593547395587559/12434315088392991404970206874453*\ c_0110_8^2 - 38026766862309900425327423603944/414477169613099713499\ 0068958151*c_0110_8 - 81176020328272207789986317815439/124343150883\ 92991404970206874453, c_0011_0 - 1, c_0011_3 + 137789315741069007714269/2873526462602232208279449*c_0110_8^\ 19 + 25019612175665237247142/2873526462602232208279449*c_0110_8^18 + 2472462959637941820410455/2873526462602232208279449*c_0110_8^17 - 40446632659066744013201/957842154200744069426483*c_0110_8^16 + 16709181818736758824819249/2873526462602232208279449*c_0110_8^15 - 1420158848051027574563574/957842154200744069426483*c_0110_8^14 + 16745153243016814594043872/957842154200744069426483*c_0110_8^13 - 8729045387667130492967826/957842154200744069426483*c_0110_8^12 + 52003505379670329977913845/2873526462602232208279449*c_0110_8^11 - 85454995293713147045937148/2873526462602232208279449*c_0110_8^10 - 12594334731211126064212812/957842154200744069426483*c_0110_8^9 - 189343261512091329680058430/2873526462602232208279449*c_0110_8^8 - 38105900182118022831554510/957842154200744069426483*c_0110_8^7 - 202781273846940201964319099/2873526462602232208279449*c_0110_8^6 - 27196818946267132655232657/957842154200744069426483*c_0110_8^5 - 100754703830918874695666924/2873526462602232208279449*c_0110_8^4 - 15130148812038746687028376/2873526462602232208279449*c_0110_8^3 - 23676891094866993903851390/2873526462602232208279449*c_0110_8^2 + 1374453497438561422916403/957842154200744069426483*c_0110_8 - 172537456212001773613942/2873526462602232208279449, c_0011_4 + 65123970384169253057377/2873526462602232208279449*c_0110_8^1\ 9 - 40327943425815834451438/2873526462602232208279449*c_0110_8^18 + 1195501036264830828721199/2873526462602232208279449*c_0110_8^17 - 320648807032934098210825/957842154200744069426483*c_0110_8^16 + 8569245856150125425021633/2873526462602232208279449*c_0110_8^15 - 2648248891271954137139514/957842154200744069426483*c_0110_8^14 + 9731612719260477635422290/957842154200744069426483*c_0110_8^13 - 9895013319576119211006108/957842154200744069426483*c_0110_8^12 + 43457519260699493533315915/2873526462602232208279449*c_0110_8^11 - 58254664687472337598954214/2873526462602232208279449*c_0110_8^10 + 4717930584759259471391526/957842154200744069426483*c_0110_8^9 - 86437608818952407889102596/2873526462602232208279449*c_0110_8^8 - 4170549052164466376273309/957842154200744069426483*c_0110_8^7 - 96352067862768275054163619/2873526462602232208279449*c_0110_8^6 - 1921720452291295826349908/957842154200744069426483*c_0110_8^5 - 55846140172367596521673543/2873526462602232208279449*c_0110_8^4 + 10421485764979683122861215/2873526462602232208279449*c_0110_8^3 - 15663403686185791666816399/2873526462602232208279449*c_0110_8^2 + 2829979556896758268494991/957842154200744069426483*c_0110_8 - 580007716085771581401923/2873526462602232208279449, c_0011_5 - 37312338269447495204417/2873526462602232208279449*c_0110_8^1\ 9 + 36615439227796055108470/2873526462602232208279449*c_0110_8^18 - 686807505924891981228385/2873526462602232208279449*c_0110_8^17 + 787865316314120150247148/2873526462602232208279449*c_0110_8^16 - 1668280562445841142879546/957842154200744069426483*c_0110_8^15 + 6125246093826926383894001/2873526462602232208279449*c_0110_8^14 - 17762726869957955240467582/2873526462602232208279449*c_0110_8^13 + 21805024518961214599201121/2873526462602232208279449*c_0110_8^12 - 9910851497280595053491303/957842154200744069426483*c_0110_8^11 + 39583348699861550994439004/2873526462602232208279449*c_0110_8^10 - 6943232482285292267908658/957842154200744069426483*c_0110_8^9 + 51943836469014227615018566/2873526462602232208279449*c_0110_8^8 - 14276201490715676462120890/2873526462602232208279449*c_0110_8^7 + 55132642482196422214499638/2873526462602232208279449*c_0110_8^6 - 3261316095923887781103797/957842154200744069426483*c_0110_8^5 + 34662082875694676208930362/2873526462602232208279449*c_0110_8^4 - 5701768573442967020725780/2873526462602232208279449*c_0110_8^3 + 18896930601078115339576007/2873526462602232208279449*c_0110_8^2 - 3587458237282192426367168/2873526462602232208279449*c_0110_8 + 3684861448207285071054164/2873526462602232208279449, c_0011_6 + 19125987691123492231046/2873526462602232208279449*c_0110_8^1\ 9 - 7287155168072716148807/2873526462602232208279449*c_0110_8^18 + 333948582233964211220059/2873526462602232208279449*c_0110_8^17 - 66336178140305272930769/957842154200744069426483*c_0110_8^16 + 2200188101726058907044385/2873526462602232208279449*c_0110_8^15 - 559058640427237691760279/957842154200744069426483*c_0110_8^14 + 2139545322538196490467284/957842154200744069426483*c_0110_8^13 - 1991361226525857021693333/957842154200744069426483*c_0110_8^12 + 6377842335673314137172632/2873526462602232208279449*c_0110_8^11 - 10967937767816837804508202/2873526462602232208279449*c_0110_8^10 - 874405865200166037601442/957842154200744069426483*c_0110_8^9 - 17140448482469267275169089/2873526462602232208279449*c_0110_8^8 - 1184497353799401411750543/957842154200744069426483*c_0110_8^7 - 16467414922068690425955686/2873526462602232208279449*c_0110_8^6 - 389327907109259029091504/957842154200744069426483*c_0110_8^5 - 8420059138149200025326747/2873526462602232208279449*c_0110_8^4 - 23370138554209795809337/2873526462602232208279449*c_0110_8^3 - 7694241755145167048734715/2873526462602232208279449*c_0110_8^2 + 127347501128944198048530/957842154200744069426483*c_0110_8 - 1905930337031540256121414/2873526462602232208279449, c_0101_0 - 19125987691123492231046/2873526462602232208279449*c_0110_8^1\ 9 + 7287155168072716148807/2873526462602232208279449*c_0110_8^18 - 333948582233964211220059/2873526462602232208279449*c_0110_8^17 + 66336178140305272930769/957842154200744069426483*c_0110_8^16 - 2200188101726058907044385/2873526462602232208279449*c_0110_8^15 + 559058640427237691760279/957842154200744069426483*c_0110_8^14 - 2139545322538196490467284/957842154200744069426483*c_0110_8^13 + 1991361226525857021693333/957842154200744069426483*c_0110_8^12 - 6377842335673314137172632/2873526462602232208279449*c_0110_8^11 + 10967937767816837804508202/2873526462602232208279449*c_0110_8^10 + 874405865200166037601442/957842154200744069426483*c_0110_8^9 + 17140448482469267275169089/2873526462602232208279449*c_0110_8^8 + 1184497353799401411750543/957842154200744069426483*c_0110_8^7 + 16467414922068690425955686/2873526462602232208279449*c_0110_8^6 + 389327907109259029091504/957842154200744069426483*c_0110_8^5 + 8420059138149200025326747/2873526462602232208279449*c_0110_8^4 + 23370138554209795809337/2873526462602232208279449*c_0110_8^3 + 7694241755145167048734715/2873526462602232208279449*c_0110_8^2 - 127347501128944198048530/957842154200744069426483*c_0110_8 + 1905930337031540256121414/2873526462602232208279449, c_0101_1 + 9125947297831442653237/2873526462602232208279449*c_0110_8^19 - 17574369225214444459851/957842154200744069426483*c_0110_8^18 + 204896089093276123647881/2873526462602232208279449*c_0110_8^17 - 952964708802069414948265/2873526462602232208279449*c_0110_8^16 + 2037038983224579521497831/2873526462602232208279449*c_0110_8^15 - 6532779745767792872195732/2873526462602232208279449*c_0110_8^14 + 10528121198204319199130629/2873526462602232208279449*c_0110_8^13 - 20357565231491657520325952/2873526462602232208279449*c_0110_8^12 + 27429072399758670291352922/2873526462602232208279449*c_0110_8^11 - 8731046924932454224000774/957842154200744069426483*c_0110_8^10 + 11310521102505075478658425/957842154200744069426483*c_0110_8^9 - 13286761153405770652252175/2873526462602232208279449*c_0110_8^8 + 28366141704292530858363136/2873526462602232208279449*c_0110_8^7 - 8255503962852212705047466/957842154200744069426483*c_0110_8^6 + 4974467033023386530152847/957842154200744069426483*c_0110_8^5 - 28673647023430583317025815/2873526462602232208279449*c_0110_8^4 + 1323902605819449543907808/957842154200744069426483*c_0110_8^3 - 12259904031394042494000748/2873526462602232208279449*c_0110_8^2 + 4110291811531494492034919/2873526462602232208279449*c_0110_8 - 543916974188817373647376/957842154200744069426483, c_0101_8 + 56917419151217173656355/2873526462602232208279449*c_0110_8^1\ 9 - 19125987691123492231046/2873526462602232208279449*c_0110_8^18 + 1031800699889981841963197/2873526462602232208279449*c_0110_8^17 - 561618258838832905845479/2873526462602232208279449*c_0110_8^16 + 2399950363340209392841324/957842154200744069426483*c_0110_8^15 - 5102976478438134763518490/2873526462602232208279449*c_0110_8^14 + 23305795198744239064695737/2873526462602232208279449*c_0110_8^13 - 20477238497965231364521537/2873526462602232208279449*c_0110_8^12 + 10244387003452347201864808/957842154200744069426483*c_0110_8^11 - 44910935101047340702524967/2873526462602232208279449*c_0110_8^10 + 563466148722812832840779/957842154200744069426483*c_0110_8^9 - 75182894384113378275432959/2873526462602232208279449*c_0110_8^8 - 20880387510543804727276051/2873526462602232208279449*c_0110_8^7 - 80058196671739823865933866/2873526462602232208279449*c_0110_8^6 - 3427924026334460397510388/957842154200744069426483*c_0110_8^5 - 41406245803782668807679028/2873526462602232208279449*c_0110_8^4 + 7737050108334593941450487/2873526462602232208279449*c_0110_8^3 - 10164847889513664288678208/2873526462602232208279449*c_0110_8^2 + 9715613339547611774901796/2873526462602232208279449*c_0110_8 + 73296849822904795105250/2873526462602232208279449, c_0110_8^20 + 18*c_0110_8^18 - 4*c_0110_8^17 + 123*c_0110_8^16 - 51*c_0110_8^15 + 380*c_0110_8^14 - 247*c_0110_8^13 + 435*c_0110_8^12 - 677*c_0110_8^11 - 163*c_0110_8^10 - 1367*c_0110_8^9 - 668*c_0110_8^8 - 1469*c_0110_8^7 - 470*c_0110_8^6 - 748*c_0110_8^5 - 12*c_0110_8^4 - 179*c_0110_8^3 + 86*c_0110_8^2 + 8*c_0110_8 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB