Magma V2.19-8 Tue Aug 20 2013 23:46:37 on localhost [Seed = 3516382156] Type ? for help. Type -D to quit. Loading file "K14n21976__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21976 geometric_solution 10.68026219 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 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 1 0 -1 0 0 0 0 4 0 0 -4 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.252431581512 1.084488101282 0 5 6 4 0132 0132 0132 3120 0 0 0 0 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 -4 0 4 0 0 1 -1 0 0 0 0 -4 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669774533380 0.557730009345 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 -4 4 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559636681860 0.236243848043 4 9 10 0 3120 0213 0132 0132 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 1 0 -1 0 0 5 0 -5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420613823932 0.402403381729 1 9 0 3 3120 0132 0132 3120 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 1 -1 1 0 0 -1 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359120167362 0.637251515010 7 1 8 11 3201 0132 1302 0132 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 4 -4 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.070154032957 1.264461593043 11 11 7 1 0213 0132 3012 0132 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 0 1 -1 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.369321371609 0.678789714367 2 6 11 5 0132 1230 2031 2310 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 0 1 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522524815247 1.045047277486 5 10 2 10 2031 1023 0132 1302 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 -1 1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395790538314 0.672372852853 10 4 3 2 1230 0132 0213 0132 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 1 0 -5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456116286770 0.733137286726 8 9 8 3 1023 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 0 0 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.395790538314 0.672372852853 6 6 5 7 0213 0132 0132 1302 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 0 0 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287474662095 0.705847513926 ==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_4'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_10'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0011_0']), 'c_1010_10' : negation(d['c_0011_3']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_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' : 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' : d['c_0101_10'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : negation(d['c_0101_3']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_10'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0101_3'], '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' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_1']), 'c_0110_10' : d['c_0101_3'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0011_4']), '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_0101_7'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_1']})} 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_0, c_0101_1, c_0101_10, c_0101_3, c_0101_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 9455371746493991534/27074040870655677*c_1001_2^14 + 251629776869639773106/297814449577212447*c_1001_2^13 - 455110375676194588591/297814449577212447*c_1001_2^12 + 732684458158171919632/297814449577212447*c_1001_2^11 - 4790936091845008273/1972281123027897*c_1001_2^10 + 121943024743578896599/99271483192404149*c_1001_2^9 - 707600954120862688967/297814449577212447*c_1001_2^8 + 397536732133886873746/297814449577212447*c_1001_2^7 - 143047643123204399483/99271483192404149*c_1001_2^6 + 304496767089101445376/99271483192404149*c_1001_2^5 + 1226594709408435217/1972281123027897*c_1001_2^4 - 168539257263442095570/99271483192404149*c_1001_2^3 + 97788422032634023649/297814449577212447*c_1001_2^2 + 17811022508201863199/297814449577212447*c_1001_2 + 11629446528570872447/297814449577212447, c_0011_0 - 1, c_0011_10 - 694139480606/7375113285387*c_1001_2^14 - 5741706005372/7375113285387*c_1001_2^13 + 3811558340275/2458371095129*c_1001_2^12 - 6711886980810/2458371095129*c_1001_2^11 + 76559911757/16280603279*c_1001_2^10 - 30321313972693/7375113285387*c_1001_2^9 + 6030444587819/7375113285387*c_1001_2^8 - 45060646202881/7375113285387*c_1001_2^7 + 10338041492612/7375113285387*c_1001_2^6 - 21240197891176/7375113285387*c_1001_2^5 + 118446485256/16280603279*c_1001_2^4 + 31438671831898/7375113285387*c_1001_2^3 - 17158780132108/7375113285387*c_1001_2^2 - 5428055526295/7375113285387*c_1001_2 + 3300454890472/2458371095129, c_0011_11 - 1815581790891/2458371095129*c_1001_2^14 + 15402400233094/7375113285387*c_1001_2^13 - 8380947592922/2458371095129*c_1001_2^12 + 13400848302064/2458371095129*c_1001_2^11 - 85177093373/16280603279*c_1001_2^10 + 3885442577672/2458371095129*c_1001_2^9 - 25062918814231/7375113285387*c_1001_2^8 + 9277445812897/2458371095129*c_1001_2^7 - 5618248357699/7375113285387*c_1001_2^6 + 17973279417475/2458371095129*c_1001_2^5 + 66717385799/48841809837*c_1001_2^4 - 56466855435929/7375113285387*c_1001_2^3 + 652386184475/2458371095129*c_1001_2^2 + 9153986657600/7375113285387*c_1001_2 - 2000276248500/2458371095129, c_0011_3 + 5490516788724/2458371095129*c_1001_2^14 - 37825045989400/7375113285387*c_1001_2^13 + 23285857846880/2458371095129*c_1001_2^12 - 37237576461916/2458371095129*c_1001_2^11 + 253428964391/16280603279*c_1001_2^10 - 27406210238823/2458371095129*c_1001_2^9 + 154399845781798/7375113285387*c_1001_2^8 - 32134570104169/2458371095129*c_1001_2^7 + 126757380618397/7375113285387*c_1001_2^6 - 53864213699263/2458371095129*c_1001_2^5 - 151369764932/48841809837*c_1001_2^4 - 8761753342099/7375113285387*c_1001_2^3 + 8341723328571/2458371095129*c_1001_2^2 + 5440112845186/7375113285387*c_1001_2 + 737991305669/2458371095129, c_0011_4 - 2348502704317/7375113285387*c_1001_2^14 + 14676512449058/7375113285387*c_1001_2^13 - 11765890465542/2458371095129*c_1001_2^12 + 22480508535135/2458371095129*c_1001_2^11 - 202966415385/16280603279*c_1001_2^10 + 86261411119435/7375113285387*c_1001_2^9 - 75819579299384/7375113285387*c_1001_2^8 + 92381029846510/7375113285387*c_1001_2^7 - 71070397995947/7375113285387*c_1001_2^6 + 123112356392917/7375113285387*c_1001_2^5 - 182607228782/16280603279*c_1001_2^4 - 32843402600563/7375113285387*c_1001_2^3 + 11710920599389/7375113285387*c_1001_2^2 + 5418527701315/7375113285387*c_1001_2 + 904500906001/2458371095129, c_0101_0 + 5455527391908/2458371095129*c_1001_2^14 - 13796985156512/7375113285387*c_1001_2^13 + 8470406132156/7375113285387*c_1001_2^12 + 677343020550/2458371095129*c_1001_2^11 - 154563332873/16280603279*c_1001_2^10 + 41286272397473/2458371095129*c_1001_2^9 + 6360857408633/7375113285387*c_1001_2^8 + 132587248799728/7375113285387*c_1001_2^7 - 53252106885190/7375113285387*c_1001_2^6 + 20161091846581/7375113285387*c_1001_2^5 - 1794102195304/48841809837*c_1001_2^4 + 31595494864169/7375113285387*c_1001_2^3 + 70756015558034/7375113285387*c_1001_2^2 - 2372788788874/7375113285387*c_1001_2 - 7779356983652/7375113285387, c_0101_1 + 17521206931624/7375113285387*c_1001_2^14 - 32907093437408/7375113285387*c_1001_2^13 + 17469770623476/2458371095129*c_1001_2^12 - 26640672451424/2458371095129*c_1001_2^11 + 112207504305/16280603279*c_1001_2^10 + 12348607703819/7375113285387*c_1001_2^9 + 79803097232069/7375113285387*c_1001_2^8 + 1748630866718/7375113285387*c_1001_2^7 + 19865856975248/7375113285387*c_1001_2^6 - 107196101952271/7375113285387*c_1001_2^5 - 286557087766/16280603279*c_1001_2^4 + 96330734168929/7375113285387*c_1001_2^3 + 34047780337715/7375113285387*c_1001_2^2 - 14104268655952/7375113285387*c_1001_2 - 2672167004645/2458371095129, c_0101_10 + 39258830903072/7375113285387*c_1001_2^14 - 82663958811646/7375113285387*c_1001_2^13 + 49581818204992/2458371095129*c_1001_2^12 - 79892505049936/2458371095129*c_1001_2^11 + 492263221221/16280603279*c_1001_2^10 - 110389379406545/7375113285387*c_1001_2^9 + 287739105535180/7375113285387*c_1001_2^8 - 118807766345414/7375113285387*c_1001_2^7 + 183195801675721/7375113285387*c_1001_2^6 - 322077752134379/7375113285387*c_1001_2^5 - 269113915526/16280603279*c_1001_2^4 + 125744619148907/7375113285387*c_1001_2^3 + 6891211250692/7375113285387*c_1001_2^2 - 17217156650219/7375113285387*c_1001_2 - 1613737983039/2458371095129, c_0101_3 + 12018885338152/7375113285387*c_1001_2^14 - 8967195647501/2458371095129*c_1001_2^13 + 47733869962058/7375113285387*c_1001_2^12 - 26659466952414/2458371095129*c_1001_2^11 + 181431402492/16280603279*c_1001_2^10 - 46816954706236/7375113285387*c_1001_2^9 + 33842330821405/2458371095129*c_1001_2^8 - 21409618667934/2458371095129*c_1001_2^7 + 21006125631487/2458371095129*c_1001_2^6 - 40640497084096/2458371095129*c_1001_2^5 + 17332520677/48841809837*c_1001_2^4 + 47922887418967/7375113285387*c_1001_2^3 + 11543102389969/7375113285387*c_1001_2^2 - 7449879663872/2458371095129*c_1001_2 - 3725090051720/7375113285387, c_0101_7 - 15672442695118/7375113285387*c_1001_2^14 + 19538691161884/7375113285387*c_1001_2^13 - 19905081152981/7375113285387*c_1001_2^12 + 6034543960260/2458371095129*c_1001_2^11 + 78003421116/16280603279*c_1001_2^10 - 93537503219726/7375113285387*c_1001_2^9 - 12391301996452/7375113285387*c_1001_2^8 - 29175534198949/2458371095129*c_1001_2^7 + 42914065392578/7375113285387*c_1001_2^6 + 359702014865/2458371095129*c_1001_2^5 + 1438762739536/48841809837*c_1001_2^4 - 21011388898689/2458371095129*c_1001_2^3 - 53597235425926/7375113285387*c_1001_2^2 + 7800844315169/7375113285387*c_1001_2 + 5253105597623/7375113285387, c_1001_1 - 12074461558951/7375113285387*c_1001_2^14 + 17504693204314/7375113285387*c_1001_2^13 - 9088823030554/2458371095129*c_1001_2^12 + 13239824149360/2458371095129*c_1001_2^11 - 27030410932/16280603279*c_1001_2^10 - 24004935436835/7375113285387*c_1001_2^9 - 54740178417838/7375113285387*c_1001_2^8 - 29580968305409/7375113285387*c_1001_2^7 - 14247608617549/7375113285387*c_1001_2^6 + 53276263699846/7375113285387*c_1001_2^5 + 792953877499/48841809837*c_1001_2^4 - 39863878733000/7375113285387*c_1001_2^3 - 36004938891140/7375113285387*c_1001_2^2 + 4950281998352/7375113285387*c_1001_2 + 2214072158016/2458371095129, c_1001_2^15 - 23/11*c_1001_2^14 + 39/11*c_1001_2^13 - 61/11*c_1001_2^12 + 51/11*c_1001_2^11 - 14/11*c_1001_2^10 + 65/11*c_1001_2^9 - 23/11*c_1001_2^8 + 3*c_1001_2^7 - 80/11*c_1001_2^6 - 52/11*c_1001_2^5 + 5*c_1001_2^4 + c_1001_2^3 - c_1001_2^2 - 3/11*c_1001_2 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.780 Total time: 1.000 seconds, Total memory usage: 32.09MB