Magma V2.19-8 Tue Aug 20 2013 23:43:47 on localhost [Seed = 2732902326] Type ? for help. Type -D to quit. Loading file "K13n1580__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1580 geometric_solution 11.14266204 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 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 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 0 0 0 0 0.990513206244 1.186715245174 0 5 3 6 0132 0132 3120 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 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.154820236370 0.889468895622 7 0 2 2 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292411298028 0.944033981871 5 6 1 0 3201 1023 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.757252668583 0.967069683439 8 7 0 8 0132 3201 0132 2103 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 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 1.118528268928 1.085740927335 7 1 9 3 1023 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.106929588162 0.914078683477 3 10 1 7 1023 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.077260444118 0.656776985982 2 5 4 6 0132 1023 2310 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464634102765 0.636217956190 4 9 11 4 0132 1023 0132 2103 0 0 0 0 0 1 0 -1 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 -1 0 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 1.118528268928 1.085740927335 8 11 10 5 1023 0132 3201 0132 0 0 0 0 0 1 -1 0 -1 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 0 -1 1 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.009003170076 0.968089832882 9 6 11 11 2310 0132 2103 0132 0 0 0 0 0 0 1 -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 0 -1 1 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.871240934748 1.072476595139 10 9 10 8 2103 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 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 1 -1 0 0 0 1 -1 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.543677746564 0.561721697332 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_1001_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], '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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0101_7'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_1001_11'], 'c_1010_0' : negation(d['c_0101_7']), 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_0101_5'], 'c_1100_8' : negation(d['c_0101_8']), '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_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(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_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_5, c_0101_7, c_0101_8, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 4090758078936267583287341701282470128/55160919894679783299080656108\ 310653*c_1001_11^11 + 4143478937371020968070215910388700462/5516091\ 9894679783299080656108310653*c_1001_11^10 + 929095181029164535630535260498810221/129790399752187725409601543784\ 26036*c_1001_11^9 - 344544754092789483357857940960488837995/1765149\ 436629753065570580995465940896*c_1001_11^8 - 309073392893057184420889408590714075039/176514943662975306557058099\ 5465940896*c_1001_11^7 - 1036376630352944383874345898066552319219/1\ 765149436629753065570580995465940896*c_1001_11^6 + 2028329787470480415584521899355176859545/17651494366297530655705809\ 95465940896*c_1001_11^5 - 1595124666937851248588115635659435523305/\ 1765149436629753065570580995465940896*c_1001_11^4 + 1925984132308781092276907107226601360491/17651494366297530655705809\ 95465940896*c_1001_11^3 - 809087177270293727383386002211754606931/1\ 765149436629753065570580995465940896*c_1001_11^2 + 1759634394442350656932148303744452913/25958079950437545081920308756\ 852072*c_1001_11 - 135916067338508255200964241405856398637/44128735\ 9157438266392645248866485224, c_0011_0 - 1, c_0011_10 + 509258068138815652051981696/3916375272995401551989096819*c_\ 1001_11^11 + 888234094735175378030067376/39163752729954015519890968\ 19*c_1001_11^10 + 1737423685254915491009776466/39163752729954015519\ 89096819*c_1001_11^9 + 2786312727676420866059132625/156655010919816\ 06207956387276*c_1001_11^8 + 1353688206321772618261485755/783275054\ 5990803103978193638*c_1001_11^7 - 3930428052972106095889632281/3916\ 375272995401551989096819*c_1001_11^6 + 4432699098918826740176131139/3916375272995401551989096819*c_1001_11\ ^5 - 17293941447988033350621626281/7832750545990803103978193638*c_1\ 001_11^4 + 7605769746342063013391559812/391637527299540155198909681\ 9*c_1001_11^3 - 17060764885760522862668009991/783275054599080310397\ 8193638*c_1001_11^2 + 12044528924625787345482873003/156655010919816\ 06207956387276*c_1001_11 - 8353441390752746147019319341/78327505459\ 90803103978193638, c_0011_11 - 743580449458883240712001824/3916375272995401551989096819*c_\ 1001_11^11 - 1375786147046792304535274500/3916375272995401551989096\ 819*c_1001_11^10 - 5056532221119845701249878347/7832750545990803103\ 978193638*c_1001_11^9 - 19338161731559457403198368435/6266200436792\ 6424831825549104*c_1001_11^8 - 19320583878828678677010330631/626620\ 04367926424831825549104*c_1001_11^7 + 74213361049523658843184441301/62662004367926424831825549104*c_1001_\ 11^6 - 110953264743706198026867112799/62662004367926424831825549104\ *c_1001_11^5 + 172811847604245184063281133007/626620043679264248318\ 25549104*c_1001_11^4 - 102687081614009654341655663517/6266200436792\ 6424831825549104*c_1001_11^3 + 165865668680843605833308856229/62662\ 004367926424831825549104*c_1001_11^2 - 26362565459044409549402828319/15665501091981606207956387276*c_1001_\ 11 + 16857131785208090023398901143/15665501091981606207956387276, c_0101_0 + 634072358257230942698849472/3916375272995401551989096819*c_1\ 001_11^11 + 1187163651078219068969379160/39163752729954015519890968\ 19*c_1001_11^10 + 2325358926437859582148430009/39163752729954015519\ 89096819*c_1001_11^9 + 11063892905914670279369473425/31331002183963\ 212415912774552*c_1001_11^8 + 8950693937029221355618943375/31331002\ 183963212415912774552*c_1001_11^7 - 38197313878171737004256195137/31331002183963212415912774552*c_1001_\ 11^6 + 32231250537866184565558035403/31331002183963212415912774552*\ c_1001_11^5 - 88226687055221637115874871567/31331002183963212415912\ 774552*c_1001_11^4 + 49297011967422745083436454025/3133100218396321\ 2415912774552*c_1001_11^3 - 48168926874525290855033354037/313310021\ 83963212415912774552*c_1001_11^2 + 12170819418059536590048394553/15665501091981606207956387276*c_1001_\ 11 - 3223730549917507063675893663/3916375272995401551989096819, c_0101_1 - 835238917993912239713332704/3916375272995401551989096819*c_1\ 001_11^11 - 2032793250280104379749605212/39163752729954015519890968\ 19*c_1001_11^10 - 7733087155854643123017615677/78327505459908031039\ 78193638*c_1001_11^9 - 47860981883938868103376347733/62662004367926\ 424831825549104*c_1001_11^8 - 18573824840911956506608612485/6266200\ 4367926424831825549104*c_1001_11^7 + 117909235375556142979171312103/62662004367926424831825549104*c_1001\ _11^6 - 14759741036277744588511677829/62662004367926424831825549104\ *c_1001_11^5 + 164248651120963902443747567245/626620043679264248318\ 25549104*c_1001_11^4 - 59376617583371296374543516751/62662004367926\ 424831825549104*c_1001_11^3 + 57058141110811344696094227343/6266200\ 4367926424831825549104*c_1001_11^2 - 510459474776035416978368841/3916375272995401551989096819*c_1001_11 + 239275321182031097591416603/15665501091981606207956387276, c_0101_10 + 92285650529658031252958176/3916375272995401551989096819*c_1\ 001_11^11 + 391945242579828366786618012/391637527299540155198909681\ 9*c_1001_11^10 + 2588019569303033721039628653/783275054599080310397\ 8193638*c_1001_11^9 + 34773052280604501092772874693/626620043679264\ 24831825549104*c_1001_11^8 + 43979615248661086176345590105/62662004\ 367926424831825549104*c_1001_11^7 + 18659103180462371400795582981/62662004367926424831825549104*c_1001_\ 11^6 - 943588738151125705908376207/62662004367926424831825549104*c_\ 1001_11^5 - 66745595750827199181549239537/6266200436792642483182554\ 9104*c_1001_11^4 + 95876288840281861943226323/626620043679264248318\ 25549104*c_1001_11^3 - 89834196778682673981835245083/62662004367926\ 424831825549104*c_1001_11^2 - 2586301723818835720333777565/15665501\ 091981606207956387276*c_1001_11 - 10445202540151506087677030137/156\ 65501091981606207956387276, c_0101_2 - 634072358257230942698849472/3916375272995401551989096819*c_1\ 001_11^11 - 1187163651078219068969379160/39163752729954015519890968\ 19*c_1001_11^10 - 2325358926437859582148430009/39163752729954015519\ 89096819*c_1001_11^9 - 11063892905914670279369473425/31331002183963\ 212415912774552*c_1001_11^8 - 8950693937029221355618943375/31331002\ 183963212415912774552*c_1001_11^7 + 38197313878171737004256195137/31331002183963212415912774552*c_1001_\ 11^6 - 32231250537866184565558035403/31331002183963212415912774552*\ c_1001_11^5 + 88226687055221637115874871567/31331002183963212415912\ 774552*c_1001_11^4 - 49297011967422745083436454025/3133100218396321\ 2415912774552*c_1001_11^3 + 48168926874525290855033354037/313310021\ 83963212415912774552*c_1001_11^2 - 12170819418059536590048394553/15665501091981606207956387276*c_1001_\ 11 + 3223730549917507063675893663/3916375272995401551989096819, c_0101_3 - 749298688644353378483970080/3916375272995401551989096819*c_1\ 001_11^11 - 1600928692208709964032184164/39163752729954015519890968\ 19*c_1001_11^10 - 5834758605283109369567351251/78327505459908031039\ 78193638*c_1001_11^9 - 20968098165393617920045053371/62662004367926\ 424831825549104*c_1001_11^8 + 1055039756773955024388428525/62662004\ 367926424831825549104*c_1001_11^7 + 110637186145282247800609683537/62662004367926424831825549104*c_1001\ _11^6 - 64412024172285200841823718323/62662004367926424831825549104\ *c_1001_11^5 + 132305374788128867429653840491/626620043679264248318\ 25549104*c_1001_11^4 - 128094922029528191535242397161/6266200436792\ 6424831825549104*c_1001_11^3 + 144412354751739772391462395721/62662\ 004367926424831825549104*c_1001_11^2 - 8361670909192826050153553181/7832750545990803103978193638*c_1001_11 + 10180312029006563029035229625/15665501091981606207956387276, c_0101_5 - 1339828660947211284982686944/3916375272995401551989096819*c_\ 1001_11^11 - 2905339660260921713703511100/3916375272995401551989096\ 819*c_1001_11^10 - 11548474619155311666179452453/783275054599080310\ 3978193638*c_1001_11^9 - 69857751665265796405760179325/626620043679\ 26424831825549104*c_1001_11^8 - 59216467171277121160207281925/62662\ 004367926424831825549104*c_1001_11^7 + 139719618775692662766431775047/62662004367926424831825549104*c_1001\ _11^6 - 118316491872968683989801722725/6266200436792642483182554910\ 4*c_1001_11^5 + 338743036571979127341232154493/62662004367926424831\ 825549104*c_1001_11^4 - 129183809827972415999838795599/626620043679\ 26424831825549104*c_1001_11^3 + 284852404723927848607981119279/6266\ 2004367926424831825549104*c_1001_11^2 - 20252734572678062107136531921/7832750545990803103978193638*c_1001_1\ 1 + 26248178254473938884177594767/15665501091981606207956387276, c_0101_7 - 852461358665906506473526880/3916375272995401551989096819*c_1\ 001_11^11 - 1829470503668849248528882540/39163752729954015519890968\ 19*c_1001_11^10 - 5550881954795735938931005353/78327505459908031039\ 78193638*c_1001_11^9 - 10298305523064483855062894625/62662004367926\ 424831825549104*c_1001_11^8 + 23986594402978893703964533739/6266200\ 4367926424831825549104*c_1001_11^7 + 134387071849198699214638946111/62662004367926424831825549104*c_1001\ _11^6 - 62194093442402699190171096029/62662004367926424831825549104\ *c_1001_11^5 + 93861528863938613093729717581/6266200436792642483182\ 5549104*c_1001_11^4 - 63373798973695178687383045895/626620043679264\ 24831825549104*c_1001_11^3 + 36751759263921694837501130415/62662004\ 367926424831825549104*c_1001_11^2 - 3154384571926244139645299419/15665501091981606207956387276*c_1001_1\ 1 + 9421783458550192986566100233/15665501091981606207956387276, c_0101_8 - 234322381320067588660020128/3916375272995401551989096819*c_1\ 001_11^11 - 487552052311616926505207124/391637527299540155198909681\ 9*c_1001_11^10 - 1581684850610014719230325415/783275054599080310397\ 8193638*c_1001_11^9 - 8192910820853773938961837935/6266200436792642\ 4831825549104*c_1001_11^8 - 8491078228254497730918444591/6266200436\ 7926424831825549104*c_1001_11^7 + 11326512201969961308950324805/626\ 62004367926424831825549104*c_1001_11^6 - 40030079161004970184049014575/62662004367926424831825549104*c_1001_\ 11^5 + 34460316020340917258308122759/62662004367926424831825549104*\ c_1001_11^4 + 19005234327463353872609293475/62662004367926424831825\ 549104*c_1001_11^3 + 29379549594759422931964776301/6266200436792642\ 4831825549104*c_1001_11^2 + 336866139390746001009107990/39163752729\ 95401551989096819*c_1001_11 + 150249003702597729360262461/156655010\ 91981606207956387276, c_1001_11^12 + 9/8*c_1001_11^11 + 131/64*c_1001_11^10 - 693/512*c_1001_11^9 - 555/512*c_1001_11^8 - 5103/512*c_1001_11^7 + 6157/512*c_1001_11^6 - 10553/512*c_1001_11^5 + 12023/512*c_1001_11^4 - 9811/512*c_1001_11^3 + 4313/256*c_1001_11^2 - 1033/128*c_1001_11 + 313/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.730 Total time: 3.930 seconds, Total memory usage: 64.12MB