Magma V2.19-8 Wed Aug 21 2013 01:04:07 on localhost [Seed = 2816589813] Type ? for help. Type -D to quit. Loading file "L14n23995__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n23995 geometric_solution 11.96900331 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 0213 0 1 1 1 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 0 0 0 0 0 0 0 4 -3 -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.759475110909 0.903406446548 0 4 6 5 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 1 -1 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 1.280941157687 0.544763565819 7 0 8 0 0132 0132 0132 0213 0 1 1 1 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 -4 3 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.759475110909 0.903406446548 9 8 8 0 0132 0132 0321 0132 0 1 1 1 0 1 0 -1 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 -3 0 3 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.698320896990 0.725204910604 5 1 10 7 1302 0132 0132 2103 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 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.561666707490 1.037138406483 11 4 1 12 0132 2031 0132 0132 1 1 1 1 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 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.391227055972 1.333435937923 10 11 9 1 0321 0132 0132 0132 1 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.064928138237 1.654028978670 2 12 10 4 0132 2103 0213 2103 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422456258121 0.465027345945 10 3 3 2 2103 0132 0321 0132 0 1 1 1 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 3 0 -3 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.698320896990 0.725204910604 3 12 11 6 0132 1023 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 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 -1 0 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.496350989017 0.579850383111 6 7 8 4 0321 0213 2103 0132 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 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.385065772002 0.769909176178 5 6 12 9 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 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 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.042923376260 0.357265364926 9 7 5 11 1023 2103 0132 0132 1 1 1 1 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 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.481304822786 0.826959948046 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_1'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : negation(d['c_0110_4']), 's_0_10' : d['1'], 's_3_10' : 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' : d['c_0101_11'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1100_1'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_1001_2'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : negation(d['c_0101_2']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_1001_2'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : d['c_1100_1'], 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_12']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_11'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_10'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(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_10, c_0101_11, c_0101_2, c_0110_4, c_1001_0, c_1001_1, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 136113069289334596551198343978459167/772727380505207770789985648000\ *c_1100_1^13 - 2292693354822448761518960189123489/19318184512630194\ 269749641200*c_1100_1^12 + 14511175548081181465529921120450391/1931\ 81845126301942697496412000*c_1100_1^11 - 3087212746687769891020615708737927/7727273805052077707899856480*c_1\ 100_1^10 + 11452473745544474268149984873359969/30909095220208310831\ 599425920*c_1100_1^9 + 807926196065097432309677315189597/9659092256\ 315097134874820600*c_1100_1^8 - 23314474030115315656305814993020449\ 1/772727380505207770789985648000*c_1100_1^7 + 38177317113995963456756830212296359/386363690252603885394992824000*\ c_1100_1^6 + 1148244014152042024789540008217069/9659092256315097134\ 874820600*c_1100_1^5 - 3596617658496709482821409715906121/482954612\ 81575485674374103000*c_1100_1^4 - 180590670865590365302451046878597\ 93/772727380505207770789985648000*c_1100_1^3 + 1519353198132377621347832885766039/77272738050520777078998564800*c_\ 1100_1^2 + 132655535478510433691203286885021/4829546128157548567437\ 4103000*c_1100_1 - 31355038960338781992280997503067/120738653203938\ 71418593525750, c_0011_0 - 1, c_0011_10 - 197664015255900245749/3969307285058930648*c_1100_1^13 + 1433364311925417490351/3969307285058930648*c_1100_1^12 + 93876079356404944087/1984653642529465324*c_1100_1^11 + 290088567387454664025/992326821264732662*c_1100_1^10 - 2710600805090578594071/3969307285058930648*c_1100_1^9 + 524367573661653977969/3969307285058930648*c_1100_1^8 + 1682520136953688165343/3969307285058930648*c_1100_1^7 - 1311278196437999087617/3969307285058930648*c_1100_1^6 - 103969162885003857133/992326821264732662*c_1100_1^5 + 93705530051801627466/496163410632366331*c_1100_1^4 + 41297069543898964891/3969307285058930648*c_1100_1^3 - 194461617757338773283/3969307285058930648*c_1100_1^2 + 284867062808716135/496163410632366331*c_1100_1 + 3411395171781904776/496163410632366331, c_0011_11 + 3198648872639330136509/992326821264732662*c_1100_1^13 - 3593944267300196001411/1984653642529465324*c_1100_1^12 + 722639420988823178590/496163410632366331*c_1100_1^11 - 3537686853249329090177/496163410632366331*c_1100_1^10 + 6087475132341291765327/992326821264732662*c_1100_1^9 + 3331581434800237862155/1984653642529465324*c_1100_1^8 - 2544171628866506253893/496163410632366331*c_1100_1^7 + 2950399951303433469019/1984653642529465324*c_1100_1^6 + 2043270498350162074791/992326821264732662*c_1100_1^5 - 573174204556103902074/496163410632366331*c_1100_1^4 - 417794584230316115083/992326821264732662*c_1100_1^3 + 607499764143273639697/1984653642529465324*c_1100_1^2 + 25650742182189902753/496163410632366331*c_1100_1 - 20038907659174287945/496163410632366331, c_0011_12 - 2881286517587642165843/992326821264732662*c_1100_1^13 + 8036248286598449924193/3969307285058930648*c_1100_1^12 - 637040624264834630101/496163410632366331*c_1100_1^11 + 13107259769110384875153/1984653642529465324*c_1100_1^10 - 12483675267651758806617/1984653642529465324*c_1100_1^9 - 4922255215612530603051/3969307285058930648*c_1100_1^8 + 9938623760085099629397/1984653642529465324*c_1100_1^7 - 6737007931817428789169/3969307285058930648*c_1100_1^6 - 3882616821027847542763/1984653642529465324*c_1100_1^5 + 2526366757120539883397/1984653642529465324*c_1100_1^4 + 752990132657765007625/1984653642529465324*c_1100_1^3 - 1352009947124873454361/3969307285058930648*c_1100_1^2 - 22635855948644509269/496163410632366331*c_1100_1 + 22623095491893700710/496163410632366331, c_0101_0 + 2624667086659267491731/1984653642529465324*c_1100_1^13 - 2497002406555311334897/1984653642529465324*c_1100_1^12 + 270569222466870359043/496163410632366331*c_1100_1^11 - 6331428667939487301465/1984653642529465324*c_1100_1^10 + 6916874796491717044065/1984653642529465324*c_1100_1^9 + 338102056263505589139/992326821264732662*c_1100_1^8 - 5158200727937491869631/1984653642529465324*c_1100_1^7 + 2149258418515497897495/1984653642529465324*c_1100_1^6 + 946382201043759029297/992326821264732662*c_1100_1^5 - 1500842676138677245075/1984653642529465324*c_1100_1^4 - 338581766695254368771/1984653642529465324*c_1100_1^3 + 100040523731769960502/496163410632366331*c_1100_1^2 + 9360492896976835788/496163410632366331*c_1100_1 - 13521823283548357339/496163410632366331, c_0101_10 - 11722810085606468909121/3969307285058930648*c_1100_1^13 + 1183701574815483426818/496163410632366331*c_1100_1^12 - 2454286417702933576317/1984653642529465324*c_1100_1^11 + 13687436903885294203203/1984653642529465324*c_1100_1^10 - 27677951340394096207305/3969307285058930648*c_1100_1^9 - 2198943820975438312541/1984653642529465324*c_1100_1^8 + 21559767657123887424137/3969307285058930648*c_1100_1^7 - 4024143064127713938393/1984653642529465324*c_1100_1^6 - 4090555146797855257029/1984653642529465324*c_1100_1^5 + 2901188877327746393261/1984653642529465324*c_1100_1^4 + 1547277334859428980141/3969307285058930648*c_1100_1^3 - 386617891220553056911/992326821264732662*c_1100_1^2 - 22350988885835793134/496163410632366331*c_1100_1 + 25538327253043239155/496163410632366331, c_0101_11 - 23349782126429661197645/7938614570117861296*c_1100_1^13 + 12217146857473521098543/7938614570117861296*c_1100_1^12 - 5344192467467777658951/3969307285058930648*c_1100_1^11 + 3186913948729660740790/496163410632366331*c_1100_1^10 - 42796414370385218973775/7938614570117861296*c_1100_1^9 - 12795588860690236708643/7938614570117861296*c_1100_1^8 + 36577891080304471985699/7938614570117861296*c_1100_1^7 - 10094254726882610354841/7938614570117861296*c_1100_1^6 - 929046611197187289990/496163410632366331*c_1100_1^5 + 2024179060574406142279/1984653642529465324*c_1100_1^4 + 3000838452532259679619/7938614570117861296*c_1100_1^3 - 2159612497208153049007/7938614570117861296*c_1100_1^2 - 90592895981874763485/1984653642529465324*c_1100_1 + 35373952732675538071/992326821264732662, c_0101_2 + 8974184621332991228691/3969307285058930648*c_1100_1^13 - 510192209154875533324/496163410632366331*c_1100_1^12 + 1086271359600986089051/992326821264732662*c_1100_1^11 - 9694775819118601364485/1984653642529465324*c_1100_1^10 + 15482046117352951034105/3969307285058930648*c_1100_1^9 + 2445983525617723373017/1984653642529465324*c_1100_1^8 - 13046810106754212351995/3969307285058930648*c_1100_1^7 + 1571542242247243963987/1984653642529465324*c_1100_1^6 + 685416120213799701649/496163410632366331*c_1100_1^5 - 1339050182597835483189/1984653642529465324*c_1100_1^4 - 1156726846081202534293/3969307285058930648*c_1100_1^3 + 179068056404163359941/992326821264732662*c_1100_1^2 + 18542965588742017062/496163410632366331*c_1100_1 - 11878347901397299718/496163410632366331, c_0110_4 - 15158543562298950497/992326821264732662*c_1100_1^13 + 781160421978093571199/3969307285058930648*c_1100_1^12 - 45153216303044943361/992326821264732662*c_1100_1^11 + 63654364989793280724/496163410632366331*c_1100_1^10 - 863430669574646922885/1984653642529465324*c_1100_1^9 + 867897850158032548137/3969307285058930648*c_1100_1^8 + 277235249909745952125/1984653642529465324*c_1100_1^7 - 795008457593067885671/3969307285058930648*c_1100_1^6 + 3193748596040162821/1984653642529465324*c_1100_1^5 + 98156877429515031551/992326821264732662*c_1100_1^4 - 27424354926565704781/1984653642529465324*c_1100_1^3 - 92526930203109740661/3969307285058930648*c_1100_1^2 + 787687778699825270/496163410632366331*c_1100_1 + 1498429618606075172/496163410632366331, c_1001_0 - 1, c_1001_1 - 6473475912287933925659/3969307285058930648*c_1100_1^13 + 2237803892706622372375/1984653642529465324*c_1100_1^12 - 1372009527835452140145/1984653642529465324*c_1100_1^11 + 3678004117972903450869/992326821264732662*c_1100_1^10 - 13844201747410662119175/3969307285058930648*c_1100_1^9 - 1522739708448427134263/1984653642529465324*c_1100_1^8 + 11243366201248903684875/3969307285058930648*c_1100_1^7 - 937442322806108020449/992326821264732662*c_1100_1^6 - 2197790744710337198435/1984653642529465324*c_1100_1^5 + 700173100594534574093/992326821264732662*c_1100_1^4 + 870113801468920242599/3969307285058930648*c_1100_1^3 - 186536843757013135907/992326821264732662*c_1100_1^2 - 12990495988858957346/496163410632366331*c_1100_1 + 12512667380127248147/496163410632366331, c_1001_2 + 1903186109265325538773/3969307285058930648*c_1100_1^13 - 51937009644134043960/496163410632366331*c_1100_1^12 + 552600017556131432677/1984653642529465324*c_1100_1^11 - 965068554859222858163/992326821264732662*c_1100_1^10 + 2575885492312064454029/3969307285058930648*c_1100_1^9 + 131933722593645486663/496163410632366331*c_1100_1^8 - 2213651008540243174869/3969307285058930648*c_1100_1^7 + 111877854396124888265/1984653642529465324*c_1100_1^6 + 526538479113724078469/1984653642529465324*c_1100_1^5 - 88932858625462257367/992326821264732662*c_1100_1^4 - 231352073818694804013/3969307285058930648*c_1100_1^3 + 55993294978704836019/1984653642529465324*c_1100_1^2 + 8554797056047611531/992326821264732662*c_1100_1 - 2388567427566686714/496163410632366331, c_1100_1^14 - 1052/821*c_1100_1^13 + 717/821*c_1100_1^12 - 2074/821*c_1100_1^11 + 2875/821*c_1100_1^10 - 720/821*c_1100_1^9 - 1618/821*c_1100_1^8 + 1340/821*c_1100_1^7 + 247/821*c_1100_1^6 - 688/821*c_1100_1^5 + 117/821*c_1100_1^4 + 158/821*c_1100_1^3 - 47/821*c_1100_1^2 - 20/821*c_1100_1 + 8/821 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.160 Total time: 1.360 seconds, Total memory usage: 32.09MB