Magma V2.19-8 Tue Aug 20 2013 16:14:43 on localhost [Seed = 2766485688] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s692 geometric_solution 5.19524039 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 0 -1 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.186608002677 0.673015639085 3 2 4 0 0132 3012 0132 0132 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 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.712741654407 1.230177886289 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 -1 1 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 -1 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 0.712741654407 1.230177886289 1 3 3 2 0132 3201 2310 3201 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 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630191690663 0.673254889422 5 2 5 1 0132 2310 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0.319961404053 1.174465093007 4 4 5 5 0132 3201 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459190308740 0.132974812203 ==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' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : d['1'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1027194233945638590548691/1707305152330481269082*c_0101_4^16 - 2697993533375437269068600/853652576165240634541*c_0101_4^15 + 7527753305227898958167395/1707305152330481269082*c_0101_4^14 + 2161890218490872001590125/155209559302771024462*c_0101_4^13 + 83338633144300180404811365/1707305152330481269082*c_0101_4^12 - 71682036026788589299229009/853652576165240634541*c_0101_4^11 - 710597948571159078032644247/1707305152330481269082*c_0101_4^10 + 35543346225224205264757502/77604779651385512231*c_0101_4^9 + 475192456914769703394570515/853652576165240634541*c_0101_4^8 - 321951927703040839538382005/853652576165240634541*c_0101_4^7 - 361398824224673411909353663/853652576165240634541*c_0101_4^6 - 15839588447978476447366901/155209559302771024462*c_0101_4^5 + 288520130386802508727325791/1707305152330481269082*c_0101_4^4 + 83988506109616585776445037/853652576165240634541*c_0101_4^3 + 12055776530677035278137153/853652576165240634541*c_0101_4^2 - 757671254527724826119025/77604779651385512231*c_0101_4 - 4137091513478801725286451/1707305152330481269082, c_0011_0 - 1, c_0011_1 + 32686254057093816265/77604779651385512231*c_0101_4^16 - 347125875320793926545/155209559302771024462*c_0101_4^15 + 250640334279033190659/77604779651385512231*c_0101_4^14 + 1471904231135963101309/155209559302771024462*c_0101_4^13 + 2619252374595619496716/77604779651385512231*c_0101_4^12 - 4681485881720469449914/77604779651385512231*c_0101_4^11 - 44499903468419152223945/155209559302771024462*c_0101_4^10 + 51947797354412503377099/155209559302771024462*c_0101_4^9 + 55844034234310272749625/155209559302771024462*c_0101_4^8 - 21048021556833667892220/77604779651385512231*c_0101_4^7 - 20697210565048464327821/77604779651385512231*c_0101_4^6 - 11227457176964659858725/155209559302771024462*c_0101_4^5 + 8948629787086410107061/77604779651385512231*c_0101_4^4 + 10129215790751268552995/155209559302771024462*c_0101_4^3 + 621014770842270952245/77604779651385512231*c_0101_4^2 - 509588525957969586907/77604779651385512231*c_0101_4 - 317610838069737638555/155209559302771024462, c_0011_4 - 2789977528399047096111/155209559302771024462*c_0101_4^16 + 14627167254593210463229/155209559302771024462*c_0101_4^15 - 10144632945398667963379/77604779651385512231*c_0101_4^14 - 32416613528773581061110/77604779651385512231*c_0101_4^13 - 226970747400118370079413/155209559302771024462*c_0101_4^12 + 193563996021496063938285/77604779651385512231*c_0101_4^11 + 1934409415639133157529473/155209559302771024462*c_0101_4^10 - 1052429483565845676778129/77604779651385512231*c_0101_4^9 - 2606228434306495734952219/155209559302771024462*c_0101_4^8 + 864311464867699612471903/77604779651385512231*c_0101_4^7 + 1982902132935777055146407/155209559302771024462*c_0101_4^6 + 486988018911511013916279/155209559302771024462*c_0101_4^5 - 779748083060988474125909/155209559302771024462*c_0101_4^4 - 231418918903890578141006/77604779651385512231*c_0101_4^3 - 34130415174539988839730/77604779651385512231*c_0101_4^2 + 22317745378361096276391/77604779651385512231*c_0101_4 + 5667901889028774639575/77604779651385512231, c_0101_0 - 3696220907942042048533/155209559302771024462*c_0101_4^16 + 19400995832659475442335/155209559302771024462*c_0101_4^15 - 27002400725209603169827/155209559302771024462*c_0101_4^14 - 42851441849095451505627/77604779651385512231*c_0101_4^13 - 300215957777896342722695/155209559302771024462*c_0101_4^12 + 514636570687879500834723/155209559302771024462*c_0101_4^11 + 1279672596890629930373710/77604779651385512231*c_0101_4^10 - 2803380600876248186030947/155209559302771024462*c_0101_4^9 - 3433157525237723740380215/155209559302771024462*c_0101_4^8 + 2305851558306578471490731/155209559302771024462*c_0101_4^7 + 2610705021804867522459693/155209559302771024462*c_0101_4^6 + 317374754626094053927146/77604779651385512231*c_0101_4^5 - 1035010688165423518123539/155209559302771024462*c_0101_4^4 - 303942418166071895880310/77604779651385512231*c_0101_4^3 - 88760441357948579885857/155209559302771024462*c_0101_4^2 + 29563082032160396443713/77604779651385512231*c_0101_4 + 14958410820261306336231/155209559302771024462, c_0101_1 - 1524032944698021716164/77604779651385512231*c_0101_4^16 + 7990823234590702524864/77604779651385512231*c_0101_4^15 - 11085606222113611142644/77604779651385512231*c_0101_4^14 - 70830585154081598696129/155209559302771024462*c_0101_4^13 - 247926426620263040924313/155209559302771024462*c_0101_4^12 + 211557525438705318567652/77604779651385512231*c_0101_4^11 + 2113366336855202593828343/155209559302771024462*c_0101_4^10 - 1150354845930655918964369/77604779651385512231*c_0101_4^9 - 2847970463570138803103775/155209559302771024462*c_0101_4^8 + 945286130013259332886069/77604779651385512231*c_0101_4^7 + 1084267459209088932858156/77604779651385512231*c_0101_4^6 + 265106631695765867716261/77604779651385512231*c_0101_4^5 - 854028044838027034387859/155209559302771024462*c_0101_4^4 - 252799999749025925596244/77604779651385512231*c_0101_4^3 - 74151406024516351484591/155209559302771024462*c_0101_4^2 + 24486567769075320865234/77604779651385512231*c_0101_4 + 12404195773897822579043/155209559302771024462, c_0101_4^17 - 5*c_0101_4^16 + 6*c_0101_4^15 + 25*c_0101_4^14 + 87*c_0101_4^13 - 119*c_0101_4^12 - 727*c_0101_4^11 + 586*c_0101_4^10 + 1117*c_0101_4^9 - 392*c_0101_4^8 - 861*c_0101_4^7 - 348*c_0101_4^6 + 237*c_0101_4^5 + 234*c_0101_4^4 + 65*c_0101_4^3 - 10*c_0101_4^2 - 8*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB