Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 4038159377] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1987 geometric_solution 5.55255652 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 -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 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.540209033286 0.262884494066 2 0 3 0 0132 2310 0132 0132 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 0 1 -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 0.963093653140 0.465460446143 1 3 4 5 0132 0213 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654717387877 0.520931062657 5 4 2 1 0132 1023 0213 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 1 0 -1 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.654717387877 0.520931062657 3 4 4 2 1023 1230 3012 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 -1 1 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 1.064721552702 0.744161686328 3 6 2 6 0132 0132 0132 1023 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 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.298692047307 1.157056648260 6 5 6 5 2031 0132 1302 1023 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 0 0 0.472411472825 0.244547824582 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : 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' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['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_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), '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_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_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_3, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 543464903942943175500087239083565620283/133983974509604020172153076\ 2404187828919*c_0110_6^16 - 336603114421449934252102054667674870207\ 6/1339839745096040201721530762404187828919*c_0110_6^15 - 3600705861023090100735297769978111982621/44661324836534673390717692\ 0801395942973*c_0110_6^14 + 126833808363106834433429416449209455872\ 53/1339839745096040201721530762404187828919*c_0110_6^13 + 83624227444831085925577145878954292231135/1339839745096040201721530\ 762404187828919*c_0110_6^12 + 2836955618102472807048104207780513924\ 615/32679018173074151261500750302541166559*c_0110_6^11 + 5083954687674301711778472668682209026263/26271367550902749053363348\ 282435055469*c_0110_6^10 + 3038487096796535576434735427138190782628\ 50/1339839745096040201721530762404187828919*c_0110_6^9 - 285825753202319741798164179966827405484787/133983974509604020172153\ 0762404187828919*c_0110_6^8 - 7024399389855146666056001538475504250\ 08037/1339839745096040201721530762404187828919*c_0110_6^7 - 153400260034212855885567502886568573741414/446613248365346733907176\ 920801395942973*c_0110_6^6 - 55295349513665731599037936606823723196\ 703/1339839745096040201721530762404187828919*c_0110_6^5 + 64705979944309048022938786754493823201004/1339839745096040201721530\ 762404187828919*c_0110_6^4 + 18576348107833669834369083694271149194\ 2642/1339839745096040201721530762404187828919*c_0110_6^3 + 184815179840791062583779555078292292706665/133983974509604020172153\ 0762404187828919*c_0110_6^2 + 1908543754320132360616208017779026793\ 7609/121803613190549109247411887491289802629*c_0110_6 + 19325598529794216285546651279093952182712/4466132483653467339071769\ 20801395942973, c_0011_0 - 1, c_0011_1 + 5898789703224777179846023/769059067489905697371836537*c_0110\ _6^16 - 35921798504500914279122138/769059067489905697371836537*c_01\ 10_6^15 - 121735503145409372282527099/769059067489905697371836537*c\ _0110_6^14 + 132827653911064628365256242/76905906748990569737183653\ 7*c_0110_6^13 + 913764289154528816525963407/76905906748990569737183\ 6537*c_0110_6^12 + 1300778550210646050200291960/7690590674899056973\ 71836537*c_0110_6^11 + 2948344908701732760215879905/769059067489905\ 697371836537*c_0110_6^10 + 3791666637411379980605507037/76905906748\ 9905697371836537*c_0110_6^9 - 2782709172580332400335104963/76905906\ 7489905697371836537*c_0110_6^8 - 7042443879188711056499898251/76905\ 9067489905697371836537*c_0110_6^7 - 4608270773729643580597837689/769059067489905697371836537*c_0110_6^6 - 2175444972675911111314809375/769059067489905697371836537*c_0110_6\ ^5 + 256672869375510687918657324/769059067489905697371836537*c_0110\ _6^4 + 1331712929109677063174131404/769059067489905697371836537*c_0\ 110_6^3 + 1691438628858441930179392732/769059067489905697371836537*\ c_0110_6^2 + 2254881799545670005337887471/7690590674899056973718365\ 37*c_0110_6 + 918532626106636697317556038/7690590674899056973718365\ 37, c_0011_3 - 2655364822110945379464731/769059067489905697371836537*c_0110\ _6^16 + 16800585982290859466406321/769059067489905697371836537*c_01\ 10_6^15 + 50058230296755074943984786/769059067489905697371836537*c_\ 0110_6^14 - 64878648033151743493292509/769059067489905697371836537*\ c_0110_6^13 - 394433187018085973675948380/7690590674899056973718365\ 37*c_0110_6^12 - 548596607974317481655715270/7690590674899056973718\ 36537*c_0110_6^11 - 1264834386350271959916442345/769059067489905697\ 371836537*c_0110_6^10 - 1269506676468192385047632982/76905906748990\ 5697371836537*c_0110_6^9 + 1626907175137708966909429272/76905906748\ 9905697371836537*c_0110_6^8 + 3464499689137897537914195411/76905906\ 7489905697371836537*c_0110_6^7 + 2915816222418514142693708761/76905\ 9067489905697371836537*c_0110_6^6 + 630515870602184888185867019/769059067489905697371836537*c_0110_6^5 - 1338082139428892178103267075/769059067489905697371836537*c_0110_6^4 - 1483275919722503233520816503/769059067489905697371836537*c_0110_6\ ^3 - 841516515172340837034293039/769059067489905697371836537*c_0110\ _6^2 - 1248468928074401567617869837/769059067489905697371836537*c_0\ 110_6 - 384221768656339848892893132/769059067489905697371836537, c_0101_0 + 26999271682733802768926822001/339231954669797403110717096470\ 7*c_0110_6^16 - 192603837595440538605220707086/33923195466979740311\ 07170964707*c_0110_6^15 - 371547802275728141572040979956/3392319546\ 697974031107170964707*c_0110_6^14 + 1077763390287920409310527045791/3392319546697974031107170964707*c_0\ 110_6^13 + 3455707801411394149559523051383/339231954669797403110717\ 0964707*c_0110_6^12 + 2196571956918424650610313022745/3392319546697\ 974031107170964707*c_0110_6^11 + 8454502486242901740069645155204/33\ 92319546697974031107170964707*c_0110_6^10 + 3625449626094175981654763236395/3392319546697974031107170964707*c_0\ 110_6^9 - 25989144875354681593390094143052/339231954669797403110717\ 0964707*c_0110_6^8 - 21000186726292872705712092900541/3392319546697\ 974031107170964707*c_0110_6^7 + 1389046132406077967198883768597/339\ 2319546697974031107170964707*c_0110_6^6 + 11523182795836928583728500763049/3392319546697974031107170964707*c_\ 0110_6^5 + 3212366680935532868543724325085/339231954669797403110717\ 0964707*c_0110_6^4 + 9483119785399042505848945750155/33923195466979\ 74031107170964707*c_0110_6^3 + 3609631533530411837294770079066/3392\ 319546697974031107170964707*c_0110_6^2 + 439646571571407762984290320983/308392686063452184646106451337*c_011\ 0_6 - 1691718274236738874190268960667/33923195466979740311071709647\ 07, c_0101_1 + 2882717168910995916426538/769059067489905697371836537*c_0110\ _6^16 - 14598532446721648955727839/769059067489905697371836537*c_01\ 10_6^15 - 78609895404233957323569326/769059067489905697371836537*c_\ 0110_6^14 + 10005436771989455366806327/769059067489905697371836537*\ c_0110_6^13 + 542084955755096425372928738/7690590674899056973718365\ 37*c_0110_6^12 + 1068260342186709916023362315/769059067489905697371\ 836537*c_0110_6^11 + 1896340935274309016971436234/76905906748990569\ 7371836537*c_0110_6^10 + 3052046922305282451776656899/7690590674899\ 05697371836537*c_0110_6^9 - 38941047567557450046249188/769059067489\ 905697371836537*c_0110_6^8 - 5858133626472986393094590642/769059067\ 489905697371836537*c_0110_6^7 - 5041843810799620628439030758/769059\ 067489905697371836537*c_0110_6^6 - 2029025942368529945430825523/769059067489905697371836537*c_0110_6^5 - 360733215834350033218415061/769059067489905697371836537*c_0110_6^\ 4 + 1988168036631715672861972543/769059067489905697371836537*c_0110\ _6^3 + 564957111483027429094427090/769059067489905697371836537*c_01\ 10_6^2 + 2962623848575287546874440386/769059067489905697371836537*c\ _0110_6 + 319960862626974563850366799/769059067489905697371836537, c_0101_4 - 33680233952253729178517625223/339231954669797403110717096470\ 7*c_0110_6^16 + 206050433458422831999983603591/33923195466979740311\ 07170964707*c_0110_6^15 + 692301153830021112717710851997/3392319546\ 697974031107170964707*c_0110_6^14 - 779094284892313944826707134065/3392319546697974031107170964707*c_01\ 10_6^13 - 5383910272148902467700754861653/3392319546697974031107170\ 964707*c_0110_6^12 - 7410539241556533874340809330176/33923195466979\ 74031107170964707*c_0110_6^11 - 15514596440723967087734203319785/33\ 92319546697974031107170964707*c_0110_6^10 - 18715067097895454400979491443463/3392319546697974031107170964707*c_\ 0110_6^9 + 19362017853741311260432769474630/33923195466979740311071\ 70964707*c_0110_6^8 + 48818898275174687614274088411096/339231954669\ 7974031107170964707*c_0110_6^7 + 27330809748933468700804811029527/3\ 392319546697974031107170964707*c_0110_6^6 - 2940095837102771104322732693241/3392319546697974031107170964707*c_0\ 110_6^5 - 6611937171544692081826387692052/3392319546697974031107170\ 964707*c_0110_6^4 - 12940648647480640417881087341520/33923195466979\ 74031107170964707*c_0110_6^3 - 12500646150248664477656234688884/339\ 2319546697974031107170964707*c_0110_6^2 - 1132103024376607014342141449473/308392686063452184646106451337*c_01\ 10_6 - 2399456380694663374213545317062/3392319546697974031107170964\ 707, c_0110_6^17 - 6*c_0110_6^16 - 21*c_0110_6^15 + 19*c_0110_6^14 + 157*c_0110_6^13 + 246*c_0110_6^12 + 530*c_0110_6^11 + 665*c_0110_6^10 - 387*c_0110_6^9 - 1366*c_0110_6^8 - 1157*c_0110_6^7 - 371*c_0110_6^6 + 44*c_0110_6^5 + 378*c_0110_6^4 + 437*c_0110_6^3 + 490*c_0110_6^2 + 203*c_0110_6 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB