Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 3398129154] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1591 geometric_solution 5.36166352 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 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.625323470138 0.123595773344 2 0 2 0 0132 2310 1023 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 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.835628474982 0.180598525511 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 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 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 0.938521304622 0.520546600134 5 2 6 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972964364212 0.987972886924 3 6 2 5 3012 1023 0132 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 1 -1 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.972964364212 0.987972886924 3 5 4 5 0132 2310 0132 3201 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.038459685441 0.983740878006 4 6 6 3 1023 1230 3012 0132 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 -1 1 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 1.038459685441 0.983740878006 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : negation(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' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['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_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), '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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 1030305276692749921073477/1269604934276306759917*c_0101_6^18 - 3842864090360276309694169/1269604934276306759917*c_0101_6^17 + 1030145841893822695854017/1269604934276306759917*c_0101_6^16 + 33219325528616542630270628/1269604934276306759917*c_0101_6^15 - 43563787216515234097019276/1269604934276306759917*c_0101_6^14 - 93944018661774797704775597/1269604934276306759917*c_0101_6^13 + 68059250543833802505412220/1269604934276306759917*c_0101_6^12 + 224752257679977851771946914/1269604934276306759917*c_0101_6^11 + 378535534816944565510123744/1269604934276306759917*c_0101_6^10 + 302907984079595711108597493/1269604934276306759917*c_0101_6^9 + 92949015679520207034942502/1269604934276306759917*c_0101_6^8 - 67451512511415963963076287/1269604934276306759917*c_0101_6^7 - 240113531395072662154204293/1269604934276306759917*c_0101_6^6 - 271620407830369802427446438/1269604934276306759917*c_0101_6^5 - 204975806809690960165408417/1269604934276306759917*c_0101_6^4 - 102798430896160705682162751/1269604934276306759917*c_0101_6^3 - 10726835484126328585382272/1269604934276306759917*c_0101_6^2 + 8796831955324007297192512/1269604934276306759917*c_0101_6 + 3345232438342313230423767/1269604934276306759917, c_0011_0 - 1, c_0011_1 + 109890991308925563750/1269604934276306759917*c_0101_6^18 - 368395515446849925091/1269604934276306759917*c_0101_6^17 - 50102680119591425334/1269604934276306759917*c_0101_6^16 + 3600418863990046965589/1269604934276306759917*c_0101_6^15 - 3302505918837822909637/1269604934276306759917*c_0101_6^14 - 11937877622216261250114/1269604934276306759917*c_0101_6^13 + 3578769660838841829730/1269604934276306759917*c_0101_6^12 + 27243957820489210100516/1269604934276306759917*c_0101_6^11 + 49578731235374044555533/1269604934276306759917*c_0101_6^10 + 46525119324045533913093/1269604934276306759917*c_0101_6^9 + 18695862472869583492365/1269604934276306759917*c_0101_6^8 - 7184472797235050159020/1269604934276306759917*c_0101_6^7 - 30024199516490869215093/1269604934276306759917*c_0101_6^6 - 37471001751357530795372/1269604934276306759917*c_0101_6^5 - 31013743219086919771764/1269604934276306759917*c_0101_6^4 - 18019404631730476578315/1269604934276306759917*c_0101_6^3 - 2949842799160169256265/1269604934276306759917*c_0101_6^2 + 1555070699116354422862/1269604934276306759917*c_0101_6 + 1097620388073403191577/1269604934276306759917, c_0011_4 - 40132351493654095263/1269604934276306759917*c_0101_3*c_0101_\ 6^18 - 108073727752050255467/1269604934276306759917*c_0101_3*c_0101\ _6^17 + 947843951123146679754/1269604934276306759917*c_0101_3*c_010\ 1_6^16 - 1634789412707735329276/1269604934276306759917*c_0101_3*c_0\ 101_6^15 - 6664612516903391185738/1269604934276306759917*c_0101_3*c\ _0101_6^14 + 15515664151807243119244/1269604934276306759917*c_0101_\ 3*c_0101_6^13 + 20141893048034672862266/1269604934276306759917*c_01\ 01_3*c_0101_6^12 - 29383177598123385925011/1269604934276306759917*c\ _0101_3*c_0101_6^11 - 69307924646377338421999/126960493427630675991\ 7*c_0101_3*c_0101_6^10 - 99334370837505219447471/126960493427630675\ 9917*c_0101_3*c_0101_6^9 - 68436238848224343892509/1269604934276306\ 759917*c_0101_3*c_0101_6^8 - 7905905225035745494902/126960493427630\ 6759917*c_0101_3*c_0101_6^7 + 28993588091697310021321/1269604934276\ 306759917*c_0101_3*c_0101_6^6 + 68848331397758501579084/12696049342\ 76306759917*c_0101_3*c_0101_6^5 + 69741864304970530930370/126960493\ 4276306759917*c_0101_3*c_0101_6^4 + 45411101218458003632467/1269604934276306759917*c_0101_3*c_0101_6^3 + 21765629328705946299895/1269604934276306759917*c_0101_3*c_0101_6^2 - 1528006054975036812310/1269604934276306759917*c_0101_3*c_0101_6 - 2429116803137555991667/1269604934276306759917*c_0101_3, c_0101_0 - 1259356980011952674583/1269604934276306759917*c_0101_6^18 + 4776966377857890990796/1269604934276306759917*c_0101_6^17 - 1676195202060244875192/1269604934276306759917*c_0101_6^16 - 40050503583723373285864/1269604934276306759917*c_0101_6^15 + 55622870727830684460457/1269604934276306759917*c_0101_6^14 + 107520967627111596820502/1269604934276306759917*c_0101_6^13 - 84469861441592251169287/1269604934276306759917*c_0101_6^12 - 258712804850330727725536/1269604934276306759917*c_0101_6^11 - 457338306981382732727700/1269604934276306759917*c_0101_6^10 - 368426840216288582017533/1269604934276306759917*c_0101_6^9 - 122852598564178529624151/1269604934276306759917*c_0101_6^8 + 72399900555657914911430/1269604934276306759917*c_0101_6^7 + 288635486591235387458805/1269604934276306759917*c_0101_6^6 + 325445428202918497636432/1269604934276306759917*c_0101_6^5 + 253828035312812403921198/1269604934276306759917*c_0101_6^4 + 131454234721947351519619/1269604934276306759917*c_0101_6^3 + 18265251617731922596779/1269604934276306759917*c_0101_6^2 - 8929004058864906009651/1269604934276306759917*c_0101_6 - 4940857012513723998186/1269604934276306759917, c_0101_1 - 225475174687958577031/1269604934276306759917*c_0101_6^18 + 760209865660583982750/1269604934276306759917*c_0101_6^17 + 103636968550545138780/1269604934276306759917*c_0101_6^16 - 7447560518192811873626/1269604934276306759917*c_0101_6^15 + 6932190579994876950684/1269604934276306759917*c_0101_6^14 + 24861000891022296988828/1269604934276306759917*c_0101_6^13 - 8418969891653198619011/1269604934276306759917*c_0101_6^12 - 57383006378756525006670/1269604934276306759917*c_0101_6^11 - 99767388881086810193467/1269604934276306759917*c_0101_6^10 - 88457811127771994967536/1269604934276306759917*c_0101_6^9 - 31221968902433088644394/1269604934276306759917*c_0101_6^8 + 15810342224140554418865/1269604934276306759917*c_0101_6^7 + 59448473024239505391937/1269604934276306759917*c_0101_6^6 + 74292098896880514636045/1269604934276306759917*c_0101_6^5 + 58392271465699497703166/1269604934276306759917*c_0101_6^4 + 32115122420790534081527/1269604934276306759917*c_0101_6^3 + 4782096736062865767679/1269604934276306759917*c_0101_6^2 - 2843690905066925417636/1269604934276306759917*c_0101_6 - 486538012490744358423/1269604934276306759917, c_0101_3^2 - 4951310306218622651022/92681160202170393473941*c_0101_6^18 + 16023297784657112188411/92681160202170393473941*c_0101_6^17 + 1452234485635379765451/92681160202170393473941*c_0101_6^16 - 148263600463308520288990/92681160202170393473941*c_0101_6^15 + 114727116242159522180891/92681160202170393473941*c_0101_6^14 + 464101435960633508148960/92681160202170393473941*c_0101_6^13 + 149473934342885690372180/92681160202170393473941*c_0101_6^12 - 1142029327346328065063448/92681160202170393473941*c_0101_6^11 - 3041146955387347605680497/92681160202170393473941*c_0101_6^10 - 2479468425013858516246930/92681160202170393473941*c_0101_6^9 - 1002976692772631899956424/92681160202170393473941*c_0101_6^8 + 132107536806199102117118/92681160202170393473941*c_0101_6^7 + 1701792745051384690448793/92681160202170393473941*c_0101_6^6 + 1989083080857313687201918/92681160202170393473941*c_0101_6^5 + 1613856452300390765799130/92681160202170393473941*c_0101_6^4 + 1030898154398209282301818/92681160202170393473941*c_0101_6^3 + 175606310026470276376525/92681160202170393473941*c_0101_6^2 - 92077732751327116174816/92681160202170393473941*c_0101_6 - 42581241590283487473156/92681160202170393473941, c_0101_6^19 - 4*c_0101_6^18 + 2*c_0101_6^17 + 32*c_0101_6^16 - 51*c_0101_6^15 - 80*c_0101_6^14 + 91*c_0101_6^13 + 201*c_0101_6^12 + 308*c_0101_6^11 + 193*c_0101_6^10 + 8*c_0101_6^9 - 92*c_0101_6^8 - 216*c_0101_6^7 - 200*c_0101_6^6 - 126*c_0101_6^5 - 44*c_0101_6^4 + 18*c_0101_6^3 + 12*c_0101_6^2 + c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB