Magma V2.19-8 Tue Aug 20 2013 16:14:53 on localhost [Seed = 2101141781] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s857 geometric_solution 5.49361033 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 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 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.457156933963 0.265111574283 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 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.905910651775 0.684167977439 1 4 5 3 0132 0132 0132 2310 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383535649922 1.100621177082 2 5 4 1 3201 1023 1023 0132 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 1 0 -1 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.383535649922 1.100621177082 4 2 3 4 3201 0132 1023 2310 0 0 0 0 0 0 -1 1 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 1 -1 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.564765317632 0.872857924433 3 5 5 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 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.156882842709 0.666658248136 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_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_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_3']), 'c_1001_4' : negation(d['c_0101_1']), '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' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_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 7 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 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 2350679407219325013343/2607016383371226255*c_0101_4^21 + 8570452466464636655272/2607016383371226255*c_0101_4^20 + 41488918263410583858338/2607016383371226255*c_0101_4^19 - 69152646267543516910537/2607016383371226255*c_0101_4^18 - 279922381896154805746637/2607016383371226255*c_0101_4^17 - 12499546241769543836169/869005461123742085*c_0101_4^16 + 3848173745741069983389/66846573932595545*c_0101_4^15 - 20312181924556564276658/237001489397384205*c_0101_4^14 + 20258351578220214494779/79000496465794735*c_0101_4^13 + 665081970939466131708353/869005461123742085*c_0101_4^12 + 145165492449810390912317/869005461123742085*c_0101_4^11 - 2655397807698511196959459/2607016383371226255*c_0101_4^10 - 998454124597462378779084/869005461123742085*c_0101_4^9 + 74013244757458778036807/237001489397384205*c_0101_4^8 + 973302351899843818996691/869005461123742085*c_0101_4^7 + 115014383642936170147477/2607016383371226255*c_0101_4^6 - 1204470117652905656657636/2607016383371226255*c_0101_4^5 + 23538697175111166901691/2607016383371226255*c_0101_4^4 + 21204160313202916073957/200539721797786635*c_0101_4^3 - 1418168850111939644467/173801092224748417*c_0101_4^2 - 1797880601159908564846/200539721797786635*c_0101_4 + 3446856161374723289453/2607016383371226255, c_0011_0 - 1, c_0011_1 - 7185204148754768/252251222387153*c_0101_4^21 + 2331000993197305/22931929307923*c_0101_4^20 + 129118493083101956/252251222387153*c_0101_4^19 - 202730416728677484/252251222387153*c_0101_4^18 - 876153284069232792/252251222387153*c_0101_4^17 - 170157246732982309/252251222387153*c_0101_4^16 + 476651225048616821/252251222387153*c_0101_4^15 - 659664252000606931/252251222387153*c_0101_4^14 + 1977497167361074595/252251222387153*c_0101_4^13 + 6289792402191471453/252251222387153*c_0101_4^12 + 1706054316229489331/252251222387153*c_0101_4^11 - 8191446513001040455/252251222387153*c_0101_4^10 - 9722227710533547598/252251222387153*c_0101_4^9 + 2074719429149305771/252251222387153*c_0101_4^8 + 845529684316544014/22931929307923*c_0101_4^7 + 816287443064938807/252251222387153*c_0101_4^6 - 3892469282162935070/252251222387153*c_0101_4^5 - 84679494738409512/252251222387153*c_0101_4^4 + 936613956815273967/252251222387153*c_0101_4^3 - 51150904179581499/252251222387153*c_0101_4^2 - 85349438062397934/252251222387153*c_0101_4 + 12698393915673656/252251222387153, c_0011_3 + 5624045787044988279/173801092224748417*c_0101_4^21 - 20322283491811168195/173801092224748417*c_0101_4^20 - 99937713810177287329/173801092224748417*c_0101_4^19 + 162274912212577432962/173801092224748417*c_0101_4^18 + 675193542581271298784/173801092224748417*c_0101_4^17 + 110800562978557249509/173801092224748417*c_0101_4^16 - 27445804208661134907/13369314786519109*c_0101_4^15 + 525731961017752615325/173801092224748417*c_0101_4^14 - 1580300881689987941456/173801092224748417*c_0101_4^13 - 4828489948205132991984/173801092224748417*c_0101_4^12 - 1192133528639654293139/173801092224748417*c_0101_4^11 + 6321864812939068550777/173801092224748417*c_0101_4^10 + 7352277521693182032858/173801092224748417*c_0101_4^9 - 1733893883342723055159/173801092224748417*c_0101_4^8 - 7035804967878357102229/173801092224748417*c_0101_4^7 - 464063175409346888802/173801092224748417*c_0101_4^6 + 2883304190537079213915/173801092224748417*c_0101_4^5 + 6288141973731140632/173801092224748417*c_0101_4^4 - 51587421655314769660/13369314786519109*c_0101_4^3 + 41109851810600257226/173801092224748417*c_0101_4^2 + 4444281065052612235/13369314786519109*c_0101_4 - 8362096894653381545/173801092224748417, c_0101_0 - 8307242019742502443/173801092224748417*c_0101_4^21 + 2710114003089687938/15800099293158947*c_0101_4^20 + 148679687401015820519/173801092224748417*c_0101_4^19 - 237320265165640581044/173801092224748417*c_0101_4^18 - 1008200937881869753338/173801092224748417*c_0101_4^17 - 177133142740225886675/173801092224748417*c_0101_4^16 + 42655475290925178598/13369314786519109*c_0101_4^15 - 771146702365126900324/173801092224748417*c_0101_4^14 + 2302881995676659374865/173801092224748417*c_0101_4^13 + 7224385448609187545816/173801092224748417*c_0101_4^12 + 1832067090337808336730/173801092224748417*c_0101_4^11 - 9508284917192189396692/173801092224748417*c_0101_4^10 - 11068829533861493886725/173801092224748417*c_0101_4^9 + 2606357833662932034404/173801092224748417*c_0101_4^8 + 974100538700732584731/15800099293158947*c_0101_4^7 + 759976191641161803663/173801092224748417*c_0101_4^6 - 4511080379951887255169/173801092224748417*c_0101_4^5 - 31089056599622556291/173801092224748417*c_0101_4^4 + 82979037383284589742/13369314786519109*c_0101_4^3 - 71427108748915586038/173801092224748417*c_0101_4^2 - 7497271467378323311/13369314786519109*c_0101_4 + 14881043430015442973/173801092224748417, c_0101_1 + 16813383035482162/252251222387153*c_0101_4^21 - 60068327993173880/252251222387153*c_0101_4^20 - 27440031240149065/22931929307923*c_0101_4^19 + 475362745197216675/252251222387153*c_0101_4^18 + 2047614530427999165/252251222387153*c_0101_4^17 + 392183375941074693/252251222387153*c_0101_4^16 - 1113135430088646970/252251222387153*c_0101_4^15 + 1544406888956066897/252251222387153*c_0101_4^14 - 4634127053867982092/252251222387153*c_0101_4^13 - 14694781406110683687/252251222387153*c_0101_4^12 - 3952847527160176836/252251222387153*c_0101_4^11 + 19161056544625742477/252251222387153*c_0101_4^10 + 22690782805410586302/252251222387153*c_0101_4^9 - 4898131237845600944/252251222387153*c_0101_4^8 - 21724127423107661347/252251222387153*c_0101_4^7 - 1868074684534160507/252251222387153*c_0101_4^6 + 9088584332429695136/252251222387153*c_0101_4^5 + 184167521087531774/252251222387153*c_0101_4^4 - 2184347522748910350/252251222387153*c_0101_4^3 + 11021536596030139/22931929307923*c_0101_4^2 + 198675878968577409/252251222387153*c_0101_4 - 2659956884433515/22931929307923, c_0101_4^22 - 3*c_0101_4^21 - 20*c_0101_4^20 + 18*c_0101_4^19 + 138*c_0101_4^18 + 93*c_0101_4^17 - 53*c_0101_4^16 + 54*c_0101_4^15 - 223*c_0101_4^14 - 1032*c_0101_4^13 - 735*c_0101_4^12 + 1006*c_0101_4^11 + 2002*c_0101_4^10 + 480*c_0101_4^9 - 1460*c_0101_4^8 - 850*c_0101_4^7 + 478*c_0101_4^6 + 320*c_0101_4^5 - 124*c_0101_4^4 - 67*c_0101_4^3 + 16*c_0101_4^2 + 5*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB