Magma V2.19-8 Tue Aug 20 2013 23:48:53 on localhost [Seed = 2362107410] Type ? for help. Type -D to quit. Loading file "L12n1104__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1104 geometric_solution 10.87296698 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 0 1 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 -3 1 2 3 0 -3 0 -2 3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.003994465683 0.739559004570 0 5 2 6 0132 0132 1023 0132 1 1 1 0 0 0 0 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 0 0 0 -3 0 3 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.049223740156 1.284571528649 7 0 1 8 0132 0132 1023 0132 1 1 1 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 0 0 3 -3 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.088370090457 1.274126453870 9 8 6 0 0132 3012 3201 0132 1 1 1 1 0 0 0 0 -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 1 0 -1 -3 0 0 3 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.345533465272 1.670097168132 10 10 0 6 0132 1302 0132 3201 1 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 0 0 0 0 0 2 -2 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.738908322925 0.917049315737 7 1 9 11 1023 0132 0132 0132 1 1 0 1 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 1 -1 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.751000779057 0.851706018273 3 4 1 8 2310 2310 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.304173619094 0.600564733042 2 5 8 11 0132 1023 2310 2031 1 1 0 1 0 0 -1 1 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 -2 2 0 0 -1 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531559101491 0.493405612094 3 7 2 6 1230 3201 0132 1023 1 1 1 1 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 -2 2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383621292143 0.819383276584 3 10 11 5 0132 0213 1230 0132 1 1 1 1 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 3 0 -2 -1 2 -2 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531342861797 1.001012794025 4 11 9 4 0132 2031 0213 2031 1 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 0 0 0 0 0 0 0 0 0 2 -2 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.287182711358 1.008690556103 10 7 5 9 1302 1302 0132 3012 1 1 1 0 0 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 -1 0 1 -1 0 1 0 0 -2 0 2 1 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444615536795 0.386342252156 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : negation(d['c_0110_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_7']), 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0110_11']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_3']), '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' : 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' : negation(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_0110_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_11'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_11'], 'c_1100_10' : d['c_1001_5'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_1001_5']), 'c_1010_3' : negation(d['c_0101_7']), 'c_1010_2' : negation(d['c_0101_7']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0101_3']), 'c_1100_8' : negation(d['c_1100_1']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0011_8'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} 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_3, c_0011_6, c_0011_8, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_0110_11, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 6446700386558526855/379454652967610231*c_1100_1^10 - 172761082238500994839/1517818611870440924*c_1100_1^9 - 155939196106037768400/379454652967610231*c_1100_1^8 - 994641320377675083433/1517818611870440924*c_1100_1^7 + 26723271411166211785/758909305935220462*c_1100_1^6 + 678570043636717406397/758909305935220462*c_1100_1^5 - 81321451247120375535/758909305935220462*c_1100_1^4 - 1221347508459354037249/1517818611870440924*c_1100_1^3 - 195099086509894057921/1517818611870440924*c_1100_1^2 - 121400121015421265313/1517818611870440924*c_1100_1 - 17802310730278470922/379454652967610231, c_0011_0 - 1, c_0011_10 + 64554625213215/361136203307978*c_1100_1^10 + 419367029454043/361136203307978*c_1100_1^9 + 1478519087368913/361136203307978*c_1100_1^8 + 2185858356440239/361136203307978*c_1100_1^7 - 319869075545553/180568101653989*c_1100_1^6 - 1789691343708056/180568101653989*c_1100_1^5 + 583507150284201/361136203307978*c_1100_1^4 + 1529412543922153/180568101653989*c_1100_1^3 + 366679936559693/180568101653989*c_1100_1^2 - 26436009346675/361136203307978*c_1100_1 - 42623451541620/180568101653989, c_0011_3 - 709201507515/7370126598122*c_1100_1^10 - 3702788687593/7370126598122*c_1100_1^9 - 5244122127028/3685063299061*c_1100_1^8 - 3820401839771/7370126598122*c_1100_1^7 + 36389903961505/7370126598122*c_1100_1^6 + 15589200433387/3685063299061*c_1100_1^5 - 49623104599219/7370126598122*c_1100_1^4 - 11900792673064/3685063299061*c_1100_1^3 + 27973184995341/7370126598122*c_1100_1^2 + 5952039616456/3685063299061*c_1100_1 + 4110202241245/7370126598122, c_0011_6 + 1269571926975/51590886186854*c_1100_1^10 + 5015031264995/51590886186854*c_1100_1^9 + 5071150410575/25795443093427*c_1100_1^8 - 18848915537943/51590886186854*c_1100_1^7 - 81575514345747/51590886186854*c_1100_1^6 + 4235434568198/25795443093427*c_1100_1^5 + 143621168473221/51590886186854*c_1100_1^4 - 30447788703723/25795443093427*c_1100_1^3 - 69245796123097/51590886186854*c_1100_1^2 + 39508247040714/25795443093427*c_1100_1 - 26258121751461/51590886186854, c_0011_8 - 1, c_0101_1 - 65000851207035/361136203307978*c_1100_1^10 - 217435927174471/180568101653989*c_1100_1^9 - 1579989375393269/361136203307978*c_1100_1^8 - 1280642755819241/180568101653989*c_1100_1^7 - 33790816792046/180568101653989*c_1100_1^6 + 1578043027186709/180568101653989*c_1100_1^5 - 201629810484807/361136203307978*c_1100_1^4 - 2736770599920289/361136203307978*c_1100_1^3 - 1026841617205881/361136203307978*c_1100_1^2 - 367061837484472/180568101653989*c_1100_1 - 52406210583651/180568101653989, c_0101_2 + 5365131348715/361136203307978*c_1100_1^10 + 16120007296444/180568101653989*c_1100_1^9 + 47440549172096/180568101653989*c_1100_1^8 + 25040061742462/180568101653989*c_1100_1^7 - 397802231697743/361136203307978*c_1100_1^6 - 327555496878016/180568101653989*c_1100_1^5 + 281358523742767/361136203307978*c_1100_1^4 + 889127332250113/361136203307978*c_1100_1^3 - 76104758511870/180568101653989*c_1100_1^2 - 859795399104713/361136203307978*c_1100_1 - 114571349952537/361136203307978, c_0101_3 - 5087872669645/51590886186854*c_1100_1^10 - 40810746178539/51590886186854*c_1100_1^9 - 165849500755531/51590886186854*c_1100_1^8 - 346309420710661/51590886186854*c_1100_1^7 - 103777478285721/25795443093427*c_1100_1^6 + 163103957546966/25795443093427*c_1100_1^5 + 278363398733451/51590886186854*c_1100_1^4 - 175687160729295/25795443093427*c_1100_1^3 - 160379868925275/25795443093427*c_1100_1^2 - 65375451182417/51590886186854*c_1100_1 - 13688641502555/25795443093427, c_0101_7 + 5886040224905/25795443093427*c_1100_1^10 + 40425466756981/25795443093427*c_1100_1^9 + 295594575117157/51590886186854*c_1100_1^8 + 243769150596219/25795443093427*c_1100_1^7 + 2033290721915/51590886186854*c_1100_1^6 - 345214240321012/25795443093427*c_1100_1^5 - 5472744813145/25795443093427*c_1100_1^4 + 320602176315702/25795443093427*c_1100_1^3 + 127148254674813/51590886186854*c_1100_1^2 + 30676464752123/51590886186854*c_1100_1 + 34809689859835/51590886186854, c_0110_11 + 2648485374035/25795443093427*c_1100_1^10 + 37088461505219/51590886186854*c_1100_1^9 + 142945584164905/51590886186854*c_1100_1^8 + 266223732843813/51590886186854*c_1100_1^7 + 124941842873735/51590886186854*c_1100_1^6 - 103257035237996/25795443093427*c_1100_1^5 - 79893768585068/25795443093427*c_1100_1^4 + 118584353281563/51590886186854*c_1100_1^3 + 134439628475399/25795443093427*c_1100_1^2 + 63960563453215/25795443093427*c_1100_1 + 42912957573109/51590886186854, c_1001_5 - 107415773760/3685063299061*c_1100_1^10 - 237865414342/3685063299061*c_1100_1^9 + 420664120065/3685063299061*c_1100_1^8 + 6415758387535/3685063299061*c_1100_1^7 + 15268605567339/3685063299061*c_1100_1^6 + 1094818503444/3685063299061*c_1100_1^5 - 23021554576100/3685063299061*c_1100_1^4 - 976167474010/3685063299061*c_1100_1^3 + 16144742315360/3685063299061*c_1100_1^2 + 6967167919130/3685063299061*c_1100_1 - 130543035290/3685063299061, c_1100_1^11 + 36/5*c_1100_1^10 + 138/5*c_1100_1^9 + 51*c_1100_1^8 + 91/5*c_1100_1^7 - 53*c_1100_1^6 - 113/5*c_1100_1^5 + 239/5*c_1100_1^4 + 178/5*c_1100_1^3 + 64/5*c_1100_1^2 + 28/5*c_1100_1 + 11/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB