Magma V2.19-8 Wed Aug 21 2013 00:58:29 on localhost [Seed = 223025036] Type ? for help. Type -D to quit. Loading file "L13n5568__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5568 geometric_solution 11.59056541 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 -1 0 0 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.651164645994 1.085480275103 0 5 4 6 0132 0132 0213 0132 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 0 0 0 0 0 0 0 0 8 -8 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.400559936042 0.458133137579 7 0 5 8 0132 0132 0132 0132 1 1 0 0 0 0 0 0 -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 -1 0 1 -8 0 0 8 0 0 0 0 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848723515408 0.576916611545 6 9 10 0 0132 0132 0132 0132 1 1 0 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 8 -7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433044900540 1.107449503558 10 1 0 9 0213 0213 0132 2103 1 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 0 0 0 0 0 0 0 0 0 0 0 -8 1 7 1 0 -1 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.406134250915 0.525777864969 11 1 10 2 0132 0132 0213 0132 1 1 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 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400559936042 0.458133137579 3 12 1 8 0132 0132 0132 1023 1 1 1 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 0 0 8 -8 0 0 1 -1 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.938434742049 0.643186448502 2 12 12 8 0132 3012 0321 1230 1 1 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 0 0 0 8 0 -8 0 -3 3 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.087887221568 1.083675550707 7 9 2 6 3012 0213 0132 1023 1 1 1 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 -1 1 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642535636451 0.367871731499 11 3 8 4 2103 0132 0213 2103 1 1 1 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 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366277869252 0.715460968345 4 5 11 3 0213 0213 0132 0132 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 0 0 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.406134250915 0.525777864969 5 12 9 10 0132 0321 2103 0132 1 1 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 1 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651164645994 1.085480275103 7 6 7 11 1230 0132 0321 0321 1 0 0 1 0 0 0 0 -1 0 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 0 0 -3 0 -1 4 1 0 0 -1 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442275746726 0.779522818564 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0110_8'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : negation(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_0011_8'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(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' : negation(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' : d['c_0101_3'], 'c_1100_8' : d['c_1001_3'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : negation(d['c_0110_9']), 'c_1100_7' : d['c_0110_8'], 'c_1100_6' : negation(d['c_1001_3']), 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : negation(d['c_0110_9']), 'c_1100_3' : negation(d['c_0110_9']), 'c_1100_2' : d['c_1001_3'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0110_9']), 'c_1100_10' : negation(d['c_0110_9']), 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : d['c_0110_8'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_10'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], 'c_1100_12' : negation(d['c_0011_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_0'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0101_3']})} 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_12, c_0011_8, c_0101_0, c_0101_12, c_0101_3, c_0110_8, c_0110_9, c_1001_0, c_1001_1, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 508794042873057912778241/205900293640322237632*c_1001_3^8 + 5410377315591276873734517/128687683525201398520*c_1001_3^7 - 12649168257104071700057633/64343841762600699260*c_1001_3^6 - 80777915072157055725668533/1029501468201611188160*c_1001_3^5 - 43207261146463912039750601/514750734100805594080*c_1001_3^4 - 36717714724640826038791017/1029501468201611188160*c_1001_3^3 - 11968246540549063092443287/1029501468201611188160*c_1001_3^2 - 2593155997376011536922833/514750734100805594080*c_1001_3 - 76746170831231321497847/79192420630893168320, c_0011_0 - 1, c_0011_10 + 10029773835786572/247476314471541151*c_1001_3^8 - 206894635636062248/247476314471541151*c_1001_3^7 + 1464651943941233281/247476314471541151*c_1001_3^6 - 3430030377793591021/247476314471541151*c_1001_3^5 + 3395155678846219878/247476314471541151*c_1001_3^4 - 421458442525227993/247476314471541151*c_1001_3^3 - 177390021900602091/247476314471541151*c_1001_3^2 + 37061089712945723/247476314471541151*c_1001_3 - 208869741760006271/247476314471541151, c_0011_12 + 260713023927050051/247476314471541151*c_1001_3^8 - 4357455897947522611/247476314471541151*c_1001_3^7 + 19423721241519235438/247476314471541151*c_1001_3^6 + 14251094710147360387/247476314471541151*c_1001_3^5 + 12583123398913381591/247476314471541151*c_1001_3^4 + 6721288142888129473/247476314471541151*c_1001_3^3 + 2150057641591146302/247476314471541151*c_1001_3^2 + 588597041185164791/247476314471541151*c_1001_3 + 189383184443106089/247476314471541151, c_0011_8 - 1, c_0101_0 - 1, c_0101_12 - 304332303012847445/247476314471541151*c_1001_3^8 + 5234454753308734101/247476314471541151*c_1001_3^7 - 25176918620107897813/247476314471541151*c_1001_3^6 - 5086308245889949526/247476314471541151*c_1001_3^5 - 9154970060518695680/247476314471541151*c_1001_3^4 - 961852444314300203/247476314471541151*c_1001_3^3 - 87558895827774941/247476314471541151*c_1001_3^2 - 268929200277701551/247476314471541151*c_1001_3 + 193633789109033124/247476314471541151, c_0101_3 - 341533193942907827/247476314471541151*c_1001_3^8 + 5849866884321784884/247476314471541151*c_1001_3^7 - 27811134686696471592/247476314471541151*c_1001_3^6 - 8134529369979172399/247476314471541151*c_1001_3^5 - 8634053776208743084/247476314471541151*c_1001_3^4 - 2086044199040413439/247476314471541151*c_1001_3^3 + 249425714727933860/247476314471541151*c_1001_3^2 - 273915927664878946/247476314471541151*c_1001_3 + 181066858084139303/247476314471541151, c_0110_8 + 340025549638992588/247476314471541151*c_1001_3^8 - 5698950611429540729/247476314471541151*c_1001_3^7 + 25586933773335843527/247476314471541151*c_1001_3^6 + 17594140579481388952/247476314471541151*c_1001_3^5 + 14674772658067498759/247476314471541151*c_1001_3^4 + 7469477969735186767/247476314471541151*c_1001_3^3 + 1647187227963315109/247476314471541151*c_1001_3^2 + 861921164763924755/247476314471541151*c_1001_3 + 83334534936661167/247476314471541151, c_0110_9 - 387464981205893899/247476314471541151*c_1001_3^8 + 6458460305363814924/247476314471541151*c_1001_3^7 - 28548013327397631766/247476314471541151*c_1001_3^6 - 22947995799485860083/247476314471541151*c_1001_3^5 - 17372169920250592176/247476314471541151*c_1001_3^4 - 10615910617422974495/247476314471541151*c_1001_3^3 - 3235430582232672563/247476314471541151*c_1001_3^2 - 1482250433593312124/247476314471541151*c_1001_3 - 261477283060709693/247476314471541151, c_1001_0 - 260713023927050051/247476314471541151*c_1001_3^8 + 4357455897947522611/247476314471541151*c_1001_3^7 - 19423721241519235438/247476314471541151*c_1001_3^6 - 14251094710147360387/247476314471541151*c_1001_3^5 - 12583123398913381591/247476314471541151*c_1001_3^4 - 6721288142888129473/247476314471541151*c_1001_3^3 - 2150057641591146302/247476314471541151*c_1001_3^2 - 588597041185164791/247476314471541151*c_1001_3 - 189383184443106089/247476314471541151, c_1001_1 - 198283829441871376/247476314471541151*c_1001_3^8 + 3336986720024796727/247476314471541151*c_1001_3^7 - 15173092876867945056/247476314471541151*c_1001_3^6 - 8855985028282645111/247476314471541151*c_1001_3^5 - 9400341248312487674/247476314471541151*c_1001_3^4 - 5793639430634504678/247476314471541151*c_1001_3^3 - 1979090984746686358/247476314471541151*c_1001_3^2 - 1132082792459364806/247476314471541151*c_1001_3 - 155496282271322833/247476314471541151, c_1001_10 - 198283829441871376/247476314471541151*c_1001_3^8 + 3336986720024796727/247476314471541151*c_1001_3^7 - 15173092876867945056/247476314471541151*c_1001_3^6 - 8855985028282645111/247476314471541151*c_1001_3^5 - 9400341248312487674/247476314471541151*c_1001_3^4 - 5793639430634504678/247476314471541151*c_1001_3^3 - 1979090984746686358/247476314471541151*c_1001_3^2 - 1132082792459364806/247476314471541151*c_1001_3 - 155496282271322833/247476314471541151, c_1001_3^9 - 837/49*c_1001_3^8 + 3960/49*c_1001_3^7 + 1201/49*c_1001_3^6 + 283/7*c_1001_3^5 + 803/49*c_1001_3^4 + 282/49*c_1001_3^3 + 187/49*c_1001_3^2 + 13/49*c_1001_3 + 13/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.440 seconds, Total memory usage: 32.09MB