Magma V2.19-8 Tue Aug 20 2013 17:56:25 on localhost [Seed = 3069641352] Type ? for help. Type -D to quit. Loading file "9_13__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_13 geometric_solution 9.13509404 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 1 0132 0132 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 -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 0 0 0.360263225175 0.467770915281 0 0 4 3 0132 1302 0132 0321 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.033459640440 1.341858752527 4 0 5 3 2103 0132 0132 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569287840806 0.614042245913 6 1 2 0 0132 0321 2031 0132 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 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.809546488119 0.598500513398 7 5 2 1 0132 0132 2103 0132 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 -1 0 1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.656775372484 1.160187838554 8 4 7 2 0132 0132 1023 0132 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 7 -6 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009317520902 0.559794613186 3 9 9 7 0132 0132 1302 2103 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 1 -7 6 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.481488947023 0.714825015276 4 8 5 6 0132 0132 1023 2103 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 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.192806502301 1.293255890764 5 7 9 9 0132 0132 0321 1023 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 1 0 0 -1 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351797532347 0.962330167092 6 6 8 8 2031 0132 0321 1023 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 0 1 7 0 -7 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.351797532347 0.962330167092 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_2']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_1001_8']), 'c_1001_8' : d['c_1001_8'], 's_2_8' : d['1'], 's_2_9' : 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_2_6' : d['1'], 's_2_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_8'], 'c_1100_8' : negation(d['c_1001_8']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0110_2']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0101_3'], 'c_1010_7' : d['c_1001_8'], 'c_1010_6' : negation(d['c_1001_8']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_5'], 'c_1010_8' : d['c_0101_5'], 's_3_1' : d['1'], 's_3_0' : negation(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'], '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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_4'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_3']), '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_0101_7' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : negation(d['c_0101_2']), 'c_0101_8' : d['c_0101_2'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_0110_2, c_1001_0, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 68202466143416622993988/7739951595277894125*c_1001_8^17 + 968062965320077338787532/23219854785833682375*c_1001_8^16 + 595279675971953005891507/7739951595277894125*c_1001_8^15 + 35582304795567319177087/1105707370753984875*c_1001_8^14 - 3272766505130724346398064/7739951595277894125*c_1001_8^13 - 6879225095330704994955029/4643970957166736475*c_1001_8^12 - 8020625405440400159047273/2579983865092631375*c_1001_8^11 - 6577724914219802926165241/1105707370753984875*c_1001_8^10 - 8195844561589064012321446/928794191433347295*c_1001_8^9 - 85154828263008350589768559/7739951595277894125*c_1001_8^8 - 246347022704802601909476101/23219854785833682375*c_1001_8^7 - 240589418765112507850824808/23219854785833682375*c_1001_8^6 - 196522428653120584032522242/23219854785833682375*c_1001_8^5 - 25672047867858547181015008/4643970957166736475*c_1001_8^4 - 58108450562666215255261637/23219854785833682375*c_1001_8^3 - 7394804213231095639922812/7739951595277894125*c_1001_8^2 - 6295474442340275879139578/23219854785833682375*c_1001_8 - 755759530735178028192692/23219854785833682375, c_0011_0 - 1, c_0011_3 + 1828100284190464/290702407334381*c_1001_8^17 + 8763250199477635/290702407334381*c_1001_8^16 + 16464102947825571/290702407334381*c_1001_8^15 + 7540274594614002/290702407334381*c_1001_8^14 - 87513393970844396/290702407334381*c_1001_8^13 - 312805939512863102/290702407334381*c_1001_8^12 - 662638489018996930/290702407334381*c_1001_8^11 - 1269923285033590781/290702407334381*c_1001_8^10 - 1898825362486242338/290702407334381*c_1001_8^9 - 2379763501983150610/290702407334381*c_1001_8^8 - 2319999879561494600/290702407334381*c_1001_8^7 - 2258283103700253743/290702407334381*c_1001_8^6 - 1864582865428087452/290702407334381*c_1001_8^5 - 1229706928015592977/290702407334381*c_1001_8^4 - 571558864744979212/290702407334381*c_1001_8^3 - 218069839074640701/290702407334381*c_1001_8^2 - 63942809302010287/290702407334381*c_1001_8 - 1170880193281474/41528915333483, c_0011_4 + 1828100284190464/290702407334381*c_1001_8^17 + 8763250199477635/290702407334381*c_1001_8^16 + 16464102947825571/290702407334381*c_1001_8^15 + 7540274594614002/290702407334381*c_1001_8^14 - 87513393970844396/290702407334381*c_1001_8^13 - 312805939512863102/290702407334381*c_1001_8^12 - 662638489018996930/290702407334381*c_1001_8^11 - 1269923285033590781/290702407334381*c_1001_8^10 - 1898825362486242338/290702407334381*c_1001_8^9 - 2379763501983150610/290702407334381*c_1001_8^8 - 2319999879561494600/290702407334381*c_1001_8^7 - 2258283103700253743/290702407334381*c_1001_8^6 - 1864582865428087452/290702407334381*c_1001_8^5 - 1229706928015592977/290702407334381*c_1001_8^4 - 571558864744979212/290702407334381*c_1001_8^3 - 218069839074640701/290702407334381*c_1001_8^2 - 63942809302010287/290702407334381*c_1001_8 - 1170880193281474/41528915333483, c_0101_1 + 110483867721277664/20639870920741051*c_1001_8^17 + 72141625007044922/2948552988677293*c_1001_8^16 + 886276277072500338/20639870920741051*c_1001_8^15 + 275192754132508665/20639870920741051*c_1001_8^14 - 5321369452820303116/20639870920741051*c_1001_8^13 - 17711834938716130376/20639870920741051*c_1001_8^12 - 36283552800933591554/20639870920741051*c_1001_8^11 - 69254703875095993579/20639870920741051*c_1001_8^10 - 100516983348546282289/20639870920741051*c_1001_8^9 - 123694682650191974547/20639870920741051*c_1001_8^8 - 115892502864565083819/20639870920741051*c_1001_8^7 - 114622936525124234456/20639870920741051*c_1001_8^6 - 90765415532721073409/20639870920741051*c_1001_8^5 - 57730430699863276384/20639870920741051*c_1001_8^4 - 24470379551391671661/20639870920741051*c_1001_8^3 - 9497666156102907278/20639870920741051*c_1001_8^2 - 2423886977454300045/20639870920741051*c_1001_8 - 217394486036413488/20639870920741051, c_0101_2 - 54759563157134573/20639870920741051*c_1001_8^17 - 259673990986878620/20639870920741051*c_1001_8^16 - 480499181131455943/20639870920741051*c_1001_8^15 - 204211563865725533/20639870920741051*c_1001_8^14 + 2626786224820908322/20639870920741051*c_1001_8^13 + 9233673336906544300/20639870920741051*c_1001_8^12 + 19407583267963052083/20639870920741051*c_1001_8^11 + 37146938571790121112/20639870920741051*c_1001_8^10 + 55177504303171714087/20639870920741051*c_1001_8^9 + 9834904581216072339/2948552988677293*c_1001_8^8 + 66513552660407723601/20639870920741051*c_1001_8^7 + 64905705547332006319/20639870920741051*c_1001_8^6 + 53105669130886683053/20639870920741051*c_1001_8^5 + 4959415173314946149/2948552988677293*c_1001_8^4 + 15766165791410202720/20639870920741051*c_1001_8^3 + 858482702887339126/2948552988677293*c_1001_8^2 + 237199504763147930/2948552988677293*c_1001_8 + 204862388766078586/20639870920741051, c_0101_3 - 115837031164152945/20639870920741051*c_1001_8^17 - 549182047002497232/20639870920741051*c_1001_8^16 - 1015832036480814948/20639870920741051*c_1001_8^15 - 430719350107529778/20639870920741051*c_1001_8^14 + 5557629817976063745/20639870920741051*c_1001_8^13 + 2789579874762633021/2948552988677293*c_1001_8^12 + 41032325785336871653/20639870920741051*c_1001_8^11 + 78527966964289684501/20639870920741051*c_1001_8^10 + 16659904252927593226/2948552988677293*c_1001_8^9 + 145478425522207980385/20639870920741051*c_1001_8^8 + 140485998427260396240/20639870920741051*c_1001_8^7 + 137092410242227474249/20639870920741051*c_1001_8^6 + 112127912176304788178/20639870920741051*c_1001_8^5 + 73278354447400082355/20639870920741051*c_1001_8^4 + 33252527831277843191/20639870920741051*c_1001_8^3 + 12674751204164720716/20639870920741051*c_1001_8^2 + 3558213727630336643/20639870920741051*c_1001_8 + 428302195177250200/20639870920741051, c_0101_5 - 25022443843882013/20639870920741051*c_1001_8^17 - 129281920556392118/20639870920741051*c_1001_8^16 - 266616858809161401/20639870920741051*c_1001_8^15 - 24584151610875823/2948552988677293*c_1001_8^14 + 1184287425064087776/20639870920741051*c_1001_8^13 + 4732580726516883460/20639870920741051*c_1001_8^12 + 10499448101301205677/20639870920741051*c_1001_8^11 + 2891704872990902564/2948552988677293*c_1001_8^10 + 31431471739280385551/20639870920741051*c_1001_8^9 + 40281169033293457777/20639870920741051*c_1001_8^8 + 41115498100638389382/20639870920741051*c_1001_8^7 + 5624166443802161474/2948552988677293*c_1001_8^6 + 34015750794039255601/20639870920741051*c_1001_8^5 + 23275956774954219037/20639870920741051*c_1001_8^4 + 11808421638958176558/20639870920741051*c_1001_8^3 + 4466758505917651662/20639870920741051*c_1001_8^2 + 1455113491900154118/20639870920741051*c_1001_8 + 222411248341503244/20639870920741051, c_0110_2 - 312465164013097255/20639870920741051*c_1001_8^17 - 1476491897719600823/20639870920741051*c_1001_8^16 - 2718007868289189820/20639870920741051*c_1001_8^15 - 1123261784475156474/20639870920741051*c_1001_8^14 + 15003292705462225433/20639870920741051*c_1001_8^13 + 52438008385767791308/20639870920741051*c_1001_8^12 + 109904888771870276800/20639870920741051*c_1001_8^11 + 210232397536856097846/20639870920741051*c_1001_8^10 + 311534200159904149517/20639870920741051*c_1001_8^9 + 388064976986364670633/20639870920741051*c_1001_8^8 + 373620956623496931375/20639870920741051*c_1001_8^7 + 364874884096387429511/20639870920741051*c_1001_8^6 + 297721580822816242973/20639870920741051*c_1001_8^5 + 194069478303338806667/20639870920741051*c_1001_8^4 + 87490012136616415054/20639870920741051*c_1001_8^3 + 33308627072348723093/20639870920741051*c_1001_8^2 + 9465166778839954641/20639870920741051*c_1001_8 + 161781506914096358/2948552988677293, c_1001_0 - 756672390009425420/20639870920741051*c_1001_8^17 - 3578499561281048514/20639870920741051*c_1001_8^16 - 6597171519420995843/20639870920741051*c_1001_8^15 - 2751084443382645280/20639870920741051*c_1001_8^14 + 36312277481908010313/20639870920741051*c_1001_8^13 + 127124958755834581945/20639870920741051*c_1001_8^12 + 266702305081912001416/20639870920741051*c_1001_8^11 + 510336182915264840472/20639870920741051*c_1001_8^10 + 756806981299232812723/20639870920741051*c_1001_8^9 + 943423420695826941434/20639870920741051*c_1001_8^8 + 909471878770779567339/20639870920741051*c_1001_8^7 + 888364838382889613933/20639870920741051*c_1001_8^6 + 725490611553326105941/20639870920741051*c_1001_8^5 + 473708172641400574117/20639870920741051*c_1001_8^4 + 214370185358410771117/20639870920741051*c_1001_8^3 + 81897636253914726285/20639870920741051*c_1001_8^2 + 23266967270251189510/20639870920741051*c_1001_8 + 399672039194251966/2948552988677293, c_1001_8^18 + 5*c_1001_8^17 + 10*c_1001_8^16 + 6*c_1001_8^15 - 47*c_1001_8^14 - 181*c_1001_8^13 - 398*c_1001_8^12 - 770*c_1001_8^11 - 1183*c_1001_8^10 - 1518*c_1001_8^9 - 1540*c_1001_8^8 - 1500*c_1001_8^7 - 1277*c_1001_8^6 - 886*c_1001_8^5 - 453*c_1001_8^4 - 185*c_1001_8^3 - 60*c_1001_8^2 - 12*c_1001_8 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB