Magma V2.19-8 Tue Aug 20 2013 16:14:13 on localhost [Seed = 1326371680] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s180 geometric_solution 4.27693029 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -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 -1 0 1 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.276558723778 0.134763529921 0 0 2 2 0132 2310 2310 0132 0 0 0 0 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 -1 1 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 2.147312723768 1.342084482543 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 -1 0 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.673513259963 0.576145144462 2 4 4 5 0132 0321 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 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.609156670916 0.591566666323 3 5 2 3 2031 1023 0132 0321 0 0 0 0 0 0 -1 1 -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 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.609156670916 0.591566666323 4 5 3 5 1023 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608845031461 0.258959739057 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 165022208847110751/4315523931812399*c_0110_5^16 + 1000365299004845874/4315523931812399*c_0110_5^15 + 150918564447129920/4315523931812399*c_0110_5^14 - 733154472864105094/4315523931812399*c_0110_5^13 - 6310796700404456510/4315523931812399*c_0110_5^12 - 7230266573103905118/4315523931812399*c_0110_5^11 + 3956089179417832452/4315523931812399*c_0110_5^10 - 9328419331158207948/4315523931812399*c_0110_5^9 + 28146858059266255412/4315523931812399*c_0110_5^8 + 1202778603492612183/4315523931812399*c_0110_5^7 + 21758538318321348176/4315523931812399*c_0110_5^6 + 12215962147518876715/4315523931812399*c_0110_5^5 + 3300659250456712878/4315523931812399*c_0110_5^4 + 5564987806198250657/4315523931812399*c_0110_5^3 + 21083618307297563/4315523931812399*c_0110_5^2 - 851187463431180274/4315523931812399*c_0110_5 + 163223314773896458/4315523931812399, c_0011_0 - 1, c_0011_2 + 1955606783260434/4315523931812399*c_0110_5^16 + 12842824323742252/4315523931812399*c_0110_5^15 + 8184275941177290/4315523931812399*c_0110_5^14 - 5447341150443110/4315523931812399*c_0110_5^13 - 79584704062893694/4315523931812399*c_0110_5^12 - 125191089515366119/4315523931812399*c_0110_5^11 - 10414300317293557/4315523931812399*c_0110_5^10 - 100104953467952658/4315523931812399*c_0110_5^9 + 291330899288576998/4315523931812399*c_0110_5^8 + 150698838812139298/4315523931812399*c_0110_5^7 + 338149062797419718/4315523931812399*c_0110_5^6 + 267213758390675018/4315523931812399*c_0110_5^5 + 156898789135791442/4315523931812399*c_0110_5^4 + 118780821132378815/4315523931812399*c_0110_5^3 + 33376632093012522/4315523931812399*c_0110_5^2 + 6094612253227223/4315523931812399*c_0110_5 + 1118674585745441/4315523931812399, c_0011_4 - 2513902023236594/4315523931812399*c_0110_5^16 - 16016589212344709/4315523931812399*c_0110_5^15 - 7751361602821079/4315523931812399*c_0110_5^14 + 5792370146575691/4315523931812399*c_0110_5^13 + 98035339578017327/4315523931812399*c_0110_5^12 + 144253818093629607/4315523931812399*c_0110_5^11 + 3207490395625646/4315523931812399*c_0110_5^10 + 160966265843377523/4315523931812399*c_0110_5^9 - 402875651108253643/4315523931812399*c_0110_5^8 - 122610393929533602/4315523931812399*c_0110_5^7 - 444864210466512344/4315523931812399*c_0110_5^6 - 327394728670516911/4315523931812399*c_0110_5^5 - 179926354308286120/4315523931812399*c_0110_5^4 - 166633416311663402/4315523931812399*c_0110_5^3 - 47536535755434681/4315523931812399*c_0110_5^2 - 8405663249796246/4315523931812399*c_0110_5 - 4765215521570942/4315523931812399, c_0101_0 - 2012787386861444/4315523931812399*c_0110_5^16 - 13326586082972577/4315523931812399*c_0110_5^15 - 8779986318868065/4315523931812399*c_0110_5^14 + 7234084849113336/4315523931812399*c_0110_5^13 + 81993264097880392/4315523931812399*c_0110_5^12 + 130883863126380355/4315523931812399*c_0110_5^11 + 4559155212873911/4315523931812399*c_0110_5^10 + 90969749673168016/4315523931812399*c_0110_5^9 - 278549601474337307/4315523931812399*c_0110_5^8 - 188087879065326532/4315523931812399*c_0110_5^7 - 294397322336278046/4315523931812399*c_0110_5^6 - 290269818554250280/4315523931812399*c_0110_5^5 - 158972715592383681/4315523931812399*c_0110_5^4 - 116561795082984421/4315523931812399*c_0110_5^3 - 52617893259410285/4315523931812399*c_0110_5^2 - 7341553462542722/4315523931812399*c_0110_5 - 1745560603555575/4315523931812399, c_0101_1 + 849028444454403/4315523931812399*c_0110_5^16 + 5485752032934921/4315523931812399*c_0110_5^15 + 2868616325829864/4315523931812399*c_0110_5^14 - 3214201495081535/4315523931812399*c_0110_5^13 - 33752709182559731/4315523931812399*c_0110_5^12 - 49966601945196614/4315523931812399*c_0110_5^11 + 3756761786629585/4315523931812399*c_0110_5^10 - 42743740112690475/4315523931812399*c_0110_5^9 + 123765291457116746/4315523931812399*c_0110_5^8 + 61193962574345093/4315523931812399*c_0110_5^7 + 123726037933089067/4315523931812399*c_0110_5^6 + 106130418552255971/4315523931812399*c_0110_5^5 + 58269754294721431/4315523931812399*c_0110_5^4 + 40255828632568795/4315523931812399*c_0110_5^3 + 11100311738590421/4315523931812399*c_0110_5^2 + 1890467606743293/4315523931812399*c_0110_5 - 2460261815563416/4315523931812399, c_0110_5^17 + 7*c_0110_5^16 + 7*c_0110_5^15 - c_0110_5^14 - 41*c_0110_5^13 - 81*c_0110_5^12 - 33*c_0110_5^11 - 58*c_0110_5^10 + 118*c_0110_5^9 + 146*c_0110_5^8 + 198*c_0110_5^7 + 226*c_0110_5^6 + 151*c_0110_5^5 + 106*c_0110_5^4 + 59*c_0110_5^3 + 17*c_0110_5^2 + 4*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB