Magma V2.19-8 Wed Aug 21 2013 01:03:33 on localhost [Seed = 2614985641] Type ? for help. Type -D to quit. Loading file "L14n20391__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n20391 geometric_solution 11.37352243 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 0 1 0 1 2 -3 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 -1 1 -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.539115504274 1.622037119208 0 3 5 4 0132 0213 0132 0213 0 1 1 0 0 0 -1 1 0 0 -1 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 0 0 0 1 0 -5 4 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.926653200274 1.016323888226 6 0 5 7 0132 0132 2310 0132 0 1 1 0 0 -1 1 0 1 0 -1 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 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.236332044755 0.673465537769 7 8 1 0 1230 0132 0213 0132 0 1 1 0 0 2 0 -2 0 0 0 0 0 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 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.364453039133 0.420506831017 9 8 0 1 0132 2310 0132 0213 0 1 1 0 0 -2 3 -1 0 0 0 0 0 1 0 -1 2 -2 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 4 0 -4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.480652139452 0.957416714246 10 2 11 1 0132 3201 0132 0132 0 1 0 1 0 -1 0 1 0 0 -1 1 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 -5 5 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247129228047 0.379704327161 2 7 11 10 0132 1302 2103 2031 1 1 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 0 0 0 0 0 0 0 0 1 0 -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.742128868207 0.461145427140 9 3 2 6 2031 3012 0132 2031 0 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 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.278194780398 1.783198982167 12 3 12 4 0132 0132 3012 3201 0 1 0 1 0 -2 0 2 1 0 0 -1 -2 0 0 2 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 0 0 -4 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.097849550754 0.884694042489 4 12 7 11 0132 1230 1302 1302 1 1 0 1 0 0 0 0 0 0 0 0 -2 2 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 0.285738130723 1.143040698270 5 6 11 12 0132 1302 2310 1023 1 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 0 0 0 0 0 4 -4 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.007519370397 0.905339343430 6 10 9 5 2103 3201 2031 0132 0 1 1 1 0 0 0 0 -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 0 0 0 -4 0 -1 5 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923763949035 1.651947303647 8 8 9 10 0132 1230 3012 1023 1 1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 2 0 -2 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 -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.565059267762 0.554125498979 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_1']), 'c_1001_10' : d['c_0101_2'], 'c_1001_12' : d['c_0011_4'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0101_5'], 'c_1010_11' : negation(d['c_0101_2']), 'c_1010_10' : d['c_0101_5'], '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_1'], '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_12' : 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_1100_8' : negation(d['c_0011_4']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_1010_1'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : d['c_1010_1'], 'c_1100_3' : d['c_1010_1'], 'c_1100_2' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_12']), 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : d['c_1010_1'], 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_1001_1'], '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'], 'c_1100_12' : negation(d['c_0011_11']), '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_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_7'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : d['c_0101_5'], '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_0101_1'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : d['c_0101_2']})} 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_0011_4, c_0011_7, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_5, c_1001_1, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 636277612683349/18804094219571*c_1010_1^10 - 13206443843517199/18804094219571*c_1010_1^9 + 57155305710287768/18804094219571*c_1010_1^8 - 116967663271167766/18804094219571*c_1010_1^7 + 180785101003389042/18804094219571*c_1010_1^6 - 242316022902381128/18804094219571*c_1010_1^5 + 209760200386505005/18804094219571*c_1010_1^4 - 122385599481451298/18804094219571*c_1010_1^3 + 58326995894644707/18804094219571*c_1010_1^2 - 13547932306526281/18804094219571*c_1010_1 - 2266414025388289/18804094219571, c_0011_0 - 1, c_0011_10 + 9699682983/31392477829*c_1010_1^10 - 200955541628/31392477829*c_1010_1^9 + 864438118459/31392477829*c_1010_1^8 - 1767247961146/31392477829*c_1010_1^7 + 2774617851938/31392477829*c_1010_1^6 - 3794757997109/31392477829*c_1010_1^5 + 3381762113871/31392477829*c_1010_1^4 - 2175402747530/31392477829*c_1010_1^3 + 1239906332978/31392477829*c_1010_1^2 - 376222806577/31392477829*c_1010_1 + 25739818058/31392477829, c_0011_11 - 41694517532/156962389145*c_1010_1^10 + 176983581956/31392477829*c_1010_1^9 - 830571274288/31392477829*c_1010_1^8 + 9469085257886/156962389145*c_1010_1^7 - 15657289529454/156962389145*c_1010_1^6 + 21937665225163/156962389145*c_1010_1^5 - 4405084121123/31392477829*c_1010_1^4 + 15514192288966/156962389145*c_1010_1^3 - 8664887574708/156962389145*c_1010_1^2 + 3381257294722/156962389145*c_1010_1 - 407372190657/156962389145, c_0011_12 + 2121616730/31392477829*c_1010_1^10 - 43727813025/31392477829*c_1010_1^9 + 184685366861/31392477829*c_1010_1^8 - 372911826546/31392477829*c_1010_1^7 + 594998748638/31392477829*c_1010_1^6 - 823653082174/31392477829*c_1010_1^5 + 730087072996/31392477829*c_1010_1^4 - 508671360725/31392477829*c_1010_1^3 + 304902416384/31392477829*c_1010_1^2 - 77527405634/31392477829*c_1010_1 + 19578313492/31392477829, c_0011_4 + 2153349016/31392477829*c_1010_1^10 - 46987959989/31392477829*c_1010_1^9 + 239540241817/31392477829*c_1010_1^8 - 572428685880/31392477829*c_1010_1^7 + 930998298769/31392477829*c_1010_1^6 - 1324787748465/31392477829*c_1010_1^5 + 1383544065552/31392477829*c_1010_1^4 - 924140340968/31392477829*c_1010_1^3 + 554877336020/31392477829*c_1010_1^2 - 208761396016/31392477829*c_1010_1 - 8971374885/31392477829, c_0011_7 - 1, c_0101_1 - 1713000029/31392477829*c_1010_1^10 + 35890839555/31392477829*c_1010_1^9 - 162165792890/31392477829*c_1010_1^8 + 371294823978/31392477829*c_1010_1^7 - 645648965990/31392477829*c_1010_1^6 + 919110196378/31392477829*c_1010_1^5 - 952431922835/31392477829*c_1010_1^4 + 771586007132/31392477829*c_1010_1^3 - 459542549279/31392477829*c_1010_1^2 + 208482629512/31392477829*c_1010_1 - 42813022009/31392477829, c_0101_11 - 55422482996/156962389145*c_1010_1^10 + 231596756879/31392477829*c_1010_1^9 - 1027829105547/31392477829*c_1010_1^8 + 10923266548353/156962389145*c_1010_1^7 - 17476115500532/156962389145*c_1010_1^6 + 24230268483524/156962389145*c_1010_1^5 - 4550902877138/31392477829*c_1010_1^4 + 15292311761073/156962389145*c_1010_1^3 - 8855111152249/156962389145*c_1010_1^2 + 3109173917976/156962389145*c_1010_1 - 261886049386/156962389145, c_0101_12 - 1377639479/31392477829*c_1010_1^10 + 27428800401/31392477829*c_1010_1^9 - 101310095621/31392477829*c_1010_1^8 + 183331930854/31392477829*c_1010_1^7 - 305040084758/31392477829*c_1010_1^6 + 411710083071/31392477829*c_1010_1^5 - 333146148661/31392477829*c_1010_1^4 + 275576821238/31392477829*c_1010_1^3 - 143300939931/31392477829*c_1010_1^2 + 49389296705/31392477829*c_1010_1 - 19169696791/31392477829, c_0101_2 + 8656408235/31392477829*c_1010_1^10 - 180582768754/31392477829*c_1010_1^9 + 797136813391/31392477829*c_1010_1^8 - 1687449100789/31392477829*c_1010_1^7 + 2709075542880/31392477829*c_1010_1^6 - 3757353256484/31392477829*c_1010_1^5 + 3494423493949/31392477829*c_1010_1^4 - 2351049807600/31392477829*c_1010_1^3 + 1347660665079/31392477829*c_1010_1^2 - 425553413888/31392477829*c_1010_1 + 35945329886/31392477829, c_0101_5 + 19056542057/156962389145*c_1010_1^10 - 79757156723/31392477829*c_1010_1^9 + 356733902750/31392477829*c_1010_1^8 - 3884342921296/156962389145*c_1010_1^7 + 6373684461754/156962389145*c_1010_1^6 - 8877421475013/156962389145*c_1010_1^5 + 1729460639423/31392477829*c_1010_1^4 - 6186693668646/156962389145*c_1010_1^3 + 3470748217328/156962389145*c_1010_1^2 - 1449383816702/156962389145*c_1010_1 + 70048151587/156962389145, c_1001_1 + 1295478425/31392477829*c_1010_1^10 - 26859590536/31392477829*c_1010_1^9 + 116300913567/31392477829*c_1010_1^8 - 246560886984/31392477829*c_1010_1^7 + 408762267332/31392477829*c_1010_1^6 - 569309992450/31392477829*c_1010_1^5 + 542868146281/31392477829*c_1010_1^4 - 406223364949/31392477829*c_1010_1^3 + 223308567268/31392477829*c_1010_1^2 - 71646318366/31392477829*c_1010_1 + 17456696762/31392477829, c_1010_1^11 - 21*c_1010_1^10 + 95*c_1010_1^9 - 208*c_1010_1^8 + 340*c_1010_1^7 - 476*c_1010_1^6 + 464*c_1010_1^5 - 328*c_1010_1^4 + 192*c_1010_1^3 - 75*c_1010_1^2 + 12*c_1010_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.360 Total time: 0.570 seconds, Total memory usage: 32.09MB