Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 2850567568] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s072 geometric_solution 3.61238399 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751777150009 0.031900672899 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.567937292189 0.093280482220 3 1 3 1 0132 0132 2310 1023 0 0 0 0 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 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.913972549223 1.375177458161 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 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 -1 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 0 0 0 0.024977723283 1.955441975372 5 5 3 5 1302 2031 0132 3012 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 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.491137144669 0.502404437063 4 4 4 3 1302 2031 1230 0132 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 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.491137144669 0.502404437063 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['c_0110_4'], 'c_1100_4' : d['c_0110_4'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), '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_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 555470041656815764/5893121086184191*c_0110_4^14 - 8157295221549652635/5893121086184191*c_0110_4^13 + 1987655030223758412/159273542869843*c_0110_4^12 - 247519424778690594871/5893121086184191*c_0110_4^11 + 226668285270569753859/5893121086184191*c_0110_4^10 + 263695171514216733674/5893121086184191*c_0110_4^9 - 802463902619162768707/5893121086184191*c_0110_4^8 + 488442238657711387071/5893121086184191*c_0110_4^7 + 267810979624462032622/5893121086184191*c_0110_4^6 - 451634381844160347329/5893121086184191*c_0110_4^5 + 181349684828686280983/5893121086184191*c_0110_4^4 + 33666882393398259221/5893121086184191*c_0110_4^3 - 61003837745887857593/5893121086184191*c_0110_4^2 + 20161941343972335896/5893121086184191*c_0110_4 - 2003875762290296015/5893121086184191, c_0011_0 - 1, c_0011_4 + 19357174253465336/5893121086184191*c_0110_4^14 - 280038512731995614/5893121086184191*c_0110_4^13 + 2503385165639853003/5893121086184191*c_0110_4^12 - 8102670979455189920/5893121086184191*c_0110_4^11 + 6339138019645507802/5893121086184191*c_0110_4^10 + 9954824916618317694/5893121086184191*c_0110_4^9 - 25514750257835424678/5893121086184191*c_0110_4^8 + 12451256632979628648/5893121086184191*c_0110_4^7 + 10261213457578472289/5893121086184191*c_0110_4^6 - 13219520183246344453/5893121086184191*c_0110_4^5 + 4458850012541946554/5893121086184191*c_0110_4^4 + 1451544797195673994/5893121086184191*c_0110_4^3 - 1738124097481193443/5893121086184191*c_0110_4^2 + 489598555412385734/5893121086184191*c_0110_4 - 40261521420317546/5893121086184191, c_0101_0 + 2064919275769546/5893121086184191*c_0110_4^14 - 30899613937666082/5893121086184191*c_0110_4^13 + 280253923600072473/5893121086184191*c_0110_4^12 - 974470988395960744/5893121086184191*c_0110_4^11 + 909232822149782364/5893121086184191*c_0110_4^10 + 1274072657365361082/5893121086184191*c_0110_4^9 - 3387273656836713513/5893121086184191*c_0110_4^8 + 1699138390321265908/5893121086184191*c_0110_4^7 + 1916573636180481345/5893121086184191*c_0110_4^6 - 1898863217150217491/5893121086184191*c_0110_4^5 + 252479772492730484/5893121086184191*c_0110_4^4 + 370269588541556471/5893121086184191*c_0110_4^3 - 267932624377696674/5893121086184191*c_0110_4^2 + 5893493586985295/5893121086184191*c_0110_4 + 14147429647402605/5893121086184191, c_0101_1 + 32142908461772385/5893121086184191*c_0110_4^14 - 477081083204699229/5893121086184191*c_0110_4^13 + 4327040723290869464/5893121086184191*c_0110_4^12 - 14952571298893723312/5893121086184191*c_0110_4^11 + 15023987537198545300/5893121086184191*c_0110_4^10 + 14213239266588313937/5893121086184191*c_0110_4^9 - 49311725070880957180/5893121086184191*c_0110_4^8 + 33966203286920897271/5893121086184191*c_0110_4^7 + 13995024152648296851/5893121086184191*c_0110_4^6 - 29129498633285243714/5893121086184191*c_0110_4^5 + 13011867737491831590/5893121086184191*c_0110_4^4 + 1469510564043720100/5893121086184191*c_0110_4^3 - 4017885766882782382/5893121086184191*c_0110_4^2 + 1472833709759298452/5893121086184191*c_0110_4 - 163563489817455051/5893121086184191, c_0101_3 - 6012395784905476/5893121086184191*c_0110_4^14 + 2355151938582405/159273542869843*c_0110_4^13 - 779942947077708303/5893121086184191*c_0110_4^12 + 68601879070282727/159273542869843*c_0110_4^11 - 2043024713714185245/5893121086184191*c_0110_4^10 - 3028081141695967599/5893121086184191*c_0110_4^9 + 8035905696997540694/5893121086184191*c_0110_4^8 - 4129593526773570917/5893121086184191*c_0110_4^7 - 3083561982610690828/5893121086184191*c_0110_4^6 + 4282657661164521290/5893121086184191*c_0110_4^5 - 1524984384786657362/5893121086184191*c_0110_4^4 - 458237496370514313/5893121086184191*c_0110_4^3 + 565931133335496741/5893121086184191*c_0110_4^2 - 168242620499115438/5893121086184191*c_0110_4 + 11948578883814729/5893121086184191, c_0110_4^15 - 15*c_0110_4^14 + 137*c_0110_4^13 - 487*c_0110_4^12 + 546*c_0110_4^11 + 353*c_0110_4^10 - 1597*c_0110_4^9 + 1323*c_0110_4^8 + 225*c_0110_4^7 - 968*c_0110_4^6 + 571*c_0110_4^5 - 34*c_0110_4^4 - 130*c_0110_4^3 + 69*c_0110_4^2 - 14*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB