Magma V2.19-8 Tue Aug 20 2013 16:14:43 on localhost [Seed = 1747580023] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s706 geometric_solution 5.21934611 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495640009773 0.249900071050 2 0 3 0 0132 2310 0132 0132 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 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.895708813097 0.561176588489 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 -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.688718341367 0.628467725716 5 4 2 1 1023 1023 0213 0132 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 0 0 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.688718341367 0.628467725716 3 4 4 2 1023 1230 3012 0132 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 0 0 0 0 0 0 0 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.207736490933 0.722954531344 5 3 2 5 3012 1023 0132 1230 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 -1 0 1 -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.599735980789 0.911639013540 ==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_3'], '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_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' : d['c_0011_3'], 'c_0011_4' : 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_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_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], '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 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: 20 Groebner basis: [ t - 531655269722318806765/12620094965375284361*c_0101_4^19 + 1668915426135012869926/12620094965375284361*c_0101_4^18 + 9426233207907362995699/12620094965375284361*c_0101_4^17 - 13284069919133450706985/12620094965375284361*c_0101_4^16 - 428595605107957273994/970776535798098797*c_0101_4^15 + 11459588836148763276132/12620094965375284361*c_0101_4^14 - 111289458903830532290349/12620094965375284361*c_0101_4^13 + 126848025028821822273869/12620094965375284361*c_0101_4^12 + 15810780989595049739261/12620094965375284361*c_0101_4^11 + 56691055961211806515219/12620094965375284361*c_0101_4^10 + 70148525303294197489513/12620094965375284361*c_0101_4^9 - 139557762641939709873874/12620094965375284361*c_0101_4^8 - 27278287627267403990205/12620094965375284361*c_0101_4^7 - 106630664347605213256450/12620094965375284361*c_0101_4^6 + 34839984590264518208454/12620094965375284361*c_0101_4^5 + 1412812264256447093397/12620094965375284361*c_0101_4^4 + 29103325641242085513279/12620094965375284361*c_0101_4^3 + 2210847232124159594320/12620094965375284361*c_0101_4^2 + 3065367689037015325395/12620094965375284361*c_0101_4 - 242307774733712601401/12620094965375284361, c_0011_0 - 1, c_0011_1 - 3908607293871896404/12620094965375284361*c_0101_4^19 + 11418782890121071354/12620094965375284361*c_0101_4^18 + 73535348804981001088/12620094965375284361*c_0101_4^17 - 87270804936646481635/12620094965375284361*c_0101_4^16 - 6932958017287638170/970776535798098797*c_0101_4^15 + 110517085858113701235/12620094965375284361*c_0101_4^14 - 790785383443928944021/12620094965375284361*c_0101_4^13 + 702847951960864599783/12620094965375284361*c_0101_4^12 + 649997004391582846100/12620094965375284361*c_0101_4^11 + 115830347418724820013/12620094965375284361*c_0101_4^10 + 587667366723554037612/12620094965375284361*c_0101_4^9 - 891652303625171903736/12620094965375284361*c_0101_4^8 - 690811437921143256512/12620094965375284361*c_0101_4^7 - 529387837780223401769/12620094965375284361*c_0101_4^6 + 51466928582055444137/12620094965375284361*c_0101_4^5 + 135233355439966841514/12620094965375284361*c_0101_4^4 + 125385405288629298419/12620094965375284361*c_0101_4^3 + 78841836105184057805/12620094965375284361*c_0101_4^2 + 15857996084729650799/12620094965375284361*c_0101_4 + 13880934569178382314/12620094965375284361, c_0011_3 + 1611432057308218774/12620094965375284361*c_0101_4^19 - 6356026927493658869/12620094965375284361*c_0101_4^18 - 22900361493052526588/12620094965375284361*c_0101_4^17 + 58466356677412271349/12620094965375284361*c_0101_4^16 - 3367579896509482691/970776535798098797*c_0101_4^15 - 12756820406860843614/12620094965375284361*c_0101_4^14 + 371167083653017225721/12620094965375284361*c_0101_4^13 - 703438405993580967483/12620094965375284361*c_0101_4^12 + 599006847897031030370/12620094965375284361*c_0101_4^11 - 476814157507374717359/12620094965375284361*c_0101_4^10 - 51102566408758013740/12620094965375284361*c_0101_4^9 + 560297024542636240091/12620094965375284361*c_0101_4^8 - 518597554474629867532/12620094965375284361*c_0101_4^7 + 572223364670960630596/12620094965375284361*c_0101_4^6 - 431922428814735433960/12620094965375284361*c_0101_4^5 + 227727223522047938321/12620094965375284361*c_0101_4^4 - 195762320993504833716/12620094965375284361*c_0101_4^3 + 79937692338611931480/12620094965375284361*c_0101_4^2 - 25249583491607503520/12620094965375284361*c_0101_4 + 11838044556182639214/12620094965375284361, c_0101_0 + 7572484164975855661/12620094965375284361*c_0101_4^19 - 23595742636453892205/12620094965375284361*c_0101_4^18 - 133639887423234258272/12620094965375284361*c_0101_4^17 + 182568929245700232869/12620094965375284361*c_0101_4^16 + 4855069564171078875/970776535798098797*c_0101_4^15 - 134921674076320177276/12620094965375284361*c_0101_4^14 + 1584810219956864087309/12620094965375284361*c_0101_4^13 - 1806662784889887866369/12620094965375284361*c_0101_4^12 - 16715194854148387618/12620094965375284361*c_0101_4^11 - 1063011968317417037054/12620094965375284361*c_0101_4^10 - 997626879508991876496/12620094965375284361*c_0101_4^9 + 1957939193239422680525/12620094965375284361*c_0101_4^8 + 230708744786557966752/12620094965375284361*c_0101_4^7 + 1719869506674987899815/12620094965375284361*c_0101_4^6 - 516284033838706722768/12620094965375284361*c_0101_4^5 + 63694730410442354296/12620094965375284361*c_0101_4^4 - 479753988421055953530/12620094965375284361*c_0101_4^3 - 1488597012038683041/12620094965375284361*c_0101_4^2 - 51661622978903840868/12620094965375284361*c_0101_4 + 7083844677975370492/12620094965375284361, c_0101_1 - 2362377375036009956/12620094965375284361*c_0101_4^19 + 10660836045339193316/12620094965375284361*c_0101_4^18 + 31582841952625737652/12620094965375284361*c_0101_4^17 - 117028572137095967815/12620094965375284361*c_0101_4^16 + 4693853291649220364/970776535798098797*c_0101_4^15 + 96179196340059860641/12620094965375284361*c_0101_4^14 - 586854218378402483983/12620094965375284361*c_0101_4^13 + 1246576314855501269020/12620094965375284361*c_0101_4^12 - 703515232275542906082/12620094965375284361*c_0101_4^11 + 1094194859665958771/12620094965375284361*c_0101_4^10 + 179884736682058819446/12620094965375284361*c_0101_4^9 - 1091688881187664985222/12620094965375284361*c_0101_4^8 + 764904232393804370979/12620094965375284361*c_0101_4^7 - 189328395484657214933/12620094965375284361*c_0101_4^6 + 613970445782583972822/12620094965375284361*c_0101_4^5 - 138027001229479193722/12620094965375284361*c_0101_4^4 + 49432887928680811465/12620094965375284361*c_0101_4^3 - 113319983281965937000/12620094965375284361*c_0101_4^2 - 8087115908681732757/12620094965375284361*c_0101_4 - 8576596234015021205/12620094965375284361, c_0101_4^20 - 3*c_0101_4^19 - 18*c_0101_4^18 + 22*c_0101_4^17 + 11*c_0101_4^16 - 16*c_0101_4^15 + 208*c_0101_4^14 - 213*c_0101_4^13 - 28*c_0101_4^12 - 150*c_0101_4^11 - 151*c_0101_4^10 + 226*c_0101_4^9 + 65*c_0101_4^8 + 250*c_0101_4^7 - 30*c_0101_4^6 + 22*c_0101_4^5 - 65*c_0101_4^4 - 11*c_0101_4^3 - 15*c_0101_4^2 - c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB