Magma V2.19-8 Tue Aug 20 2013 23:46:08 on localhost [Seed = 2816593316] Type ? for help. Type -D to quit. Loading file "K14n14386__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14386 geometric_solution 10.29890045 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 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 0 0 0 0 0 -1 0 1 -1 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.762616756083 0.827966919928 0 3 5 4 0132 1023 0132 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 -2 2 0 1 0 -1 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.418186509751 0.696985107612 6 0 0 7 0132 0132 0321 0132 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 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.762616756083 0.827966919928 1 5 0 5 1023 2103 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 -1 1 2 0 0 -2 0 -2 0 2 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562670332423 0.833635941843 8 9 1 10 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298327370689 1.229845746234 3 3 6 1 3201 2103 3012 0132 0 0 0 0 0 -1 0 1 1 0 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 2 0 -2 -2 0 1 1 -1 0 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493485270391 0.940679511745 2 5 10 8 0132 1230 1230 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 -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.810734295435 0.513844776662 10 11 2 11 1230 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 1 -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 1.415849165812 1.741206321289 4 11 9 6 0132 2031 2031 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 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.610221515710 1.329860686522 11 4 10 8 2031 0132 1302 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 1 0 -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.406308024122 0.877264772363 9 7 4 6 2031 3012 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.482092940092 0.613887820701 8 7 9 7 1302 0132 1302 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 -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.415849165812 1.741206321289 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0101_6']), '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_0011_4'], '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_1001_6']), 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : negation(d['c_1001_6']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_1001_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_0011_5'], 'c_1010_9' : negation(d['c_0101_5']), 'c_1010_8' : d['c_0011_11'], '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_4']), '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_11']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_10'], 'c_1100_8' : d['c_0101_5']})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0101_6, c_1001_0, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 68952602366337745582691547293/6278560027336094189093059*c_1001_6^11 + 16689535748738068264941659471/330450527754531273110161*c_1001_6^1\ 0 + 2986368348422829164814034335/13387121593467151789111*c_1001_6^9 + 499011025620931920650483855356/896937146762299169870437*c_1001_6^\ 8 + 7776069843558002157749415040391/6278560027336094189093059*c_100\ 1_6^7 + 11176180796379925735765121828361/6278560027336094189093059*\ c_1001_6^6 + 12833846190999531308178240253361/627856002733609418909\ 3059*c_1001_6^5 + 11222450464475350723365454015216/6278560027336094\ 189093059*c_1001_6^4 + 5768797657147108987985978086372/627856002733\ 6094189093059*c_1001_6^3 + 1672071667457073279659289029986/62785600\ 27336094189093059*c_1001_6^2 + 148312118307965616999449701775/62785\ 60027336094189093059*c_1001_6 + 7939357344291535933041180339/627856\ 0027336094189093059, c_0011_0 - 1, c_0011_10 + 1151368801810796851177/704585347024586936269*c_1001_6^11 + 4477584881535522773354/704585347024586936269*c_1001_6^10 + 19786182531802437126185/704585347024586936269*c_1001_6^9 + 42389542826548333213410/704585347024586936269*c_1001_6^8 + 91377585836118867969898/704585347024586936269*c_1001_6^7 + 101266137823895250245679/704585347024586936269*c_1001_6^6 + 96823406034598977269303/704585347024586936269*c_1001_6^5 + 54664686679878356206607/704585347024586936269*c_1001_6^4 - 15641759790016788264722/704585347024586936269*c_1001_6^3 - 24063693002660497014196/704585347024586936269*c_1001_6^2 - 11726279085124867357566/704585347024586936269*c_1001_6 - 1070063414790879982520/704585347024586936269, c_0011_11 - 2559514024190510143250/704585347024586936269*c_1001_6^11 - 12421901177237294647673/704585347024586936269*c_1001_6^10 - 55012594941926176181359/704585347024586936269*c_1001_6^9 - 142956643505976448754393/704585347024586936269*c_1001_6^8 - 321923220281372386308893/704585347024586936269*c_1001_6^7 - 488516920453410618190387/704585347024586936269*c_1001_6^6 - 582157476626018375888805/704585347024586936269*c_1001_6^5 - 536116982524598789908012/704585347024586936269*c_1001_6^4 - 316776153302007644663523/704585347024586936269*c_1001_6^3 - 112698805431904042804656/704585347024586936269*c_1001_6^2 - 16754671104395547143694/704585347024586936269*c_1001_6 - 646584426750454999625/704585347024586936269, c_0011_4 + 7135729487298327707/704585347024586936269*c_1001_6^11 + 1781814663152563933201/704585347024586936269*c_1001_6^10 + 7967909714176066774534/704585347024586936269*c_1001_6^9 + 34908026278640556069019/704585347024586936269*c_1001_6^8 + 85117802655613485286195/704585347024586936269*c_1001_6^7 + 188023737775697910615176/704585347024586936269*c_1001_6^6 + 262180836890512018777152/704585347024586936269*c_1001_6^5 + 295703292776872153732525/704585347024586936269*c_1001_6^4 + 251883780855762965648932/704585347024586936269*c_1001_6^3 + 118724321622119247391055/704585347024586936269*c_1001_6^2 + 31311039382438002655211/704585347024586936269*c_1001_6 + 2089075281157494862359/704585347024586936269, c_0011_5 - 2214047364127727045034/704585347024586936269*c_1001_6^11 - 10194918367956976180323/704585347024586936269*c_1001_6^10 - 45130255271190520053999/704585347024586936269*c_1001_6^9 - 112844069320653509411056/704585347024586936269*c_1001_6^8 - 252204277439085984224550/704585347024586936269*c_1001_6^7 - 364691113858703761835137/704585347024586936269*c_1001_6^6 - 423854820450335128258560/704585347024586936269*c_1001_6^5 - 375360080609283123984713/704585347024586936269*c_1001_6^4 - 201339912201102603024259/704585347024586936269*c_1001_6^3 - 65185850328779525322838/704585347024586936269*c_1001_6^2 - 9657299561587338340868/704585347024586936269*c_1001_6 - 681013316914034247503/704585347024586936269, c_0101_0 - 1005768753257349378403/704585347024586936269*c_1001_6^11 - 4408723062948095647707/704585347024586936269*c_1001_6^10 - 19536279397684125045348/704585347024586936269*c_1001_6^9 - 47047353187131622756430/704585347024586936269*c_1001_6^8 - 104588188563495297012796/704585347024586936269*c_1001_6^7 - 144076737913728844732848/704585347024586936269*c_1001_6^6 - 163923427028909866466633/704585347024586936269*c_1001_6^5 - 140806976994010131142644/704585347024586936269*c_1001_6^4 - 67360338166220665478379/704585347024586936269*c_1001_6^3 - 22778275018037243043873/704585347024586936269*c_1001_6^2 - 3657729639904912650934/704585347024586936269*c_1001_6 - 1160860156334661989284/704585347024586936269, c_0101_1 - 592304541935863719180/704585347024586936269*c_1001_6^11 - 2639403472282606515382/704585347024586936269*c_1001_6^10 - 11536036862835529220378/704585347024586936269*c_1001_6^9 - 27895817761376528143547/704585347024586936269*c_1001_6^8 - 60738967197199793918919/704585347024586936269*c_1001_6^7 - 82788200360283397793645/704585347024586936269*c_1001_6^6 - 88303543602107388284330/704585347024586936269*c_1001_6^5 - 71639306550757598613966/704585347024586936269*c_1001_6^4 - 25705048714315945273691/704585347024586936269*c_1001_6^3 - 381182846579299261092/704585347024586936269*c_1001_6^2 + 2325896669579708708706/704585347024586936269*c_1001_6 + 164029769620287989512/704585347024586936269, c_0101_10 - 2308818791206085810592/704585347024586936269*c_1001_6^11 - 11336731693498289772174/704585347024586936269*c_1001_6^10 - 50154428648666345817940/704585347024586936269*c_1001_6^9 - 131342722984957808206670/704585347024586936269*c_1001_6^8 - 295781003503617476824670/704585347024586936269*c_1001_6^7 - 452803515393697769950167/704585347024586936269*c_1001_6^6 - 540499650391985693847039/704585347024586936269*c_1001_6^5 - 501353566649465881682068/704585347024586936269*c_1001_6^4 - 299954301749435154771421/704585347024586936269*c_1001_6^3 - 107538057610405321748233/704585347024586936269*c_1001_6^2 - 17104488092918297341482/704585347024586936269*c_1001_6 - 562035441669292020877/704585347024586936269, c_0101_5 - 1366904302740322352738/704585347024586936269*c_1001_6^11 - 6515469263053680791752/704585347024586936269*c_1001_6^10 - 28788483312249151469272/704585347024586936269*c_1001_6^9 - 73741087537806109123220/704585347024586936269*c_1001_6^8 - 165092566266887747937561/704585347024586936269*c_1001_6^7 - 245622889045666225313605/704585347024586936269*c_1001_6^6 - 287866510915726496568241/704585347024586936269*c_1001_6^5 - 259482536132375044810562/704585347024586936269*c_1001_6^4 - 146035000980605336449633/704585347024586936269*c_1001_6^3 - 46675053974394033492880/704585347024586936269*c_1001_6^2 - 6033372467664342134825/704585347024586936269*c_1001_6 + 382838031050442818906/704585347024586936269, c_0101_6 + 2655339993171675128277/704585347024586936269*c_1001_6^11 + 12963967235503927947259/704585347024586936269*c_1001_6^10 + 57422614448516597154264/704585347024586936269*c_1001_6^9 + 149799686117060161839176/704585347024586936269*c_1001_6^8 + 337591917170137623310334/704585347024586936269*c_1001_6^7 + 514381820018195267461784/704585347024586936269*c_1001_6^6 + 614130305135393220946003/704585347024586936269*c_1001_6^5 + 565789568051944532069038/704585347024586936269*c_1001_6^4 + 336036502376634430758752/704585347024586936269*c_1001_6^3 + 118109890719922770844481/704585347024586936269*c_1001_6^2 + 15660438102021063679174/704585347024586936269*c_1001_6 + 619104908436742585710/704585347024586936269, c_1001_0 - 2560568566093316362719/704585347024586936269*c_1001_6^11 - 11822153909962614355408/704585347024586936269*c_1001_6^10 - 52398441071040771390323/704585347024586936269*c_1001_6^9 - 131301032452755863043562/704585347024586936269*c_1001_6^8 - 294015191105606130710214/704585347024586936269*c_1001_6^7 - 426269418483201259346754/704585347024586936269*c_1001_6^6 - 497485475193742655357524/704585347024586936269*c_1001_6^5 - 439796082011761774371683/704585347024586936269*c_1001_6^4 - 237422112828301879011590/704585347024586936269*c_1001_6^3 - 75757683438296974419086/704585347024586936269*c_1001_6^2 - 7508664223665517742291/704585347024586936269*c_1001_6 - 33497436656897876067/704585347024586936269, c_1001_6^12 + 150/31*c_1001_6^11 + 664/31*c_1001_6^10 + 1722/31*c_1001_6^9 + 125*c_1001_6^8 + 5869/31*c_1001_6^7 + 6988/31*c_1001_6^6 + 208*c_1001_6^5 + 3825/31*c_1001_6^4 + 1392/31*c_1001_6^3 + 256/31*c_1001_6^2 + 22/31*c_1001_6 + 1/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.140 Total time: 4.349 seconds, Total memory usage: 32.09MB