Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 4256981302] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1592 geometric_solution 5.36174948 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 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 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.181859316801 0.772135933906 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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.818023729465 1.249901628206 1 3 0 4 1230 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.818023729465 1.249901628206 1 3 3 2 0132 3201 2310 3201 0 0 0 0 0 0 0 0 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 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.590482498241 0.560314614549 2 5 5 1 3201 0132 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 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.292164408455 0.284272185696 6 4 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.426102693783 0.789554564596 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.711933451395 0.208686416022 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_2_6' : d['1'], 's_1_6' : 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' : d['1'], 's_0_6' : 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_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), '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_6' : 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_0011_1']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_4']), '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_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 6235802497404961051484114726/35449477367076013365266439*c_0101_6^16 + 7232185207674203920766758012/35449477367076013365266439*c_0101_6^\ 15 + 88544328145500966595553557231/35449477367076013365266439*c_010\ 1_6^14 - 310041083465337975162229602215/35449477367076013365266439*\ c_0101_6^13 + 1348499864865107264699666433073/354494773670760133652\ 66439*c_0101_6^12 - 1067620693065436237787729338805/354494773670760\ 13365266439*c_0101_6^11 - 69017211181027729140780228997/35449477367\ 076013365266439*c_0101_6^10 - 1362027079484199450949612332845/11816\ 492455692004455088813*c_0101_6^9 + 8252028545201083456512600287380/35449477367076013365266439*c_0101_6\ ^8 - 5849747111074023326280367838642/35449477367076013365266439*c_0\ 101_6^7 - 4403692633538539363713301905920/3544947736707601336526643\ 9*c_0101_6^6 + 3185939349952529481727084360170/11816492455692004455\ 088813*c_0101_6^5 - 2944059146049271741364584931408/354494773670760\ 13365266439*c_0101_6^4 - 45721542238819428254296187619/107422658688\ 1091314098983*c_0101_6^3 + 218380395169214651591817857354/118164924\ 55692004455088813*c_0101_6^2 + 76876075754539620145170439525/354494\ 77367076013365266439*c_0101_6 - 2870723860717811019932087732/322267\ 9760643273942296949, c_0011_0 - 1, c_0011_1 - 38411838115100978714699/1074226586881091314098983*c_0101_6^1\ 6 - 18793819713318372124352/1074226586881091314098983*c_0101_6^15 - 513179798709675041066665/1074226586881091314098983*c_0101_6^14 + 2278652819240182427716043/1074226586881091314098983*c_0101_6^13 - 9553692060118714267131467/1074226586881091314098983*c_0101_6^12 + 12031809932014838159666919/1074226586881091314098983*c_0101_6^11 - 3499047409867349503782719/1074226586881091314098983*c_0101_6^10 + 24582012554512339092137479/1074226586881091314098983*c_0101_6^9 - 67873362126092735319187587/1074226586881091314098983*c_0101_6^8 + 68482147028508525867213895/1074226586881091314098983*c_0101_6^7 + 6163750844683553191628768/1074226586881091314098983*c_0101_6^6 - 78125643364511963921936243/1074226586881091314098983*c_0101_6^5 + 55647524620469162141844083/1074226586881091314098983*c_0101_6^4 - 571267500652732795587936/1074226586881091314098983*c_0101_6^3 - 10320021508779048920690161/1074226586881091314098983*c_0101_6^2 + 626660900159644153809444/1074226586881091314098983*c_0101_6 - 186561492198652639694110/1074226586881091314098983, c_0011_4 + 3066252539329927611988474/1074226586881091314098983*c_0101_6\ ^16 + 3779461522847184720501618/1074226586881091314098983*c_0101_6^\ 15 + 43849950868884994175231917/1074226586881091314098983*c_0101_6^\ 14 - 149200104934857839029145511/1074226586881091314098983*c_0101_6\ ^13 + 652745395200998683838313656/1074226586881091314098983*c_0101_\ 6^12 - 478979839834360543602435756/1074226586881091314098983*c_0101\ _6^11 - 61973197601920025212221687/1074226586881091314098983*c_0101\ _6^10 - 2015948302601695976057365375/1074226586881091314098983*c_01\ 01_6^9 + 3906941901859040076968805217/1074226586881091314098983*c_0\ 101_6^8 - 2615896318209410245475064860/1074226586881091314098983*c_\ 0101_6^7 - 2320389880452046032143759335/1074226586881091314098983*c\ _0101_6^6 + 4522479177485756114515103149/1074226586881091314098983*\ c_0101_6^5 - 1161187860481590695065372889/1074226586881091314098983\ *c_0101_6^4 - 782577831482240089089161981/1074226586881091314098983\ *c_0101_6^3 + 276328623532697670349272418/1074226586881091314098983\ *c_0101_6^2 + 41240063803196410996004184/1074226586881091314098983*\ c_0101_6 - 12301031565652548022332519/1074226586881091314098983, c_0101_0 - 3321553403535921604230527/1074226586881091314098983*c_0101_6\ ^16 - 3770252963106291872842567/1074226586881091314098983*c_0101_6^\ 15 - 47187435655146792352160060/1074226586881091314098983*c_0101_6^\ 14 + 166157797887389980075007991/1074226586881091314098983*c_0101_6\ ^13 - 724093790342597954328676009/1074226586881091314098983*c_0101_\ 6^12 + 592062626691534666796236460/1074226586881091314098983*c_0101\ _6^11 - 2518225340069821236963988/1074226586881091314098983*c_0101_\ 6^10 + 2193500646198390498899932457/1074226586881091314098983*c_010\ 1_6^9 - 4449701497041163819054511924/1074226586881091314098983*c_01\ 01_6^8 + 3304170930059474613654127656/1074226586881091314098983*c_0\ 101_6^7 + 2122245140901344121208631276/1074226586881091314098983*c_\ 0101_6^6 - 5043108676665896781831141992/1074226586881091314098983*c\ _0101_6^5 + 1770235935941946712260960324/1074226586881091314098983*\ c_0101_6^4 + 606074633693201797630522600/1074226586881091314098983*\ c_0101_6^3 - 317090222128241100967477085/1074226586881091314098983*\ c_0101_6^2 - 19564441106545206386857879/1074226586881091314098983*c\ _0101_6 + 10239895145071226290093680/1074226586881091314098983, c_0101_1 - 3131112995043272096878577/1074226586881091314098983*c_0101_6\ ^16 - 3745515130610350647716772/1074226586881091314098983*c_0101_6^\ 15 - 44724999954914353253938079/1074226586881091314098983*c_0101_6^\ 14 + 153870063603966935930535487/1074226586881091314098983*c_0101_6\ ^13 - 673379219253860031859489208/1074226586881091314098983*c_0101_\ 6^12 + 517505742730071707689762665/1074226586881091314098983*c_0101\ _6^11 + 26798981158585727174336625/1074226586881091314098983*c_0101\ _6^10 + 2069419013738383399070416614/1074226586881091314098983*c_01\ 01_6^9 - 4065536329533689356477851699/1074226586881091314098983*c_0\ 101_6^8 + 2875611432087469757720136336/1074226586881091314098983*c_\ 0101_6^7 + 2164542899013796634487101718/1074226586881091314098983*c\ _0101_6^6 - 4624312752936197504484798289/1074226586881091314098983*\ c_0101_6^5 + 1407863463028465148133236157/1074226586881091314098983\ *c_0101_6^4 + 642854069071735487771453956/1074226586881091314098983\ *c_0101_6^3 - 273595954323263733142375016/1074226586881091314098983\ *c_0101_6^2 - 25897910228705434721397176/1074226586881091314098983*\ c_0101_6 + 9811812907017229233657135/1074226586881091314098983, c_0101_5 + 2609331253895423645040449/1074226586881091314098983*c_0101_6\ ^16 + 3444323282131108981812490/1074226586881091314098983*c_0101_6^\ 15 + 37551112584046615413517546/1074226586881091314098983*c_0101_6^\ 14 - 123735576392789481160754203/1074226586881091314098983*c_0101_6\ ^13 + 543758269074783221939908649/1074226586881091314098983*c_0101_\ 6^12 - 356458365646649391744913638/1074226586881091314098983*c_0101\ _6^11 - 99329238251690644340534300/1074226586881091314098983*c_0101\ _6^10 - 1707391848097858350270758036/1074226586881091314098983*c_01\ 01_6^9 + 3171411887089673841690243233/1074226586881091314098983*c_0\ 101_6^8 - 1904981430604492238058999312/1074226586881091314098983*c_\ 0101_6^7 - 2244578871671479149054326124/1074226586881091314098983*c\ _0101_6^6 + 3748374833306977630245458320/1074226586881091314098983*\ c_0101_6^5 - 643363382157662014216984055/1074226586881091314098983*\ c_0101_6^4 - 834793078448019597542209890/1074226586881091314098983*\ c_0101_6^3 + 230315525511138199540550703/1074226586881091314098983*\ c_0101_6^2 + 53218621927030740015388961/1074226586881091314098983*c\ _0101_6 - 12996185657109443118302138/1074226586881091314098983, c_0101_6^17 + c_0101_6^16 + 14*c_0101_6^15 - 52*c_0101_6^14 + 224*c_0101_6^13 - 205*c_0101_6^12 + 13*c_0101_6^11 - 650*c_0101_6^10 + 1427*c_0101_6^9 - 1140*c_0101_6^8 - 578*c_0101_6^7 + 1666*c_0101_6^6 - 714*c_0101_6^5 - 189*c_0101_6^4 + 158*c_0101_6^3 - 6*c_0101_6^2 - 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB