Magma V2.19-8 Tue Aug 20 2013 16:19:01 on localhost [Seed = 1983376158] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3172 geometric_solution 6.32015376 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 1 1 -2 -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.645702120901 0.502354377037 0 5 3 5 0132 0132 0213 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.503342349976 0.606363511917 2 0 2 5 2031 0132 1302 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 -1 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 0 0 0 1.216051609794 1.058849557813 6 1 4 0 0132 0213 2031 0132 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 1 -1 0 0 1 -1 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.537927753932 0.882957128238 6 6 0 3 1302 2310 0132 1302 0 0 0 0 0 -1 1 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 -1 2 -1 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 1.487596964518 1.166792582544 2 1 6 1 3201 0132 3120 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.020399858632 0.644386438340 3 4 5 4 0132 2031 3120 3201 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 -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.808433732879 0.987007282375 ==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' : negation(d['1']), 's_2_1' : negation(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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0110_5']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0110_4']), 'c_1001_1' : negation(d['c_0110_4']), 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : negation(d['c_0011_4'])})} 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_3, c_0011_4, c_0101_0, c_0101_3, c_0110_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 3354808063058110363048/522071287061776402481*c_0110_5^15 + 14716901543606974958968/522071287061776402481*c_0110_5^14 + 33434832267582749355341/522071287061776402481*c_0110_5^13 - 252107209798290439958526/522071287061776402481*c_0110_5^12 - 384507254664618208677199/522071287061776402481*c_0110_5^11 + 1280578522860899407795669/522071287061776402481*c_0110_5^10 + 1618569131608212789898118/522071287061776402481*c_0110_5^9 - 6344880889940130876862105/522071287061776402481*c_0110_5^8 + 424181227206234865331721/522071287061776402481*c_0110_5^7 + 13976960307044309209565550/522071287061776402481*c_0110_5^6 - 18209959770037281933477715/522071287061776402481*c_0110_5^5 + 9603022330798353704945364/522071287061776402481*c_0110_5^4 - 1005842713266537935806916/522071287061776402481*c_0110_5^3 - 1316231349023801980741232/522071287061776402481*c_0110_5^2 + 497071339783490412476376/522071287061776402481*c_0110_5 + 10954020144732454739872/522071287061776402481, c_0011_0 - 1, c_0011_3 + 221308566635487434399/522071287061776402481*c_0110_5^15 + 1495882635000377524225/522071287061776402481*c_0110_5^14 + 5798625312765019273377/522071287061776402481*c_0110_5^13 - 2572921711537534036872/522071287061776402481*c_0110_5^12 - 30308226016010951854598/522071287061776402481*c_0110_5^11 + 12033772556425929487882/522071287061776402481*c_0110_5^10 + 128839139998331101558421/522071287061776402481*c_0110_5^9 - 110844596318392021472779/522071287061776402481*c_0110_5^8 - 207025422855692713025813/522071287061776402481*c_0110_5^7 + 410699496330700517920783/522071287061776402481*c_0110_5^6 - 278154709208568048157768/522071287061776402481*c_0110_5^5 + 56262222656074195251441/522071287061776402481*c_0110_5^4 + 33064864098897999622230/522071287061776402481*c_0110_5^3 - 20047859293338612186286/522071287061776402481*c_0110_5^2 + 1441950167980599468815/522071287061776402481*c_0110_5 + 463583059763030307409/522071287061776402481, c_0011_4 - 759117041608578/11854210555204841*c_0110_5^15 - 5085033313381369/11854210555204841*c_0110_5^14 - 19601313090225058/11854210555204841*c_0110_5^13 + 10039572947848480/11854210555204841*c_0110_5^12 + 103933610368472691/11854210555204841*c_0110_5^11 - 43094502813977251/11854210555204841*c_0110_5^10 - 438357571423943177/11854210555204841*c_0110_5^9 + 381039605117659251/11854210555204841*c_0110_5^8 + 677674079513377381/11854210555204841*c_0110_5^7 - 1338582091250129069/11854210555204841*c_0110_5^6 + 1000367973215700756/11854210555204841*c_0110_5^5 - 485680685953227730/11854210555204841*c_0110_5^4 + 182001147828041901/11854210555204841*c_0110_5^3 - 34198157347667003/11854210555204841*c_0110_5^2 - 9509668660181010/11854210555204841*c_0110_5 + 12641179411771212/11854210555204841, c_0101_0 + 40677239552108434190/522071287061776402481*c_0110_5^15 + 246959013708578763680/522071287061776402481*c_0110_5^14 + 864337813700679523898/522071287061776402481*c_0110_5^13 - 1298436610323841723789/522071287061776402481*c_0110_5^12 - 5635873484308013833639/522071287061776402481*c_0110_5^11 + 5895502201177166941574/522071287061776402481*c_0110_5^10 + 23719453071074313401353/522071287061776402481*c_0110_5^9 - 36213441439406145153933/522071287061776402481*c_0110_5^8 - 30882503409882805829280/522071287061776402481*c_0110_5^7 + 102837789536284420050524/522071287061776402481*c_0110_5^6 - 90533370471081946984328/522071287061776402481*c_0110_5^5 + 31678711001398690265019/522071287061776402481*c_0110_5^4 + 3586065095190590108579/522071287061776402481*c_0110_5^3 - 7007623226396357675223/522071287061776402481*c_0110_5^2 + 1981002157230353974422/522071287061776402481*c_0110_5 + 93553178442250795342/522071287061776402481, c_0101_3 + 118968905221504051593/522071287061776402481*c_0110_5^15 + 848931110890314020711/522071287061776402481*c_0110_5^14 + 3415841022875881321409/522071287061776402481*c_0110_5^13 - 243783609101763219783/522071287061776402481*c_0110_5^12 - 16969192786068839818590/522071287061776402481*c_0110_5^11 + 180771240126579964483/522071287061776402481*c_0110_5^10 + 72229083752375852440127/522071287061776402481*c_0110_5^9 - 32775368283552548596843/522071287061776402481*c_0110_5^8 - 135885886742344757005999/522071287061776402481*c_0110_5^7 + 176925919593016417358670/522071287061776402481*c_0110_5^6 - 61573309729290763998602/522071287061776402481*c_0110_5^5 - 25857461667876263149188/522071287061776402481*c_0110_5^4 + 26077381781646339517916/522071287061776402481*c_0110_5^3 - 3376314456864140301503/522071287061776402481*c_0110_5^2 - 2326279820519060839588/522071287061776402481*c_0110_5 + 152612063786947176000/522071287061776402481, c_0110_4 - 202340691198065363682/522071287061776402481*c_0110_5^15 - 1306731712402969640421/522071287061776402481*c_0110_5^14 - 4862975126068448267871/522071287061776402481*c_0110_5^13 + 4147882232973942539238/522071287061776402481*c_0110_5^12 + 27830683155176487488681/522071287061776402481*c_0110_5^11 - 19143458575881110465335/522071287061776402481*c_0110_5^10 - 118182347528842432992120/522071287061776402481*c_0110_5^9 + 135713915471680407680966/522071287061776402481*c_0110_5^8 + 174194637982971790358911/522071287061776402481*c_0110_5^7 - 435390624026153169348503/522071287061776402481*c_0110_5^6 + 337771665054028652477336/522071287061776402481*c_0110_5^5 - 97370566366925618739821/522071287061776402481*c_0110_5^4 - 23600572904520493641083/522071287061776402481*c_0110_5^3 + 21662996112183717375285/522071287061776402481*c_0110_5^2 - 1819116560934982748821/522071287061776402481*c_0110_5 - 404401998813291514600/522071287061776402481, c_0110_5^16 + 6*c_0110_5^15 + 21*c_0110_5^14 - 32*c_0110_5^13 - 130*c_0110_5^12 + 159*c_0110_5^11 + 551*c_0110_5^10 - 945*c_0110_5^9 - 598*c_0110_5^8 + 2594*c_0110_5^7 - 2588*c_0110_5^6 + 1088*c_0110_5^5 + 11*c_0110_5^4 - 193*c_0110_5^3 + 54*c_0110_5^2 + 3*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB