Magma V2.19-8 Tue Aug 20 2013 16:14:21 on localhost [Seed = 1393741682] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s341 geometric_solution 4.54097251 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 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.503105993420 0.181559076621 2 0 2 0 0132 2310 1023 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 1 -1 -1 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 0.738269999262 0.453086813249 1 3 1 4 0132 0132 1023 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 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 2.039979013785 0.786356272656 4 2 5 4 3012 0132 0132 3120 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 -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.667059206361 0.640664459880 3 5 2 3 3120 0132 0132 1230 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 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.667059206361 0.640664459880 5 4 5 3 2310 0132 3201 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 -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.839074357630 0.438831455443 ==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_4'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), '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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_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_4, c_0101_0, c_0101_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 3112029138053498694550387299/689733645193891099192201639*c_1001_3^1\ 2 + 25767656777311007248924065852/689733645193891099192201639*c_100\ 1_3^11 - 1013389059774938803877104556/689733645193891099192201639*c\ _1001_3^10 + 436141571961517607244202794568/68973364519389109919220\ 1639*c_1001_3^9 - 887626091561822874169899968664/689733645193891099\ 192201639*c_1001_3^8 + 2641716037669621125072617760583/689733645193\ 891099192201639*c_1001_3^7 - 3841230725533047862898013118266/689733\ 645193891099192201639*c_1001_3^6 + 454577783137233037451619421945/689733645193891099192201639*c_1001_3\ ^5 - 1252871408825002915932322260145/689733645193891099192201639*c_\ 1001_3^4 - 3521322170476554683809568350206/689733645193891099192201\ 639*c_1001_3^3 + 6560620933968422837055705588427/689733645193891099\ 192201639*c_1001_3^2 - 5506227350261105600464966572/146751839402955\ 55301961737*c_1001_3 - 487038026365072808251787335835/6897336451938\ 91099192201639, c_0011_0 - 1, c_0011_1 - 347932219511894728339500/14675183940295555301961737*c_1001_3\ ^12 + 2876847190080824117683146/14675183940295555301961737*c_1001_3\ ^11 - 71543625822768840024618/14675183940295555301961737*c_1001_3^1\ 0 + 48698652634496663594095299/14675183940295555301961737*c_1001_3^\ 9 - 98718446864178707330139828/14675183940295555301961737*c_1001_3^\ 8 + 292964219504533945474253896/14675183940295555301961737*c_1001_3\ ^7 - 424850033955799501432913122/14675183940295555301961737*c_1001_\ 3^6 + 39090368438694328713316943/14675183940295555301961737*c_1001_\ 3^5 - 135542552521655949549414475/14675183940295555301961737*c_1001\ _3^4 - 392704669498323355627272750/14675183940295555301961737*c_100\ 1_3^3 + 727694114549982994160632288/14675183940295555301961737*c_10\ 01_3^2 + 521580258111347021538900/14675183940295555301961737*c_1001\ _3 - 62668671040584833311365200/14675183940295555301961737, c_0011_4 - 136997066876318501800315/14675183940295555301961737*c_1001_3\ ^12 + 1138860254675114756536981/14675183940295555301961737*c_1001_3\ ^11 - 77510839353136990516206/14675183940295555301961737*c_1001_3^1\ 0 + 19163559920387421971034812/14675183940295555301961737*c_1001_3^\ 9 - 39705518002609386703767618/14675183940295555301961737*c_1001_3^\ 8 + 116934281441718945280441313/14675183940295555301961737*c_1001_3\ ^7 - 171641827572711657880060109/14675183940295555301961737*c_1001_\ 3^6 + 21531826463294023060317620/14675183940295555301961737*c_1001_\ 3^5 - 49770947763937674714968359/14675183940295555301961737*c_1001_\ 3^4 - 153776197745253370698233950/14675183940295555301961737*c_1001\ _3^3 + 299035482821975248606725706/14675183940295555301961737*c_100\ 1_3^2 - 7477217825083500684701350/14675183940295555301961737*c_1001\ _3 - 34324415089950601018883819/14675183940295555301961737, c_0101_0 - 159998811771821163740703/14675183940295555301961737*c_1001_3\ ^12 + 1327965998624442047800407/14675183940295555301961737*c_1001_3\ ^11 - 67702043193587314831911/14675183940295555301961737*c_1001_3^1\ 0 + 22337734595831640028634411/14675183940295555301961737*c_1001_3^\ 9 - 46098571283141154248617934/14675183940295555301961737*c_1001_3^\ 8 + 135285240637081964850254430/14675183940295555301961737*c_1001_3\ ^7 - 197335208222375862279153839/14675183940295555301961737*c_1001_\ 3^6 + 19883607279679497023308367/14675183940295555301961737*c_1001_\ 3^5 - 54366953271935223896870131/14675183940295555301961737*c_1001_\ 3^4 - 173201025676679684221239837/14675183940295555301961737*c_1001\ _3^3 + 338414344203909356467447896/14675183940295555301961737*c_100\ 1_3^2 - 1722053835013040085591602/14675183940295555301961737*c_1001\ _3 - 43301042843509717107910710/14675183940295555301961737, c_0101_3 + 166656083234228698086023/14675183940295555301961737*c_1001_3\ ^12 - 1355572322448252823375475/14675183940295555301961737*c_1001_3\ ^11 - 139642357819238494198926/14675183940295555301961737*c_1001_3^\ 10 - 23402415256944971854079746/14675183940295555301961737*c_1001_3\ ^9 + 44049415609815444481940674/14675183940295555301961737*c_1001_3\ ^8 - 135594446882875346561285782/14675183940295555301961737*c_1001_\ 3^7 + 185832613635748109879162964/14675183940295555301961737*c_1001\ _3^6 + 1419331287504688040671748/14675183940295555301961737*c_1001_\ 3^5 + 63405402842682149806443338/14675183940295555301961737*c_1001_\ 3^4 + 207011166299333824233856002/14675183940295555301961737*c_1001\ _3^3 - 325331712177404963585687050/14675183940295555301961737*c_100\ 1_3^2 - 19604202689376838131686470/14675183940295555301961737*c_100\ 1_3 + 28395788660503592530177544/14675183940295555301961737, c_1001_3^13 - 8*c_1001_3^12 - 2*c_1001_3^11 - 140*c_1001_3^10 + 246*c_1001_3^9 - 768*c_1001_3^8 + 995*c_1001_3^7 + 205*c_1001_3^6 + 355*c_1001_3^5 + 1243*c_1001_3^4 - 1795*c_1001_3^3 - 517*c_1001_3^2 + 191*c_1001_3 + 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB