Magma V2.19-8 Tue Aug 20 2013 16:14:47 on localhost [Seed = 3836049539] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s771 geometric_solution 5.33243209 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 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 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.456559793238 1.228501417312 0 3 2 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 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 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.166385820101 0.987900231614 3 0 4 1 3201 0132 3201 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 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.166385820101 0.987900231614 5 1 5 2 0132 0132 2310 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 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.683137116251 0.997670044224 2 4 1 4 2310 1302 0132 2031 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 0 0 0 0 0 0 0.371390894961 1.032864447770 3 3 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.493675400459 0.163353282752 ==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' : negation(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' : 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_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 620881154916909354689088/7570252720688110292275*c_0101_3^19 + 1248705491931742682888784/7570252720688110292275*c_0101_3^18 - 3651437118781316147887584/7570252720688110292275*c_0101_3^17 - 9608381869170066687865808/7570252720688110292275*c_0101_3^16 + 792687295291540465654072/1514050544137622058455*c_0101_3^15 + 27173473090455672955642676/7570252720688110292275*c_0101_3^14 + 6783135443919859923540804/7570252720688110292275*c_0101_3^13 - 42076620655874321517432587/7570252720688110292275*c_0101_3^12 - 4899111579145469992059588/1514050544137622058455*c_0101_3^11 + 40920111126286781825085277/7570252720688110292275*c_0101_3^10 + 5786597785496516731013236/1514050544137622058455*c_0101_3^9 - 27047799246440811334221002/7570252720688110292275*c_0101_3^8 - 3858527167186333258787432/1514050544137622058455*c_0101_3^7 + 9214382040653545908087794/7570252720688110292275*c_0101_3^6 + 8653796426681432700175859/7570252720688110292275*c_0101_3^5 - 4217998209298249942668/48840340133471679305*c_0101_3^4 - 1705447957594259519161154/7570252720688110292275*c_0101_3^3 + 526161645595448159496546/7570252720688110292275*c_0101_3^2 - 38690889012605148777528/1514050544137622058455*c_0101_3 - 234866337901555889749548/7570252720688110292275, c_0011_0 - 1, c_0011_4 - 28504022816891677814384/7570252720688110292275*c_0101_3^19 - 64192676675878221166512/7570252720688110292275*c_0101_3^18 + 150346222442563877897312/7570252720688110292275*c_0101_3^17 + 465081882989159358244344/7570252720688110292275*c_0101_3^16 - 14472105726477618142836/1514050544137622058455*c_0101_3^15 - 1186149112158971662281068/7570252720688110292275*c_0101_3^14 - 511686395309297573589347/7570252720688110292275*c_0101_3^13 + 1660605306382258132859591/7570252720688110292275*c_0101_3^12 + 248777312701129589762004/1514050544137622058455*c_0101_3^11 - 1449360650168983036176561/7570252720688110292275*c_0101_3^10 - 246257908324201973598478/1514050544137622058455*c_0101_3^9 + 922411443286865291638436/7570252720688110292275*c_0101_3^8 + 135751560090632211731186/1514050544137622058455*c_0101_3^7 - 247038691224215558974367/7570252720688110292275*c_0101_3^6 - 205586150443968690722362/7570252720688110292275*c_0101_3^5 - 1867508426035582267811/1514050544137622058455*c_0101_3^4 + 9536177403493667825972/7570252720688110292275*c_0101_3^3 - 49694410336787727070778/7570252720688110292275*c_0101_3^2 + 4219644565549875973774/1514050544137622058455*c_0101_3 + 2615022134916027125114/7570252720688110292275, c_0101_0 + 9892719157020692373152/7570252720688110292275*c_0101_3^19 + 15227412384542955456336/7570252720688110292275*c_0101_3^18 - 54809698975523393919536/7570252720688110292275*c_0101_3^17 - 101399194812045730286032/7570252720688110292275*c_0101_3^16 + 12836027889150125313488/1514050544137622058455*c_0101_3^15 + 225766677369278374469004/7570252720688110292275*c_0101_3^14 - 30055481555796228306634/7570252720688110292275*c_0101_3^13 - 256758890249253119005323/7570252720688110292275*c_0101_3^12 + 7976463007896895691583/1514050544137622058455*c_0101_3^11 + 174196822584510431696508/7570252720688110292275*c_0101_3^10 - 42073938741543056447206/1514050544137622058455*c_0101_3^9 - 49647085011764442169358/7570252720688110292275*c_0101_3^8 + 48626742877027290885537/1514050544137622058455*c_0101_3^7 - 80214187679095533574624/7570252720688110292275*c_0101_3^6 - 136795485079749925043689/7570252720688110292275*c_0101_3^5 + 5766821229773324850253/1514050544137622058455*c_0101_3^4 + 62100902864734601248809/7570252720688110292275*c_0101_3^3 + 6521182347052503438284/7570252720688110292275*c_0101_3^2 - 1711804475869174103822/1514050544137622058455*c_0101_3 + 9091245569926640499983/7570252720688110292275, c_0101_1 + 2476576275596584566256/1514050544137622058455*c_0101_3^19 + 5732732146431096821088/1514050544137622058455*c_0101_3^18 - 12344522722284446918448/1514050544137622058455*c_0101_3^17 - 41189040827837863077576/1514050544137622058455*c_0101_3^16 + 70796174450226600060/302810108827524411691*c_0101_3^15 + 101676610622169533919952/1514050544137622058455*c_0101_3^14 + 62011809584484060376623/1514050544137622058455*c_0101_3^13 - 129463250184086820685004/1514050544137622058455*c_0101_3^12 - 26976914064787088841119/302810108827524411691*c_0101_3^11 + 91338009591824947266594/1514050544137622058455*c_0101_3^10 + 25917441979871818075911/302810108827524411691*c_0101_3^9 - 38342942185328255530929/1514050544137622058455*c_0101_3^8 - 14359334243703207202896/302810108827524411691*c_0101_3^7 - 4010248160441790444532/1514050544137622058455*c_0101_3^6 + 712923920518716078523/48840340133471679305*c_0101_3^5 + 1630155628437918193752/302810108827524411691*c_0101_3^4 + 2209616256217511462932/1514050544137622058455*c_0101_3^3 + 2996931987259103960487/1514050544137622058455*c_0101_3^2 - 454881393495939999193/302810108827524411691*c_0101_3 - 185054236444736643386/1514050544137622058455, c_0101_2 + 779579595237927688576/1514050544137622058455*c_0101_3^19 + 2514934931295060479088/1514050544137622058455*c_0101_3^18 - 2802108556090802300608/1514050544137622058455*c_0101_3^17 - 17601197125824105105056/1514050544137622058455*c_0101_3^16 - 1706206728375695855688/302810108827524411691*c_0101_3^15 + 40186981155789158886492/1514050544137622058455*c_0101_3^14 + 45754521314371537377608/1514050544137622058455*c_0101_3^13 - 44179964230210534466469/1514050544137622058455*c_0101_3^12 - 17147438822666169844142/302810108827524411691*c_0101_3^11 + 19534351652535863716554/1514050544137622058455*c_0101_3^10 + 17066217115455237249296/302810108827524411691*c_0101_3^9 + 1107542894358422154681/1514050544137622058455*c_0101_3^8 - 10182082275910422133601/302810108827524411691*c_0101_3^7 - 10404422081124973997897/1514050544137622058455*c_0101_3^6 + 14032646796731479313618/1514050544137622058455*c_0101_3^5 + 1927869016601453032340/302810108827524411691*c_0101_3^4 - 98788357236626747333/1514050544137622058455*c_0101_3^3 + 323145697231427810227/1514050544137622058455*c_0101_3^2 + 148732373380796513792/302810108827524411691*c_0101_3 - 1668836561362408593846/1514050544137622058455, c_0101_3^20 + 2*c_0101_3^19 - 6*c_0101_3^18 - 31/2*c_0101_3^17 + 29/4*c_0101_3^16 + 89/2*c_0101_3^15 + 141/16*c_0101_3^14 - 283/4*c_0101_3^13 - 293/8*c_0101_3^12 + 143/2*c_0101_3^11 + 711/16*c_0101_3^10 - 799/16*c_0101_3^9 - 471/16*c_0101_3^8 + 303/16*c_0101_3^7 + 105/8*c_0101_3^6 - 19/8*c_0101_3^5 - 3*c_0101_3^4 + 5/4*c_0101_3^3 - 7/16*c_0101_3^2 - 3/8*c_0101_3 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB