Magma V2.19-8 Tue Aug 20 2013 16:14:38 on localhost [Seed = 1208603726] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s620 geometric_solution 5.10469415 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 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 1 0 -1 0 0 1 -1 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.369794059365 0.244144053284 2 0 3 0 0132 2310 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 1 -1 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.746902697002 0.999243383100 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 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 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.001073006379 0.897290540136 2 5 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 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 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.001073006379 0.897290540136 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 1 -1 1 0 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 0 0 0 0 0 0 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.374404682451 1.163827682419 5 3 5 2 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.001332709534 1.114464630199 ==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' : negation(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' : negation(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_0101_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' : negation(d['c_0101_0']), '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' : negation(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' : d['c_0101_0'], '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' : negation(d['c_0101_4']), 'c_1001_2' : negation(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' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(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: 24 Groebner basis: [ t + 278354234555216777844723731/1341949586085056301943184928*c_0101_4^2\ 3 - 1094665064938444083500796965/447316528695018767314394976*c_0101\ _4^21 - 2145245120763011551866874969/670974793042528150971592464*c_\ 0101_4^19 - 18954481823856214363475835623/1677436982606320377428981\ 16*c_0101_4^17 - 32886684220775297882234544935/11182913217375469182\ 8598744*c_0101_4^15 - 115139662486964238658507727591/33548739652126\ 4075485796232*c_0101_4^13 + 1918994838328904776136530903/3106364782\ 604296995238854*c_0101_4^11 + 908521378609440133289742285125/134194\ 9586085056301943184928*c_0101_4^9 + 124752982754211473850369354353/223658264347509383657197488*c_0101_4\ ^7 - 217985541678442016078383296619/670974793042528150971592464*c_0\ 101_4^5 - 669823003806600019946988646897/13419495860850563019431849\ 28*c_0101_4^3 - 14803185954638987385385790905/745527547825031278857\ 32496*c_0101_4, c_0011_0 - 1, c_0011_1 - 892170079113625344638/4659547173906445492858281*c_0101_4^22 + 2544314866966086454964/1553182391302148497619427*c_0101_4^20 + 47406714502423314112430/4659547173906445492858281*c_0101_4^18 + 535041461305539055424482/4659547173906445492858281*c_0101_4^16 + 953052537285739255925714/1553182391302148497619427*c_0101_4^14 + 5884135127920034577096662/4659547173906445492858281*c_0101_4^12 + 383778782608433822302545/517727463767382832539809*c_0101_4^10 - 7710099166333174757524979/4659547173906445492858281*c_0101_4^8 - 2732513228544205264771711/1553182391302148497619427*c_0101_4^6 - 6704854605157926167972371/4659547173906445492858281*c_0101_4^4 + 123489809244808398781375/4659547173906445492858281*c_0101_4^2 + 388776372865077625512837/517727463767382832539809, c_0011_3 + 3008316732273798654239/27957283043438672957149686*c_0101_4^2\ 3 - 29401496340096860541551/37276377391251563942866248*c_0101_4^21 - 454217304318582833362981/55914566086877345914299372*c_0101_4^19 - 1572870884427839999473063/27957283043438672957149686*c_0101_4^17 - 3794537142756028190252723/9319094347812890985716562*c_0101_4^15 - 6061452465305511201023578/13978641521719336478574843*c_0101_4^13 + 1325727405010469435874629/3106364782604296995238854*c_0101_4^11 + 35612647835803972114171642/13978641521719336478574843*c_0101_4^9 - 37029505154893309746920513/37276377391251563942866248*c_0101_4^7 + 35779002706486126700888017/111829132173754691828598744*c_0101_4^5 - 216066903790424808858650359/111829132173754691828598744*c_0101_4^3 - 1925752476040694844548831/6212729565208593990477708*c_0101_4, c_0101_0 + 34152462512413243145609/111829132173754691828598744*c_0101_4\ ^23 - 152953473364354685144603/37276377391251563942866248*c_0101_4^\ 21 + 94273758729261867093875/55914566086877345914299372*c_0101_4^19 - 2296783500507705435818120/13978641521719336478574843*c_0101_4^17 - 1580769380266123952470307/9319094347812890985716562*c_0101_4^15 - 2002671071968718405696411/27957283043438672957149686*c_0101_4^13 + 1466663081449624143341140/1553182391302148497619427*c_0101_4^11 - 196027302005244601204931305/111829132173754691828598744*c_0101_4^9 - 3660614380186931969251867/18638188695625781971433124*c_0101_4^7 - 23046461591393160153664369/55914566086877345914299372*c_0101_4^5 + 253265172838436704103579765/111829132173754691828598744*c_0101_4^3 + 5795021641348937923435507/6212729565208593990477708*c_0101_4, c_0101_1 - 1215580158020687855786/4659547173906445492858281*c_0101_4^22 + 5981525200238864632769/1553182391302148497619427*c_0101_4^20 - 24857992658720036193628/4659547173906445492858281*c_0101_4^18 + 620186215811974633095667/4659547173906445492858281*c_0101_4^16 - 76894723030947698858098/1553182391302148497619427*c_0101_4^14 - 2528452739894791870356595/4659547173906445492858281*c_0101_4^12 - 941985297384475589626955/517727463767382832539809*c_0101_4^10 + 6958935033368733482254618/4659547173906445492858281*c_0101_4^8 + 710926811711030672412347/1553182391302148497619427*c_0101_4^6 + 6276867532391921760798452/4659547173906445492858281*c_0101_4^4 - 1985330886795500465181929/4659547173906445492858281*c_0101_4^2 - 84879230031082557649317/517727463767382832539809, c_0101_4^24 - 12*c_0101_4^22 - 13*c_0101_4^20 - 542*c_0101_4^18 - 1308*c_0101_4^16 - 1384*c_0101_4^14 + 3276*c_0101_4^12 + 2623*c_0101_4^10 + 2121*c_0101_4^8 - 2062*c_0101_4^6 - 2039*c_0101_4^4 - 531*c_0101_4^2 + 162 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB