Magma V2.19-8 Tue Aug 20 2013 16:14:46 on localhost [Seed = 2277907426] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s748 geometric_solution 5.28039670 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462565315388 0.268118737551 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919249233529 0.669837105298 1 4 3 5 0132 0132 3012 0132 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 -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 1.046387170743 0.986548545919 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.046387170743 0.986548545919 4 2 3 4 3201 0132 1023 2310 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 1 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 0 0 0 0.064769962980 0.833571903391 5 5 2 3 1302 2031 0132 2310 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 -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.701229875770 0.813253775973 ==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_0011_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1183993051129576340440372385/63697841049246865367676707*c_0101_3^16 - 1137123789469460298902024362/9099691578463837909668101*c_0101_3^1\ 5 + 29405877641190858253740292186/63697841049246865367676707*c_0101\ _3^14 + 17746328623606373012007792839/9099691578463837909668101*c_0\ 101_3^13 + 75150972380565167151388015458/63697841049246865367676707\ *c_0101_3^12 - 64287487354485642015326972436/6369784104924686536767\ 6707*c_0101_3^11 + 340367215864507640216927820345/63697841049246865\ 367676707*c_0101_3^10 + 224639476590364233203679863652/636978410492\ 46865367676707*c_0101_3^9 - 610354374669824645188089104542/63697841\ 049246865367676707*c_0101_3^8 + 483723878957648794203416075799/6369\ 7841049246865367676707*c_0101_3^7 + 867211098802280065896446848378/63697841049246865367676707*c_0101_3^\ 6 - 1375242974293975212808066142096/63697841049246865367676707*c_01\ 01_3^5 - 1437214310158195529203853693795/63697841049246865367676707\ *c_0101_3^4 + 251894893187774533299282789369/6369784104924686536767\ 6707*c_0101_3^3 + 389384191479681459079285974708/636978410492468653\ 67676707*c_0101_3^2 - 416860259119958532743972380/90996915784638379\ 09668101*c_0101_3 - 20211264229714282026280339099/63697841049246865\ 367676707, c_0011_0 - 1, c_0011_1 - 3124700450857485723045599/9099691578463837909668101*c_0101_3\ ^16 - 19073129121907172805557978/9099691578463837909668101*c_0101_3\ ^15 + 89131548453177220620433656/9099691578463837909668101*c_0101_3\ ^14 + 271193119559187376533916339/9099691578463837909668101*c_0101_\ 3^13 + 39703163945206290557449022/9099691578463837909668101*c_0101_\ 3^12 - 176475383937197376814583661/9099691578463837909668101*c_0101\ _3^11 + 994223736362243036323151715/9099691578463837909668101*c_010\ 1_3^10 - 38416396835204763002967709/9099691578463837909668101*c_010\ 1_3^9 - 1490405135432176720276612407/9099691578463837909668101*c_01\ 01_3^8 + 2124541194557986162889186391/9099691578463837909668101*c_0\ 101_3^7 + 863049841866227349910050286/9099691578463837909668101*c_0\ 101_3^6 - 3895705763675976905691883262/9099691578463837909668101*c_\ 0101_3^5 - 1467561096515252065655465920/9099691578463837909668101*c\ _0101_3^4 + 1221474490072846417598401210/9099691578463837909668101*\ c_0101_3^3 + 371128765579013645048272268/9099691578463837909668101*\ c_0101_3^2 - 86662838723859978134734843/9099691578463837909668101*c\ _0101_3 - 15313043929460672055692967/9099691578463837909668101, c_0011_3 - 2696495656660153293027279/9099691578463837909668101*c_0101_3\ ^16 - 17150640962234566717404592/9099691578463837909668101*c_0101_3\ ^15 + 72911636165499292263936590/9099691578463837909668101*c_0101_3\ ^14 + 254901498461154690561730951/9099691578463837909668101*c_0101_\ 3^13 + 87355589157063171949527605/9099691578463837909668101*c_0101_\ 3^12 - 157031974407116517261912972/9099691578463837909668101*c_0101\ _3^11 + 824981033596154165193675826/9099691578463837909668101*c_010\ 1_3^10 + 193103313785616635146775759/9099691578463837909668101*c_01\ 01_3^9 - 1366023255512149160355818012/9099691578463837909668101*c_0\ 101_3^8 + 1557515161481673406412151825/9099691578463837909668101*c_\ 0101_3^7 + 1268570756825864914391155256/9099691578463837909668101*c\ _0101_3^6 - 3346105168280109171351664475/9099691578463837909668101*\ c_0101_3^5 - 2053862384482925023425086808/9099691578463837909668101\ *c_0101_3^4 + 917922576226848373789603986/9099691578463837909668101\ *c_0101_3^3 + 568712189861167705691115905/9099691578463837909668101\ *c_0101_3^2 - 41590722079714626480143435/9099691578463837909668101*\ c_0101_3 - 35973888328053756400630046/9099691578463837909668101, c_0011_5 + 1675693453195940711725504/9099691578463837909668101*c_0101_3\ ^16 + 11243745455887817199242936/9099691578463837909668101*c_0101_3\ ^15 - 41841030295849449698250608/9099691578463837909668101*c_0101_3\ ^14 - 175644861261248592924499820/9099691578463837909668101*c_0101_\ 3^13 - 101426095403301094682721925/9099691578463837909668101*c_0101\ _3^12 + 95626071709607711609404024/9099691578463837909668101*c_0101\ _3^11 - 485847644445109657122116219/9099691578463837909668101*c_010\ 1_3^10 - 310822728552399396047967956/9099691578463837909668101*c_01\ 01_3^9 + 892046240878853685253977360/9099691578463837909668101*c_01\ 01_3^8 - 728634584016393668123859978/9099691578463837909668101*c_01\ 01_3^7 - 1210163779322734771088731580/9099691578463837909668101*c_0\ 101_3^6 + 2010314785241513293181243826/9099691578463837909668101*c_\ 0101_3^5 + 1954645792172890344630916994/9099691578463837909668101*c\ _0101_3^4 - 399418639567175073478295042/9099691578463837909668101*c\ _0101_3^3 - 545445368714713998507204523/9099691578463837909668101*c\ _0101_3^2 + 4424034322883472608225726/9099691578463837909668101*c_0\ 101_3 + 33555772777768659780817905/9099691578463837909668101, c_0101_0 - 2716394341662315021169823/9099691578463837909668101*c_0101_3\ ^16 - 17319093294865019350405882/9099691578463837909668101*c_0101_3\ ^15 + 73127439952249742555700500/9099691578463837909668101*c_0101_3\ ^14 + 257636111604593881902916095/9099691578463837909668101*c_0101_\ 3^13 + 93816053544763190469597772/9099691578463837909668101*c_0101_\ 3^12 - 154329244769485224567966779/9099691578463837909668101*c_0101\ _3^11 + 827688642972943050713715971/9099691578463837909668101*c_010\ 1_3^10 + 209701874263388157064977413/9099691578463837909668101*c_01\ 01_3^9 - 1355671131178058512649779855/9099691578463837909668101*c_0\ 101_3^8 + 1526461316909169935860988371/9099691578463837909668101*c_\ 0101_3^7 + 1314405769150130713483892881/9099691578463837909668101*c\ _0101_3^6 - 3317748595625245061367419861/9099691578463837909668101*\ c_0101_3^5 - 2162541874971164894067996378/9099691578463837909668101\ *c_0101_3^4 + 902396144792759873430977708/9099691578463837909668101\ *c_0101_3^3 + 579457641018090092024296132/9099691578463837909668101\ *c_0101_3^2 - 48529962286275844626864962/9099691578463837909668101*\ c_0101_3 - 29104888998286644003292782/9099691578463837909668101, c_0101_3^17 + 7*c_0101_3^16 - 23*c_0101_3^15 - 112*c_0101_3^14 - 92*c_0101_3^13 + 40*c_0101_3^12 - 269*c_0101_3^11 - 270*c_0101_3^10 + 470*c_0101_3^9 - 255*c_0101_3^8 - 858*c_0101_3^7 + 962*c_0101_3^6 + 1565*c_0101_3^5 + 100*c_0101_3^4 - 439*c_0101_3^3 - 98*c_0101_3^2 + 27*c_0101_3 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB