Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 3802365934] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2838 geometric_solution 6.05721108 oriented_manifold CS_known -0.0000000000000001 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.257987353614 0.169655217987 2 0 3 0 0132 2310 0132 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 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.036051257021 1.609813670497 1 4 5 3 0132 0132 0132 1230 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 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.655622886043 0.914587312152 2 6 4 1 3012 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655622886043 0.914587312152 3 2 6 5 2310 0132 0321 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.749993029104 0.640695876603 4 6 6 2 3012 2310 3201 0132 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 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 1.076503522670 0.897647995999 5 3 4 5 2310 0132 0321 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.076503522670 0.897647995999 ==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_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' : 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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_0'], '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_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 689050209293516133362741/15054153064195821975805*c_0101_5^20 + 527930749060078911432368/2150593294885117425115*c_0101_5^19 + 8395390894004564079404538/15054153064195821975805*c_0101_5^18 - 11500979013949519891304094/3010830612839164395161*c_0101_5^17 + 27295342606769856874209378/15054153064195821975805*c_0101_5^16 + 213997825401609675553169221/15054153064195821975805*c_0101_5^15 - 57587133158371982341701561/2150593294885117425115*c_0101_5^14 + 93965704272656003609735071/15054153064195821975805*c_0101_5^13 + 101548229080454322618552421/3010830612839164395161*c_0101_5^12 - 46288994533815221769955581/3010830612839164395161*c_0101_5^11 - 606511423071596942264662218/15054153064195821975805*c_0101_5^10 - 2535881081027189859228778/15054153064195821975805*c_0101_5^9 + 571729649179836756703048796/15054153064195821975805*c_0101_5^8 + 24365941048919379523335636/2150593294885117425115*c_0101_5^7 - 471422845412210177507578791/15054153064195821975805*c_0101_5^6 - 257771417885785274392243649/15054153064195821975805*c_0101_5^5 + 172446394443411341463612481/15054153064195821975805*c_0101_5^4 + 155454870013433953125962947/15054153064195821975805*c_0101_5^3 + 5803692919014913202675202/3010830612839164395161*c_0101_5^2 - 6706245881624976614214993/15054153064195821975805*c_0101_5 - 5156198407522572913588767/15054153064195821975805, c_0011_0 - 1, c_0011_1 - 4812021219704715719936/430118658977023485023*c_0101_5^20 + 132277693147999062571392/2150593294885117425115*c_0101_5^19 + 296214327232192816641329/2150593294885117425115*c_0101_5^18 - 2175793035712496658695074/2150593294885117425115*c_0101_5^17 + 1074632285502131586071178/2150593294885117425115*c_0101_5^16 + 9296191894600487706828428/2150593294885117425115*c_0101_5^15 - 17542971618663662599472658/2150593294885117425115*c_0101_5^14 - 118797828705225621965897/430118658977023485023*c_0101_5^13 + 36489573567748100824247108/2150593294885117425115*c_0101_5^12 - 25639176217170332734547351/2150593294885117425115*c_0101_5^11 - 37302891245236765125582093/2150593294885117425115*c_0101_5^10 + 36718002221702385334938647/2150593294885117425115*c_0101_5^9 + 23114807641340204181636217/2150593294885117425115*c_0101_5^8 - 27114519889491567045670251/2150593294885117425115*c_0101_5^7 - 12405032941640506635049157/2150593294885117425115*c_0101_5^6 + 9353782638016659649637351/2150593294885117425115*c_0101_5^5 + 5317208113349804951360891/2150593294885117425115*c_0101_5^4 - 95607052917528864611824/2150593294885117425115*c_0101_5^3 - 604007901011422869297331/2150593294885117425115*c_0101_5^2 - 119933899110001532218978/2150593294885117425115*c_0101_5 + 46751013340427012148082/2150593294885117425115, c_0011_3 + 40432802166614212215388/2150593294885117425115*c_0101_5^20 - 230975627600615354188623/2150593294885117425115*c_0101_5^19 - 442503256602225073385547/2150593294885117425115*c_0101_5^18 + 3715147872985270102836488/2150593294885117425115*c_0101_5^17 - 2641189876811921808715267/2150593294885117425115*c_0101_5^16 - 14507506283764450218583036/2150593294885117425115*c_0101_5^15 + 31852230391199850337334288/2150593294885117425115*c_0101_5^14 - 7377196285378238274610452/2150593294885117425115*c_0101_5^13 - 54207652302490452087302188/2150593294885117425115*c_0101_5^12 + 49935622859819438029023347/2150593294885117425115*c_0101_5^11 + 47561661184038058527217837/2150593294885117425115*c_0101_5^10 - 61849423754192463862957323/2150593294885117425115*c_0101_5^9 - 5141078427479887273433416/430118658977023485023*c_0101_5^8 + 42387274739733857593166737/2150593294885117425115*c_0101_5^7 + 14058705863294424758049148/2150593294885117425115*c_0101_5^6 - 2853801223664499303092948/430118658977023485023*c_0101_5^5 - 6957304133464239568539206/2150593294885117425115*c_0101_5^4 + 344518237404703038644844/2150593294885117425115*c_0101_5^3 + 861267336957089347909131/2150593294885117425115*c_0101_5^2 + 26394028808679345445958/430118658977023485023*c_0101_5 - 11841932010622149251027/430118658977023485023, c_0011_5 - 35060512491933988446111/2150593294885117425115*c_0101_5^20 + 201565892084095749742992/2150593294885117425115*c_0101_5^19 + 75182540197049460620983/430118658977023485023*c_0101_5^18 - 3232411925514451580682472/2150593294885117425115*c_0101_5^17 + 2410956070139912075582517/2150593294885117425115*c_0101_5^16 + 2489855990298889088089264/430118658977023485023*c_0101_5^15 - 28014105003828866162961326/2150593294885117425115*c_0101_5^14 + 7536821385505766408632081/2150593294885117425115*c_0101_5^13 + 46289584244845065536444219/2150593294885117425115*c_0101_5^12 - 44596826414253923864668183/2150593294885117425115*c_0101_5^11 - 39267311323904646364291782/2150593294885117425115*c_0101_5^10 + 54225924403794973963077608/2150593294885117425115*c_0101_5^9 + 20362854782784323915111412/2150593294885117425115*c_0101_5^8 - 36767419569907955666684051/2150593294885117425115*c_0101_5^7 - 11082714496776118367110167/2150593294885117425115*c_0101_5^6 + 12387074655667623795003224/2150593294885117425115*c_0101_5^5 + 5706743804608135404828439/2150593294885117425115*c_0101_5^4 - 76277495725691607010110/430118658977023485023*c_0101_5^3 - 742254302467170680231783/2150593294885117425115*c_0101_5^2 - 105730276126432613997472/2150593294885117425115*c_0101_5 + 50955469483459258944494/2150593294885117425115, c_0101_0 + 16241564701692430435689/2150593294885117425115*c_0101_5^20 - 87991178576226545666564/2150593294885117425115*c_0101_5^19 - 208069776248445077765491/2150593294885117425115*c_0101_5^18 + 1458888359159784853995054/2150593294885117425115*c_0101_5^17 - 601691165483018529247241/2150593294885117425115*c_0101_5^16 - 6426147458061368859575258/2150593294885117425115*c_0101_5^15 + 11469087915359527769913584/2150593294885117425115*c_0101_5^14 + 1604419176037744563586519/2150593294885117425115*c_0101_5^13 - 25545911614563701271591974/2150593294885117425115*c_0101_5^12 + 16180084404509670995704231/2150593294885117425115*c_0101_5^11 + 27287500941914722857027961/2150593294885117425115*c_0101_5^10 - 24509437200528769554751689/2150593294885117425115*c_0101_5^9 - 3501723474530199490434995/430118658977023485023*c_0101_5^8 + 18552982113471173542988791/2150593294885117425115*c_0101_5^7 + 9386420629188907862937204/2150593294885117425115*c_0101_5^6 - 1281576203469018305467154/430118658977023485023*c_0101_5^5 - 3870813059239454707563888/2150593294885117425115*c_0101_5^4 + 9106186024860197502727/2150593294885117425115*c_0101_5^3 + 412706088258457174584358/2150593294885117425115*c_0101_5^2 + 17499012430354859079694/430118658977023485023*c_0101_5 - 6387121968235955455858/430118658977023485023, c_0101_4 + c_0101_5, c_0101_5^21 - 5*c_0101_5^20 - 15*c_0101_5^19 + 84*c_0101_5^18 - 404*c_0101_5^16 + 531*c_0101_5^15 + 374*c_0101_5^14 - 1459*c_0101_5^13 + 275*c_0101_5^12 + 2040*c_0101_5^11 - 674*c_0101_5^10 - 1713*c_0101_5^9 + 577*c_0101_5^8 + 1088*c_0101_5^7 - 94*c_0101_5^6 - 419*c_0101_5^5 - 117*c_0101_5^4 + 25*c_0101_5^3 + 18*c_0101_5^2 + c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB