Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 3768679616] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s245 geometric_solution 4.40875790 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 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 1.604633440495 0.181600955899 0 2 2 0 3201 0132 1023 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 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.351978002025 0.444862156154 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 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.332000685314 0.608114861605 2 4 4 5 0132 2310 3201 0132 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 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.099883332915 0.791726979428 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -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 -1 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.099883332915 0.791726979428 5 4 3 5 3012 0132 0132 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.671008363942 1.140338273386 ==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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 4269302153227917567315303/1042626621862837099244965*c_0101_3^19 + 4075884640689416525785734/208525324372567419848993*c_0101_3^18 + 13551650003222311168672851/1042626621862837099244965*c_0101_3^17 + 11553953897584238080548171/208525324372567419848993*c_0101_3^16 - 84537519878914887930635833/1042626621862837099244965*c_0101_3^15 - 365017417726147129578458201/1042626621862837099244965*c_0101_3^14 + 70421592186242100567295092/208525324372567419848993*c_0101_3^13 + 842280799763810579969086569/1042626621862837099244965*c_0101_3^12 + 140158826121596337232356239/208525324372567419848993*c_0101_3^11 - 884906413655900487065803361/1042626621862837099244965*c_0101_3^10 - 3009336032407848839104797878/1042626621862837099244965*c_0101_3^9 - 892002900165579050271602262/1042626621862837099244965*c_0101_3^8 + 1122689279663971040930622436/1042626621862837099244965*c_0101_3^7 + 181202038009923059137108746/1042626621862837099244965*c_0101_3^6 - 344376867755077721432480269/1042626621862837099244965*c_0101_3^5 + 164450155522929111813064940/208525324372567419848993*c_0101_3^4 + 50567464963098510796198342/1042626621862837099244965*c_0101_3^3 - 146151251533866960525882649/1042626621862837099244965*c_0101_3^2 + 13975287433053820080525018/208525324372567419848993*c_0101_3 + 4565821676196289597364206/1042626621862837099244965, c_0011_0 - 1, c_0011_1 + 436887850668591113717/2149745612088323915969*c_0101_3^19 + 577816579989303354476/2149745612088323915969*c_0101_3^18 - 3216752749245912984721/2149745612088323915969*c_0101_3^17 + 8883809726003520006311/2149745612088323915969*c_0101_3^16 - 34683588680039508361736/2149745612088323915969*c_0101_3^15 + 37523551509705665623459/2149745612088323915969*c_0101_3^14 + 33480351261103486912923/2149745612088323915969*c_0101_3^13 - 26349361806922491057090/2149745612088323915969*c_0101_3^12 - 30657809737256722399579/2149745612088323915969*c_0101_3^11 - 175028590481408610771693/2149745612088323915969*c_0101_3^10 + 136948383256631624147660/2149745612088323915969*c_0101_3^9 + 196637568126632554371037/2149745612088323915969*c_0101_3^8 - 17976210176527212986710/2149745612088323915969*c_0101_3^7 - 109520004951062486960123/2149745612088323915969*c_0101_3^6 + 105068263664633905917346/2149745612088323915969*c_0101_3^5 - 55894339982045857708044/2149745612088323915969*c_0101_3^4 - 28045536075647884109696/2149745612088323915969*c_0101_3^3 + 19101340235680839444376/2149745612088323915969*c_0101_3^2 - 3115283148533210492735/2149745612088323915969*c_0101_3 - 1251255598885302111615/2149745612088323915969, c_0011_4 - 38446730417912421401002/1042626621862837099244965*c_0101_3^1\ 9 + 98715304056664193492579/1042626621862837099244965*c_0101_3^18 + 664525256786355448710909/1042626621862837099244965*c_0101_3^17 - 1303376471808849904067766/1042626621862837099244965*c_0101_3^16 + 1158705801657199420814058/208525324372567419848993*c_0101_3^15 - 12018553558906614299578844/1042626621862837099244965*c_0101_3^14 + 1127829758607467574696651/1042626621862837099244965*c_0101_3^13 + 13205450549233088228622661/1042626621862837099244965*c_0101_3^12 + 7391286082197658061940886/1042626621862837099244965*c_0101_3^11 + 18252548141700270254468891/1042626621862837099244965*c_0101_3^10 - 59949599848586686520832127/1042626621862837099244965*c_0101_3^9 - 22642773302608967343747539/1042626621862837099244965*c_0101_3^8 + 29173282913164401956538526/1042626621862837099244965*c_0101_3^7 + 15438522510173288246269469/1042626621862837099244965*c_0101_3^6 - 6696626264606570575810758/208525324372567419848993*c_0101_3^5 + 24248906235507978059101931/1042626621862837099244965*c_0101_3^4 - 438444279454962178456246/1042626621862837099244965*c_0101_3^3 - 5443860253839079382449169/1042626621862837099244965*c_0101_3^2 + 2102579187844046892592498/1042626621862837099244965*c_0101_3 + 176955240983613072304837/1042626621862837099244965, c_0101_0 + 1075991860762253998740219/1042626621862837099244965*c_0101_3\ ^19 + 2659725773110897222741857/1042626621862837099244965*c_0101_3^\ 18 - 4086815974152671794947718/1042626621862837099244965*c_0101_3^1\ 7 + 19700075990609465105692562/1042626621862837099244965*c_0101_3^1\ 6 - 12791208353533141315196487/208525324372567419848993*c_0101_3^15 + 31871955632519164034759238/1042626621862837099244965*c_0101_3^14 + 82953973386476347401298143/1042626621862837099244965*c_0101_3^13 + 23646327035256470817015223/1042626621862837099244965*c_0101_3^12 + 13488091412959035901746533/1042626621862837099244965*c_0101_3^11 - 352507795495817592125418272/1042626621862837099244965*c_0101_3^10 - 19280016484569838614835151/1042626621862837099244965*c_0101_3^9 + 234450563171489499862183848/1042626621862837099244965*c_0101_3^8 + 31320017490582269586771333/1042626621862837099244965*c_0101_3^7 - 171088909961724925735916663/1042626621862837099244965*c_0101_3^6 + 31214328539460447079254236/208525324372567419848993*c_0101_3^5 - 24425127412639560511629337/1042626621862837099244965*c_0101_3^4 - 47812641197167348270410368/1042626621862837099244965*c_0101_3^3 + 23503462820379595579470768/1042626621862837099244965*c_0101_3^2 - 965261961737747238399071/1042626621862837099244965*c_0101_3 - 1095252644398384105650019/1042626621862837099244965, c_0101_2 + 720147827596046487493886/1042626621862837099244965*c_0101_3^\ 19 + 1779415028540992929006823/1042626621862837099244965*c_0101_3^1\ 8 - 2747296065464791363183217/1042626621862837099244965*c_0101_3^17 + 13161491474215571148663763/1042626621862837099244965*c_0101_3^16 - 8558837460636149057639637/208525324372567419848993*c_0101_3^15 + 21141188748398328851887287/1042626621862837099244965*c_0101_3^14 + 56103375588314795438073482/1042626621862837099244965*c_0101_3^13 + 15272772203031399852858442/1042626621862837099244965*c_0101_3^12 + 8781417056245681284497657/1042626621862837099244965*c_0101_3^11 - 236059904635978108538924148/1042626621862837099244965*c_0101_3^10 - 13648811622156389597783039/1042626621862837099244965*c_0101_3^9 + 159052377815928176331731662/1042626621862837099244965*c_0101_3^8 + 19667019243609509706683267/1042626621862837099244965*c_0101_3^7 - 113305014649481463879584262/1042626621862837099244965*c_0101_3^6 + 21522682764590659168105469/208525324372567419848993*c_0101_3^5 - 13632794499691357909361423/1042626621862837099244965*c_0101_3^4 - 34308072927280137781784612/1042626621862837099244965*c_0101_3^3 + 16385981766910211137644752/1042626621862837099244965*c_0101_3^2 - 1032220129196196155213409/1042626621862837099244965*c_0101_3 - 1063630206826451550419991/1042626621862837099244965, c_0101_3^20 + 2*c_0101_3^19 - 5*c_0101_3^18 + 20*c_0101_3^17 - 68*c_0101_3^16 + 57*c_0101_3^15 + 65*c_0101_3^14 - 15*c_0101_3^13 - 335*c_0101_3^11 + 134*c_0101_3^10 + 236*c_0101_3^9 - 70*c_0101_3^8 - 174*c_0101_3^7 + 222*c_0101_3^6 - 88*c_0101_3^5 - 39*c_0101_3^4 + 44*c_0101_3^3 - 11*c_0101_3^2 - 2*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB