Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 3035965520] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0619 geometric_solution 4.62084500 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 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 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.569784514261 0.334932850696 3 2 2 0 0132 3012 2031 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 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.695651018069 0.766727265987 1 3 0 1 1230 3201 0132 1302 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 1 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.695651018069 0.766727265987 1 4 2 4 0132 0132 2310 1023 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 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 1.830010018413 1.141859242424 5 3 5 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.733170631494 0.357187794040 4 6 4 6 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821273847718 0.113485892021 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688100961993 0.061289608734 ==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_2_6' : d['1'], 's_1_6' : 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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_0']})} 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_1, c_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 105558361989374543667232015940670/4973092369698165645728313965521*c\ _0110_6^20 + 7430309354779827186435431309899/4973092369698165645728\ 313965521*c_0110_6^19 + 845414316287770784322851636306446/497309236\ 9698165645728313965521*c_0110_6^18 - 694166368478073632447974181254860/4973092369698165645728313965521*c\ _0110_6^17 + 32760769285414780774472066075107790/497309236969816564\ 5728313965521*c_0110_6^16 + 8057612075873597955953135141728830/4973\ 092369698165645728313965521*c_0110_6^15 - 77142940610290386313013771067262056/4973092369698165645728313965521\ *c_0110_6^14 - 7602778678737076782743125520825799/49730923696981656\ 45728313965521*c_0110_6^13 - 53771794336706868603120676238911526/49\ 73092369698165645728313965521*c_0110_6^12 - 98787947719906202700635888164410823/4973092369698165645728313965521\ *c_0110_6^11 + 132007610700931280616194558942051082/497309236969816\ 5645728313965521*c_0110_6^10 + 123035503395449842248228696483306848\ /4973092369698165645728313965521*c_0110_6^9 + 29381068047144008778627336358483252/4973092369698165645728313965521\ *c_0110_6^8 + 83974014378399307279025185227500493/49730923696981656\ 45728313965521*c_0110_6^7 + 2796569000120145580015659342639363/4973\ 092369698165645728313965521*c_0110_6^6 - 72750088275342990960432101998957745/4973092369698165645728313965521\ *c_0110_6^5 - 45792998458772602383183377555611146/49730923696981656\ 45728313965521*c_0110_6^4 - 36583387683460800833093715109550992/497\ 3092369698165645728313965521*c_0110_6^3 - 27808552268171030207816252138542876/4973092369698165645728313965521\ *c_0110_6^2 - 9033627572589343334603324015179009/497309236969816564\ 5728313965521*c_0110_6 - 1081003135323074643497078660172857/4973092\ 369698165645728313965521, c_0011_0 - 1, c_0011_1 - 3169013547015388825375934770062/4973092369698165645728313965\ 521*c_0110_6^20 + 1960651565492866695363962092829/49730923696981656\ 45728313965521*c_0110_6^19 + 24322736473465474069642891371881/49730\ 92369698165645728313965521*c_0110_6^18 - 34264989680894426107149983978748/4973092369698165645728313965521*c_\ 0110_6^17 + 1002197813274608168612343503627446/49730923696981656457\ 28313965521*c_0110_6^16 - 306755319780206822901081571828210/4973092\ 369698165645728313965521*c_0110_6^15 - 2153840360061613463755702514429359/4973092369698165645728313965521*\ c_0110_6^14 + 978341028069545659918362181196238/4973092369698165645\ 728313965521*c_0110_6^13 - 2136067446899648782404249033751923/49730\ 92369698165645728313965521*c_0110_6^12 - 1870399644844893772101629169381682/4973092369698165645728313965521*\ c_0110_6^11 + 5011721243910125099587452011204104/497309236969816564\ 5728313965521*c_0110_6^10 + 969188419165506007709669136299163/49730\ 92369698165645728313965521*c_0110_6^9 + 241236445603706874524259495660529/4973092369698165645728313965521*c\ _0110_6^8 + 2475793622867935247393903674546655/49730923696981656457\ 28313965521*c_0110_6^7 - 1193607585741657217459843156154653/4973092\ 369698165645728313965521*c_0110_6^6 - 1657596926150313845064606090094733/4973092369698165645728313965521*\ c_0110_6^5 - 462955403366835078174970059999835/49730923696981656457\ 28313965521*c_0110_6^4 - 790959533662550243149097564656919/49730923\ 69698165645728313965521*c_0110_6^3 - 422354498128017627603845011827768/4973092369698165645728313965521*c\ _0110_6^2 - 13515793554775046040149337287797/4973092369698165645728\ 313965521*c_0110_6 + 7887440698568419851218977420953/49730923696981\ 65645728313965521, c_0101_1 - 1873860337704409593074182342890/4973092369698165645728313965\ 521*c_0110_6^20 - 814435174024512718832860030529/497309236969816564\ 5728313965521*c_0110_6^19 + 15584676098884739313601399627717/497309\ 2369698165645728313965521*c_0110_6^18 - 5071266858186945681255936972183/4973092369698165645728313965521*c_0\ 110_6^17 + 571442485205061829044293878683138/4973092369698165645728\ 313965521*c_0110_6^16 + 442315192959996643482909614008255/497309236\ 9698165645728313965521*c_0110_6^15 - 1458754880304818189647897767137072/4973092369698165645728313965521*\ c_0110_6^14 - 773082119053390618534721147471665/4973092369698165645\ 728313965521*c_0110_6^13 - 680651349603036434669390878149212/497309\ 2369698165645728313965521*c_0110_6^12 - 2390968090567326711693422027043112/4973092369698165645728313965521*\ c_0110_6^11 + 1799723065990772457174302064189685/497309236969816564\ 5728313965521*c_0110_6^10 + 3645471290410774791813624194299651/4973\ 092369698165645728313965521*c_0110_6^9 + 841034658988943052370200797223903/4973092369698165645728313965521*c\ _0110_6^8 + 1591400291218842803083163875427743/49730923696981656457\ 28313965521*c_0110_6^7 + 761978913015298553499168623954650/49730923\ 69698165645728313965521*c_0110_6^6 - 1624215348020513891778810150678641/4973092369698165645728313965521*\ c_0110_6^5 - 1294407325996931769174254666714424/4973092369698165645\ 728313965521*c_0110_6^4 - 803615249475056172341343866963667/4973092\ 369698165645728313965521*c_0110_6^3 - 741016903537806306146472803520335/4973092369698165645728313965521*c\ _0110_6^2 - 291912940578084463621294439041677/497309236969816564572\ 8313965521*c_0110_6 - 33264869049693289767308215151297/497309236969\ 8165645728313965521, c_0101_2 + 1071647763388490802538887223408/4973092369698165645728313965\ 521*c_0110_6^20 - 1523452482734359383723639360398/49730923696981656\ 45728313965521*c_0110_6^19 - 7541297101807012174313011078304/497309\ 2369698165645728313965521*c_0110_6^18 + 18065193017713858625309132111152/4973092369698165645728313965521*c_\ 0110_6^17 - 349241337258374259211742624477582/497309236969816564572\ 8313965521*c_0110_6^16 + 377546699462038279788065466749012/49730923\ 69698165645728313965521*c_0110_6^15 + 595994543147314351474757929722627/4973092369698165645728313965521*c\ _0110_6^14 - 888683758388486045802223556603566/49730923696981656457\ 28313965521*c_0110_6^13 + 1051393822416955811717701223336927/497309\ 2369698165645728313965521*c_0110_6^12 + 30092346872661675216882197900152/4973092369698165645728313965521*c_\ 0110_6^11 - 2014390557009251476236166491884360/49730923696981656457\ 28313965521*c_0110_6^10 + 989556408153324444172033103604031/4973092\ 369698165645728313965521*c_0110_6^9 + 904677910796499123315069614025/4973092369698165645728313965521*c_01\ 10_6^8 - 765400142352665512274258871146760/497309236969816564572831\ 3965521*c_0110_6^7 + 835671413414394871260391772820002/497309236969\ 8165645728313965521*c_0110_6^6 + 223160743743414445494975179957286/\ 4973092369698165645728313965521*c_0110_6^5 - 135761885813085110628394827413454/4973092369698165645728313965521*c\ _0110_6^4 + 154173358849640032429733377150027/497309236969816564572\ 8313965521*c_0110_6^3 + 3173504610418106369860929287955/49730923696\ 98165645728313965521*c_0110_6^2 - 53634673036875837560018058443234/\ 4973092369698165645728313965521*c_0110_6 - 14239031500201104516743313863780/4973092369698165645728313965521, c_0101_4 - 2622213844972124101039866680446/4973092369698165645728313965\ 521*c_0110_6^20 + 1137965801507839220530018803108/49730923696981656\ 45728313965521*c_0110_6^19 + 20784674272568573552017763747895/49730\ 92369698165645728313965521*c_0110_6^18 - 24847716383625332065754328519364/4973092369698165645728313965521*c_\ 0110_6^17 + 821293400032879712606011255271491/497309236969816564572\ 8313965521*c_0110_6^16 - 96900575500420826671534504337151/497309236\ 9698165645728313965521*c_0110_6^15 - 1942613513326906319912976253941034/4973092369698165645728313965521*\ c_0110_6^14 + 512833599797151249726555096100173/4973092369698165645\ 728313965521*c_0110_6^13 - 1380090624536663915047407189760756/49730\ 92369698165645728313965521*c_0110_6^12 - 1958602228530813204241986598935087/4973092369698165645728313965521*\ c_0110_6^11 + 4097583617139659985564651809458688/497309236969816564\ 5728313965521*c_0110_6^10 + 1713244483275805044851371448762360/4973\ 092369698165645728313965521*c_0110_6^9 - 159992050145157911453407558405107/4973092369698165645728313965521*c\ _0110_6^8 + 1975092065637873344235036952699226/49730923696981656457\ 28313965521*c_0110_6^7 - 684221072901831447581154344241730/49730923\ 69698165645728313965521*c_0110_6^6 - 1670333006842923619807465693288143/4973092369698165645728313965521*\ c_0110_6^5 - 482901179366825574090515490659892/49730923696981656457\ 28313965521*c_0110_6^4 - 626403728906155995330519167721407/49730923\ 69698165645728313965521*c_0110_6^3 - 413938859721418209945715172282698/4973092369698165645728313965521*c\ _0110_6^2 - 29656152760362323569242641356248/4973092369698165645728\ 313965521*c_0110_6 + 5690514378706856904560698283804/49730923696981\ 65645728313965521, c_0101_5 - 1659651671151192964412820825150/4973092369698165645728313965\ 521*c_0110_6^20 + 1051531442191239485091130757723/49730923696981656\ 45728313965521*c_0110_6^19 + 12735008890702306116982182997126/49730\ 92369698165645728313965521*c_0110_6^18 - 18065086340217853559359141651375/4973092369698165645728313965521*c_\ 0110_6^17 + 524920790371876534850200811915965/497309236969816564572\ 8313965521*c_0110_6^16 - 168901853654297459676589803274413/49730923\ 69698165645728313965521*c_0110_6^15 - 1128068631783602119100236927150517/4973092369698165645728313965521*\ c_0110_6^14 + 505366538449131821963717984893806/4973092369698165645\ 728313965521*c_0110_6^13 - 1089154545534120185661462597520400/49730\ 92369698165645728313965521*c_0110_6^12 - 915756512072669857991416866965203/4973092369698165645728313965521*c\ _0110_6^11 + 2571621390972502318483202008923117/4973092369698165645\ 728313965521*c_0110_6^10 + 527451084122676671239873190673181/497309\ 2369698165645728313965521*c_0110_6^9 + 112113386312211895864461298346456/4973092369698165645728313965521*c\ _0110_6^8 + 1144135764896826969517885404096093/49730923696981656457\ 28313965521*c_0110_6^7 - 569496915120586399593824699206249/49730923\ 69698165645728313965521*c_0110_6^6 - 802534795820956094032328298325307/4973092369698165645728313965521*c\ _0110_6^5 - 266345619139136503318388854455060/497309236969816564572\ 8313965521*c_0110_6^4 - 380901572815912173152552671759242/497309236\ 9698165645728313965521*c_0110_6^3 - 207466090245263888434404719071011/4973092369698165645728313965521*c\ _0110_6^2 - 31476095126007459301631895124007/4973092369698165645728\ 313965521*c_0110_6 - 2880041099329152321506044600019/49730923696981\ 65645728313965521, c_0110_6^21 - 8*c_0110_6^19 + 6*c_0110_6^18 - 310*c_0110_6^17 - 98*c_0110_6^16 + 721*c_0110_6^15 + 126*c_0110_6^14 + 524*c_0110_6^13 + 965*c_0110_6^12 - 1175*c_0110_6^11 - 1249*c_0110_6^10 - 384*c_0110_6^9 - 814*c_0110_6^8 - 83*c_0110_6^7 + 681*c_0110_6^6 + 489*c_0110_6^5 + 381*c_0110_6^4 + 290*c_0110_6^3 + 106*c_0110_6^2 + 17*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB