Magma V2.19-8 Tue Aug 20 2013 23:46:38 on localhost [Seed = 3769010942] Type ? for help. Type -D to quit. Loading file "K14n22348__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n22348 geometric_solution 10.25644040 oriented_manifold CS_known -0.0000000000000003 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 1 -1 0 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.582677952271 0.681986056198 0 3 6 5 0132 1230 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 -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.439571345775 0.145423968625 7 0 9 8 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 -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.833816225615 0.573256402548 5 10 1 0 0132 0132 3012 0132 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 -1 1 0 0 0 0 0 -1 0 1 -6 7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292500537841 0.889123672128 11 8 0 6 0132 2031 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.657501923939 0.637755211078 3 7 1 10 0132 2103 0132 1023 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 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.250970842286 1.882015449101 10 4 8 1 2310 1302 2310 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.349600987114 0.708443504147 2 5 11 9 0132 2103 0213 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 0 0 0 0 0 0 0 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.307338019201 0.989896952312 4 6 2 11 1302 3201 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 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.201665086918 0.880893524231 7 11 10 2 3012 1302 3201 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 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.901567083352 0.605087213906 9 3 6 5 2310 0132 3201 1023 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 1 -7 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373912780218 0.643231836641 4 7 8 9 0132 0213 1230 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.435987998479 0.971244338322 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0110_8']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0110_8']), 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : d['c_0011_0'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0101_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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_8'], 'c_1100_10' : negation(d['c_0011_6']), 's_3_10' : negation(d['1']), 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_9']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_0110_8']), 'c_1010_9' : negation(d['c_0110_8']), 'c_1010_8' : negation(d['c_0101_11']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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'], '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' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], '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_1'], 'c_0110_10' : negation(d['c_0101_9']), 'c_0011_6' : d['c_0011_6'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_11'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0011_9'], '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_11'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0011_9'], 'c_0011_10' : d['c_0011_10']})} 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_6, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_6, c_0101_9, c_0110_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 178313309732285938333364073/3388657025015882031877630*c_1001_1^19 - 3467875087051820818408430881/23720599175111174223143410*c_1001_1^18 - 18252432297069273990621487701/23720599175111174223143410*c_1001_1\ ^17 + 55866231075063101707329960391/23720599175111174223143410*c_10\ 01_1^16 + 106157721272509276862624844687/23720599175111174223143410\ *c_1001_1^15 - 74925142689868595312597284067/4744119835022234844628\ 682*c_1001_1^14 - 60534794143993685755451386467/4744119835022234844\ 628682*c_1001_1^13 + 190644893369790387791966197619/338865702501588\ 2031877630*c_1001_1^12 + 434298689789144854768289931633/23720599175\ 111174223143410*c_1001_1^11 - 117518693061949863852189533339/103133\ 0398917877140136670*c_1001_1^10 - 82516066274148846185912101117/474\ 4119835022234844628682*c_1001_1^9 + 649162887624132253407077031069/4744119835022234844628682*c_1001_1^8 + 281989807271302469300343536131/11860299587555587111571705*c_1001_\ 1^7 - 2346350038999032270913976649079/23720599175111174223143410*c_\ 1001_1^6 - 337992654003977968732568354704/1186029958755558711157170\ 5*c_1001_1^5 + 127130330711272539457947311143/338865702501588203187\ 7630*c_1001_1^4 + 75777066666009876201218025871/4744119835022234844\ 628682*c_1001_1^3 - 47897456285426111482344855778/11860299587555587\ 111571705*c_1001_1^2 - 27104506209070640693094460987/11860299587555\ 587111571705*c_1001_1 - 2831878798121100123219938274/11860299587555\ 587111571705, c_0011_0 - 1, c_0011_10 - 40338202749/9654432949*c_1001_1^19 + 127651663071/9654432949*c_1001_1^18 + 541575359830/9654432949*c_1001_1^17 - 2021139756480/9654432949*c_1001_1^16 - 2659117855460/9654432949*c_1001_1^15 + 13240080984901/9654432949*c_1001_1^14 + 4662423169275/9654432949*c_1001_1^13 - 45650084609520/9654432949*c_1001_1^12 + 3950086206823/9654432949*c_1001_1^11 + 88455268990632/9654432949*c_1001_1^10 - 22517566888829/9654432949*c_1001_1^9 - 101783223784981/9654432949*c_1001_1^8 + 24456503168932/9654432949*c_1001_1^7 + 73743306824100/9654432949*c_1001_1^6 - 9584467525378/9654432949*c_1001_1^5 - 31244269749848/9654432949*c_1001_1^4 + 507874951096/9654432949*c_1001_1^3 + 5762741931901/9654432949*c_1001_1^2 - 10318340368/1379204707*c_1001_1 - 204737339125/9654432949, c_0011_11 - 37281277162/9654432949*c_1001_1^19 + 124898724248/9654432949*c_1001_1^18 + 484197166616/9654432949*c_1001_1^17 - 1967776383513/9654432949*c_1001_1^16 - 2202517264618/9654432949*c_1001_1^15 + 12802737165381/9654432949*c_1001_1^14 + 2671240994465/9654432949*c_1001_1^13 - 43715270791330/9654432949*c_1001_1^12 + 9109845002547/9654432949*c_1001_1^11 + 83564717343194/9654432949*c_1001_1^10 - 30721792137081/9654432949*c_1001_1^9 - 94798559865717/9654432949*c_1001_1^8 + 32703783998764/9654432949*c_1001_1^7 + 68318951717087/9654432949*c_1001_1^6 - 14920212182422/9654432949*c_1001_1^5 - 29017116505337/9654432949*c_1001_1^4 + 2465146198092/9654432949*c_1001_1^3 + 5295874679185/9654432949*c_1001_1^2 - 48864738189/1379204707*c_1001_1 - 147304336131/9654432949, c_0011_6 + 19004770368/9654432949*c_1001_1^19 - 64936975548/9654432949*c_1001_1^18 - 249602979474/9654432949*c_1001_1^17 + 1032167414022/9654432949*c_1001_1^16 + 1165969177260/9654432949*c_1001_1^15 - 6800511218181/9654432949*c_1001_1^14 - 1638791769700/9654432949*c_1001_1^13 + 23676025091094/9654432949*c_1001_1^12 - 3696758352800/9654432949*c_1001_1^11 - 46711802720509/9654432949*c_1001_1^10 + 13712988021617/9654432949*c_1001_1^9 + 55445174836605/9654432949*c_1001_1^8 - 13851251123371/9654432949*c_1001_1^7 - 41854684363024/9654432949*c_1001_1^6 + 4584414428021/9654432949*c_1001_1^5 + 18456153274001/9654432949*c_1001_1^4 + 568835161310/9654432949*c_1001_1^3 - 3479561890237/9654432949*c_1001_1^2 - 24156146467/1379204707*c_1001_1 + 149688520710/9654432949, c_0011_9 + 29468932329/9654432949*c_1001_1^19 - 93984973708/9654432949*c_1001_1^18 - 396070208007/9654432949*c_1001_1^17 + 1492856751173/9654432949*c_1001_1^16 + 1947847205396/9654432949*c_1001_1^15 - 9823356123978/9654432949*c_1001_1^14 - 3428525282664/9654432949*c_1001_1^13 + 34101748469693/9654432949*c_1001_1^12 - 2853172202053/9654432949*c_1001_1^11 - 66817797918652/9654432949*c_1001_1^10 + 16426795650402/9654432949*c_1001_1^9 + 78184894218332/9654432949*c_1001_1^8 - 17599042160031/9654432949*c_1001_1^7 - 57832598086143/9654432949*c_1001_1^6 + 6186107914853/9654432949*c_1001_1^5 + 25130669666877/9654432949*c_1001_1^4 + 402911255156/9654432949*c_1001_1^3 - 4794143522330/9654432949*c_1001_1^2 - 24491846708/1379204707*c_1001_1 + 194376026095/9654432949, c_0101_0 - 4059786661/1379204707*c_1001_1^19 + 13873758536/1379204707*c_1001_1^18 + 52662075601/1379204707*c_1001_1^17 - 219631915852/1379204707*c_1001_1^16 - 238153798644/1379204707*c_1001_1^15 + 1438225449135/1379204707*c_1001_1^14 + 274300748102/1379204707*c_1001_1^13 - 4957103828045/1379204707*c_1001_1^12 + 1072274861909/1379204707*c_1001_1^11 + 9611622533393/1379204707*c_1001_1^10 - 3543163435809/1379204707*c_1001_1^9 - 11106835241870/1379204707*c_1001_1^8 + 3777442495606/1379204707*c_1001_1^7 + 8138950107351/1379204707*c_1001_1^6 - 1675393405783/1379204707*c_1001_1^5 - 3503461548061/1379204707*c_1001_1^4 + 231523975764/1379204707*c_1001_1^3 + 638299021482/1379204707*c_1001_1^2 - 34619496501/1379204707*c_1001_1 - 16833154309/1379204707, c_0101_1 - 30865560239/9654432949*c_1001_1^19 + 94161539119/9654432949*c_1001_1^18 + 422938072342/9654432949*c_1001_1^17 - 1496478820539/9654432949*c_1001_1^16 - 2168043707192/9654432949*c_1001_1^15 + 9853644641192/9654432949*c_1001_1^14 + 4424535623894/9654432949*c_1001_1^13 - 34222729333546/9654432949*c_1001_1^12 + 158110983410/9654432949*c_1001_1^11 + 66995404217479/9654432949*c_1001_1^10 - 11984646555752/9654432949*c_1001_1^9 - 77965518391321/9654432949*c_1001_1^8 + 13232499013255/9654432949*c_1001_1^7 + 56850566465610/9654432949*c_1001_1^6 - 3846473638393/9654432949*c_1001_1^5 - 24140667552010/9654432949*c_1001_1^4 - 887826344142/9654432949*c_1001_1^3 + 4489198044673/9654432949*c_1001_1^2 + 20690367471/1379204707*c_1001_1 - 178107027337/9654432949, c_0101_11 + 307407833/205413467*c_1001_1^19 - 951777577/205413467*c_1001_1^18 - 4195046374/205413467*c_1001_1^17 + 15141396702/205413467*c_1001_1^16 + 21365565112/205413467*c_1001_1^15 - 99884669900/205413467*c_1001_1^14 - 42977261786/205413467*c_1001_1^13 + 348206351877/205413467*c_1001_1^12 - 3321253349/205413467*c_1001_1^11 - 687134446220/205413467*c_1001_1^10 + 116527551327/205413467*c_1001_1^9 + 812476248903/205413467*c_1001_1^8 - 117645163008/205413467*c_1001_1^7 - 606316092029/205413467*c_1001_1^6 + 17870895305/205413467*c_1001_1^5 + 262629008447/205413467*c_1001_1^4 + 22606749205/205413467*c_1001_1^3 - 49163371589/205413467*c_1001_1^2 - 650340517/29344781*c_1001_1 + 2411645737/205413467, c_0101_6 - 21781451803/9654432949*c_1001_1^19 + 73956831096/9654432949*c_1001_1^18 + 283728504679/9654432949*c_1001_1^17 - 1171176060249/9654432949*c_1001_1^16 - 1294882282538/9654432949*c_1001_1^15 + 7670815832145/9654432949*c_1001_1^14 + 1569822314321/9654432949*c_1001_1^13 - 26433452895349/9654432949*c_1001_1^12 + 5482604257988/9654432949*c_1001_1^11 + 51177565082013/9654432949*c_1001_1^10 - 18680675482069/9654432949*c_1001_1^9 - 58858015503520/9654432949*c_1001_1^8 + 20194748242075/9654432949*c_1001_1^7 + 42749289909944/9654432949*c_1001_1^6 - 9208947889416/9654432949*c_1001_1^5 - 18247992892224/9654432949*c_1001_1^4 + 1494032160895/9654432949*c_1001_1^3 + 3306733293575/9654432949*c_1001_1^2 - 35054685841/1379204707*c_1001_1 - 77493877414/9654432949, c_0101_9 - 16807918243/9654432949*c_1001_1^19 + 59266185520/9654432949*c_1001_1^18 + 211912449257/9654432949*c_1001_1^17 - 933846043330/9654432949*c_1001_1^16 - 889349257021/9654432949*c_1001_1^15 + 6076412458604/9654432949*c_1001_1^14 + 504253189579/9654432949*c_1001_1^13 - 20755586366216/9654432949*c_1001_1^12 + 6608234657526/9654432949*c_1001_1^11 + 39743793002043/9654432949*c_1001_1^10 - 18846185679990/9654432949*c_1001_1^9 - 45377301773509/9654432949*c_1001_1^8 + 20373537365331/9654432949*c_1001_1^7 + 33289969428589/9654432949*c_1001_1^6 - 10199887487614/9654432949*c_1001_1^5 - 14665791763376/9654432949*c_1001_1^4 + 2137382149521/9654432949*c_1001_1^3 + 2830750493929/9654432949*c_1001_1^2 - 38725512535/1379204707*c_1001_1 - 80160247964/9654432949, c_0110_8 + 36459676846/9654432949*c_1001_1^19 - 109547202256/9654432949*c_1001_1^18 - 502335320845/9654432949*c_1001_1^17 + 1742138627913/9654432949*c_1001_1^16 + 2603188423335/9654432949*c_1001_1^15 - 11479575472331/9654432949*c_1001_1^14 - 5491968469607/9654432949*c_1001_1^13 + 39895926601530/9654432949*c_1001_1^12 + 668642718078/9654432949*c_1001_1^11 - 78102954045254/9654432949*c_1001_1^10 + 12704235617638/9654432949*c_1001_1^9 + 90688127377663/9654432949*c_1001_1^8 - 14334712586056/9654432949*c_1001_1^7 - 65701297295344/9654432949*c_1001_1^6 + 3969932500923/9654432949*c_1001_1^5 + 27605847500995/9654432949*c_1001_1^4 + 1072270922098/9654432949*c_1001_1^3 - 5037936270111/9654432949*c_1001_1^2 - 19114328631/1379204707*c_1001_1 + 188277890756/9654432949, c_1001_1^20 - 3*c_1001_1^19 - 14*c_1001_1^18 + 48*c_1001_1^17 + 75*c_1001_1^16 - 319*c_1001_1^15 - 175*c_1001_1^14 + 1123*c_1001_1^13 + 107*c_1001_1^12 - 2243*c_1001_1^11 + 159*c_1001_1^10 + 2675*c_1001_1^9 - 138*c_1001_1^8 - 1983*c_1001_1^7 - 115*c_1001_1^6 + 837*c_1001_1^5 + 143*c_1001_1^4 - 146*c_1001_1^3 - 27*c_1001_1^2 + 5*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.790 Total time: 2.000 seconds, Total memory usage: 32.09MB