Magma V2.19-8 Tue Aug 20 2013 16:16:39 on localhost [Seed = 3802365496] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0947 geometric_solution 4.84980787 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506926183404 0.540884715609 0 4 3 3 0132 0132 3201 0321 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 1 0 0 0 1 -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.576491354477 1.177460305684 0 0 5 5 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.199139814200 1.868738893884 1 1 0 4 2310 0321 0132 1023 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 -1 0 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.576491354477 1.177460305684 6 1 6 3 0132 0132 1023 1023 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 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.575334618830 0.386828994307 2 5 2 5 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.697179406629 0.336913812291 4 6 4 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571211732752 0.091583313929 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_4' : negation(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' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 1407502747612782970619900947/6527987216647874946216833*c_0101_6^30 + 20270060194665339185455258717/6527987216647874946216833*c_0101_6^29 - 118868310808932530544427169269/6527987216647874946216833*c_0101_6\ ^28 + 328177114112289499262144529501/6527987216647874946216833*c_01\ 01_6^27 - 184112240687729648777857795582/6527987216647874946216833*\ c_0101_6^26 - 116898369367324658715769052831/5021528628190673035551\ 41*c_0101_6^25 + 4403774212899132581880585451451/652798721664787494\ 6216833*c_0101_6^24 - 2452264865892518268274124904305/6527987216647\ 874946216833*c_0101_6^23 - 10869860165216528388806699049505/6527987\ 216647874946216833*c_0101_6^22 + 23580703604043209168796761329063/6\ 527987216647874946216833*c_0101_6^21 - 361996219664122320687026687687/502152862819067303555141*c_0101_6^20 - 45005167490558238189134506337133/6527987216647874946216833*c_0101\ _6^19 + 57784920724687753781142373953485/6527987216647874946216833*\ c_0101_6^18 + 15425587299678348494095010510941/65279872166478749462\ 16833*c_0101_6^17 - 93476616493550293089678888349263/65279872166478\ 74946216833*c_0101_6^16 + 56169345052164893574284897217964/65279872\ 16647874946216833*c_0101_6^15 + 53820939675862017885282382128514/65\ 27987216647874946216833*c_0101_6^14 - 81236442430940345028423919466879/6527987216647874946216833*c_0101_6\ ^13 + 7973172716594830905243535186132/6527987216647874946216833*c_0\ 101_6^12 + 40223900057492058543986590138047/65279872166478749462168\ 33*c_0101_6^11 - 18588632711268186657156249317282/65279872166478749\ 46216833*c_0101_6^10 - 4466396992122759519525882040455/652798721664\ 7874946216833*c_0101_6^9 + 864114188919213122548931665549/652798721\ 6647874946216833*c_0101_6^8 + 37188289830892145038195474740/5021528\ 62819067303555141*c_0101_6^7 + 4211688810371993398887005672467/6527\ 987216647874946216833*c_0101_6^6 - 2378992103897307147908232156562/6527987216647874946216833*c_0101_6^\ 5 - 1090168685860786329960436127387/6527987216647874946216833*c_010\ 1_6^4 + 876506627308019873268988583780/6527987216647874946216833*c_\ 0101_6^3 - 31979171068882039983924430826/6527987216647874946216833*\ c_0101_6^2 - 46678553200409431418541607081/652798721664787494621683\ 3*c_0101_6 + 3667961862355480937965464681/6527987216647874946216833\ , c_0011_0 - 1, c_0011_3 + 6292616237494238613482356/502152862819067303555141*c_0101_6^\ 30 - 85870739166384525376950975/502152862819067303555141*c_0101_6^2\ 9 + 462780312701016153272688099/502152862819067303555141*c_0101_6^2\ 8 - 1061470988457880978234008689/502152862819067303555141*c_0101_6^\ 27 - 320391702731387648065219742/502152862819067303555141*c_0101_6^\ 26 + 7557722863152877316794053227/502152862819067303555141*c_0101_6\ ^25 - 14798264724017627232860151011/502152862819067303555141*c_0101\ _6^24 - 4153588445615653899925439829/502152862819067303555141*c_010\ 1_6^23 + 58843760985487975292624285326/502152862819067303555141*c_0\ 101_6^22 - 71801154898665284296831514704/502152862819067303555141*c\ _0101_6^21 - 60283923756571555106064308398/502152862819067303555141\ *c_0101_6^20 + 229554752476190464186197914487/502152862819067303555\ 141*c_0101_6^19 - 119566941454016309145833468039/502152862819067303\ 555141*c_0101_6^18 - 276046395354798301804520224079/502152862819067\ 303555141*c_0101_6^17 + 405717655593758498630814300738/502152862819\ 067303555141*c_0101_6^16 + 44021294331425181079048589529/5021528628\ 19067303555141*c_0101_6^15 - 470090931259279509480222753489/5021528\ 62819067303555141*c_0101_6^14 + 240379445292346794700866060249/5021\ 52862819067303555141*c_0101_6^13 + 237342449840092368422121008742/502152862819067303555141*c_0101_6^12 - 258693637536616424412942121106/502152862819067303555141*c_0101_6^\ 11 - 21378334813106643972439842540/502152862819067303555141*c_0101_\ 6^10 + 97209378298965339215252182467/502152862819067303555141*c_010\ 1_6^9 - 8484137539928745672310285979/502152862819067303555141*c_010\ 1_6^8 - 2638048538412418712040789324/502152862819067303555141*c_010\ 1_6^7 - 19370229172943718242044987766/502152862819067303555141*c_01\ 01_6^6 - 2382817057390272463011030828/502152862819067303555141*c_01\ 01_6^5 + 14644583527403137599207699163/502152862819067303555141*c_0\ 101_6^4 - 2798643647546522547645151273/502152862819067303555141*c_0\ 101_6^3 - 2655885746208257821074215727/502152862819067303555141*c_0\ 101_6^2 + 946391211896800639437279478/502152862819067303555141*c_01\ 01_6 - 58453648045536710348043101/502152862819067303555141, c_0011_5 + 14774385045686206773844974/502152862819067303555141*c_0101_6\ ^30 - 201397314689542869212278391/502152862819067303555141*c_0101_6\ ^29 + 1081103410248086185595055930/502152862819067303555141*c_0101_\ 6^28 - 2443355644542923417479611989/502152862819067303555141*c_0101\ _6^27 - 960585604908402174579387136/502152862819067303555141*c_0101\ _6^26 + 18115939002896749529986708750/502152862819067303555141*c_01\ 01_6^25 - 34376728509348970070432439417/502152862819067303555141*c_\ 0101_6^24 - 12817030788243970866149929311/502152862819067303555141*\ c_0101_6^23 + 142957146558259914965758438475/5021528628190673035551\ 41*c_0101_6^22 - 165563979565315658825068648790/5021528628190673035\ 55141*c_0101_6^21 - 161877520930645156505354777955/5021528628190673\ 03555141*c_0101_6^20 + 559446816744036132341759726814/5021528628190\ 67303555141*c_0101_6^19 - 258580254210807477807855541626/5021528628\ 19067303555141*c_0101_6^18 - 714910721812234898165180524943/5021528\ 62819067303555141*c_0101_6^17 + 981958120144105406890354193522/5021\ 52862819067303555141*c_0101_6^16 + 177051832528260202179605217131/502152862819067303555141*c_0101_6^15 - 1202711532261269661451230433814/502152862819067303555141*c_0101_6\ ^14 + 557110306129032763848170352542/502152862819067303555141*c_010\ 1_6^13 + 653294204447148398802586646313/502152862819067303555141*c_\ 0101_6^12 - 658277337682612164996496634395/502152862819067303555141\ *c_0101_6^11 - 82220686579084262644875113625/5021528628190673035551\ 41*c_0101_6^10 + 265023260539354199457415825335/5021528628190673035\ 55141*c_0101_6^9 - 22966905056023636783472644110/502152862819067303\ 555141*c_0101_6^8 - 9211546605264697285651853782/502152862819067303\ 555141*c_0101_6^7 - 46975817718780435403301222255/50215286281906730\ 3555141*c_0101_6^6 - 9289189256497784845629818996/50215286281906730\ 3555141*c_0101_6^5 + 39050667824135963006182403054/5021528628190673\ 03555141*c_0101_6^4 - 6606862886928389347879463101/5021528628190673\ 03555141*c_0101_6^3 - 7493269714571135340318930641/5021528628190673\ 03555141*c_0101_6^2 + 2595455089710325147853779328/5021528628190673\ 03555141*c_0101_6 - 161094814857316321936196068/5021528628190673035\ 55141, c_0101_1 + 3173935841541284227189899/502152862819067303555141*c_0101_6^\ 30 - 43258879070740342797740767/502152862819067303555141*c_0101_6^2\ 9 + 232663458286178342313855396/502152862819067303555141*c_0101_6^2\ 8 - 531036151872358472239606530/502152862819067303555141*c_0101_6^2\ 7 - 173235226814598200235032918/502152862819067303555141*c_0101_6^2\ 6 + 3817015388705407167660648005/502152862819067303555141*c_0101_6^\ 25 - 7405817071800886600977576821/502152862819067303555141*c_0101_6\ ^24 - 2252953700877430929674173767/502152862819067303555141*c_0101_\ 6^23 + 29751516447784065022887603041/502152862819067303555141*c_010\ 1_6^22 - 35795986038258860004631679568/502152862819067303555141*c_0\ 101_6^21 - 31251946319141620875332238338/502152862819067303555141*c\ _0101_6^20 + 115880594174339576564341192496/50215286281906730355514\ 1*c_0101_6^19 - 58596838277103274991816347161/502152862819067303555\ 141*c_0101_6^18 - 141304740952321365727956143962/502152862819067303\ 555141*c_0101_6^17 + 203944040935691987595895094000/502152862819067\ 303555141*c_0101_6^16 + 25723306930248970839099519852/5021528628190\ 67303555141*c_0101_6^15 - 239176240205244037718952390440/5021528628\ 19067303555141*c_0101_6^14 + 119204453057059486749191488694/5021528\ 62819067303555141*c_0101_6^13 + 122852318747146349897052372257/5021\ 52862819067303555141*c_0101_6^12 - 130944411723912682002132389181/502152862819067303555141*c_0101_6^11 - 12280256415489343091229287180/502152862819067303555141*c_0101_6^1\ 0 + 49921432807286689018478532648/502152862819067303555141*c_0101_6\ ^9 - 4253902583639278657526742512/502152862819067303555141*c_0101_6\ ^8 - 1396258863384745494915286042/502152862819067303555141*c_0101_6\ ^7 - 9722985245505356554348250296/502152862819067303555141*c_0101_6\ ^6 - 1376667046455578070759241749/502152862819067303555141*c_0101_6\ ^5 + 7490441226243183597021700454/502152862819067303555141*c_0101_6\ ^4 - 1384978556292117424295440046/502152862819067303555141*c_0101_6\ ^3 - 1377782772257727187224730635/502152862819067303555141*c_0101_6\ ^2 + 487225997399453197407026193/502152862819067303555141*c_0101_6 - 30019254847403179898172125/502152862819067303555141, c_0101_2 - 5287024708347807154693978/502152862819067303555141*c_0101_6^\ 30 + 71833658789642731404066725/502152862819067303555141*c_0101_6^2\ 9 - 384321578906896183928580689/502152862819067303555141*c_0101_6^2\ 8 + 865625692626541028893409242/502152862819067303555141*c_0101_6^2\ 7 + 340658862527260793142388226/502152862819067303555141*c_0101_6^2\ 6 - 6386598274169366699198248521/502152862819067303555141*c_0101_6^\ 25 + 12092877778505995807772935901/502152862819067303555141*c_0101_\ 6^24 + 4453055865341084163353925954/502152862819067303555141*c_0101\ _6^23 - 49945158611618474472383022798/502152862819067303555141*c_01\ 01_6^22 + 57897949929417745140594475324/502152862819067303555141*c_\ 0101_6^21 + 55811748078764163109819662606/502152862819067303555141*\ c_0101_6^20 - 193822787842851178033091893454/5021528628190673035551\ 41*c_0101_6^19 + 90517934888696833578853076527/50215286281906730355\ 5141*c_0101_6^18 + 244679527048747906253643846264/50215286281906730\ 3555141*c_0101_6^17 - 337658331767391038962392584580/50215286281906\ 7303555141*c_0101_6^16 - 57538593257739193347843915203/502152862819\ 067303555141*c_0101_6^15 + 408009329067547272049136848984/502152862\ 819067303555141*c_0101_6^14 - 190961135148987088737283670946/502152\ 862819067303555141*c_0101_6^13 - 217736408264538472129578604316/502\ 152862819067303555141*c_0101_6^12 + 220687675871476451069874784496/502152862819067303555141*c_0101_6^11 + 26148648812173193026816859061/502152862819067303555141*c_0101_6^1\ 0 - 86722228305230298363030658307/502152862819067303555141*c_0101_6\ ^9 + 7115846101537717461196686269/502152862819067303555141*c_0101_6\ ^8 + 2407115836892962829044782970/502152862819067303555141*c_0101_6\ ^7 + 16115631521333142616327602093/502152862819067303555141*c_0101_\ 6^6 + 2988826284424226278171811087/502152862819067303555141*c_0101_\ 6^5 - 12917797567325056496093437904/502152862819067303555141*c_0101\ _6^4 + 2216964187519271399597605490/502152862819067303555141*c_0101\ _6^3 + 2436663700256275746103765457/502152862819067303555141*c_0101\ _6^2 - 843935239255394894947508857/502152862819067303555141*c_0101_\ 6 + 51526393210132614002977082/502152862819067303555141, c_0101_4 + 8867821743483748633752897/502152862819067303555141*c_0101_6^\ 30 - 120975568567231196645350659/502152862819067303555141*c_0101_6^\ 29 + 651605152762533334862175098/502152862819067303555141*c_0101_6^\ 28 - 1492307616204932956669745902/502152862819067303555141*c_0101_6\ ^27 - 462607141224151669368842560/502152862819067303555141*c_0101_6\ ^26 + 10661762533159545889797315300/502152862819067303555141*c_0101\ _6^25 - 20815152617200366504878566755/502152862819067303555141*c_01\ 01_6^24 - 6007076221574462778305136591/502152862819067303555141*c_0\ 101_6^23 + 83078534035430717219675528742/502152862819067303555141*c\ _0101_6^22 - 100911056999974011076782944608/50215286281906730355514\ 1*c_0101_6^21 - 85867820982840540164109265675/502152862819067303555\ 141*c_0101_6^20 + 324089835723308268484300133325/502152862819067303\ 555141*c_0101_6^19 - 167182721413453972658518273078/502152862819067\ 303555141*c_0101_6^18 - 391723107976368635833752581800/502152862819\ 067303555141*c_0101_6^17 + 572363867040046233132857391082/502152862\ 819067303555141*c_0101_6^16 + 65463317018080930247120261562/5021528\ 62819067303555141*c_0101_6^15 - 666222898984360553471248904253/5021\ 52862819067303555141*c_0101_6^14 + 337958147464251804748292393677/502152862819067303555141*c_0101_6^13 + 338484542128268283531968861820/502152862819067303555141*c_0101_6^\ 12 - 366483166700536785280445453770/502152862819067303555141*c_0101\ _6^11 - 31512224021813314065200634571/502152862819067303555141*c_01\ 01_6^10 + 138547670252210182250797146363/502152862819067303555141*c\ _0101_6^9 - 12156496065079457820749862717/502152862819067303555141*\ c_0101_6^8 - 3844695238202264664248750180/502152862819067303555141*\ c_0101_6^7 - 27304094599374576759941243958/502152862819067303555141\ *c_0101_6^6 - 3533317119741814724604802285/502152862819067303555141\ *c_0101_6^5 + 20833302355135929488420615957/50215286281906730355514\ 1*c_0101_6^4 - 3946259743158248192784475772/50215286281906730355514\ 1*c_0101_6^3 - 3797105137827677103440664637/50215286281906730355514\ 1*c_0101_6^2 + 1351828893118634703776736920/50215286281906730355514\ 1*c_0101_6 - 85262427817885552340615536/502152862819067303555141, c_0101_6^31 - 15*c_0101_6^30 + 92*c_0101_6^29 - 268*c_0101_6^28 + 176*c_0101_6^27 + 1274*c_0101_6^26 - 3980*c_0101_6^25 + 2505*c_0101_6^24 + 10300*c_0101_6^23 - 24103*c_0101_6^22 + 5733*c_0101_6^21 + 49754*c_0101_6^20 - 68467*c_0101_6^19 - 18713*c_0101_6^18 + 124652*c_0101_6^17 - 80160*c_0101_6^16 - 85411*c_0101_6^15 + 140210*c_0101_6^14 - 13383*c_0101_6^13 - 93351*c_0101_6^12 + 52540*c_0101_6^11 + 20562*c_0101_6^10 - 22624*c_0101_6^9 + 1417*c_0101_6^8 - 2488*c_0101_6^7 + 3777*c_0101_6^6 + 2903*c_0101_6^5 - 3639*c_0101_6^4 + 173*c_0101_6^3 + 736*c_0101_6^2 - 217*c_0101_6 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB