Magma V2.19-8 Tue Aug 20 2013 16:18:26 on localhost [Seed = 223121464] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2628 geometric_solution 5.90683211 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493958245100 0.202357550830 2 0 3 0 0132 2310 0132 0132 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 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.772510208299 0.507810163822 1 4 3 5 0132 0132 3012 0132 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 -1 1 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.758928371396 1.077767424845 5 2 4 1 3201 1230 0132 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 -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.758928371396 1.077767424845 6 2 6 3 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.944982749268 1.514588334850 5 5 2 3 1302 2031 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 -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.488234292670 1.142655823462 4 4 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278379721309 0.281413970460 ==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' : negation(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' : 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_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['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_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 46 Groebner basis: [ t - 2339353446542540123989851795678911389/60569825752249397707716441175\ 457803*c_0101_4^22 - 21504106459506904668845878404287362487/1211396\ 51504498795415432882350915606*c_0101_4^21 + 80286226609520787539240863725784268061/1211396515044987954154328823\ 50915606*c_0101_4^20 + 106904555159418359267998482083083945002/6056\ 9825752249397707716441175457803*c_0101_4^19 - 527273748984618244698590608470745209339/605698257522493977077164411\ 75457803*c_0101_4^18 - 667628534323753430431787662260187574619/1211\ 39651504498795415432882350915606*c_0101_4^17 + 6512174708984645774012582140428235961455/12113965150449879541543288\ 2350915606*c_0101_4^16 - 417107290285030785551095935224361741831/60\ 569825752249397707716441175457803*c_0101_4^15 - 17748248424520917085408719882504627504093/1211396515044987954154328\ 82350915606*c_0101_4^14 + 9739161680988343265496681287359432152127/\ 121139651504498795415432882350915606*c_0101_4^13 + 9930853708880794205200032552539898770252/60569825752249397707716441\ 175457803*c_0101_4^12 - 17839725313754932608068410742156705975085/1\ 21139651504498795415432882350915606*c_0101_4^11 - 9795597903531855986857170000312020160699/12113965150449879541543288\ 2350915606*c_0101_4^10 + 11400534859564792479445340558125727453885/\ 121139651504498795415432882350915606*c_0101_4^9 + 13590785658741182998901226680055089857797/1211396515044987954154328\ 82350915606*c_0101_4^8 - 7438364414018247766697831648361134279264/6\ 0569825752249397707716441175457803*c_0101_4^7 - 4886704233449658999616587364782497887537/12113965150449879541543288\ 2350915606*c_0101_4^6 + 3992254519531885951072491760951506180920/60\ 569825752249397707716441175457803*c_0101_4^5 - 278176360443325041663182726556414429929/605698257522493977077164411\ 75457803*c_0101_4^4 - 1663761213819608374682811123209449893851/1211\ 39651504498795415432882350915606*c_0101_4^3 + 28900536118996900053356500494562125659/7125861853205811495025463667\ 700918*c_0101_4^2 + 148953256165123072766887913058179342875/1211396\ 51504498795415432882350915606*c_0101_4 - 43289746822150656264456038876626938959/1211396515044987954154328823\ 50915606, c_0011_0 - 1, c_0011_1 + 23638275451176074117982386320364109/605698257522493977077164\ 41175457803*c_0101_4^22 + 112971128781426423301522185639053912/6056\ 9825752249397707716441175457803*c_0101_4^21 - 377090894610726418422715422028015838/605698257522493977077164411754\ 57803*c_0101_4^20 - 1110287260138569785650720149844629295/605698257\ 52249397707716441175457803*c_0101_4^19 + 5006609264500519640260960568179635947/60569825752249397707716441175\ 457803*c_0101_4^18 + 3902813498581052584052252845408110731/60569825\ 752249397707716441175457803*c_0101_4^17 - 30597937956463058172410631182500610589/6056982575224939770771644117\ 5457803*c_0101_4^16 + 154126234589150273460610985505402583/60569825\ 752249397707716441175457803*c_0101_4^15 + 79918429037196855189396259755113571384/6056982575224939770771644117\ 5457803*c_0101_4^14 - 36078890945403965141619141479160797020/605698\ 25752249397707716441175457803*c_0101_4^13 - 81467160108546693764345410144086771158/6056982575224939770771644117\ 5457803*c_0101_4^12 + 67481806686455558535010217887174116594/605698\ 25752249397707716441175457803*c_0101_4^11 + 35642602168724349489904005878864627154/6056982575224939770771644117\ 5457803*c_0101_4^10 - 33855301546738760541002636627807852647/605698\ 25752249397707716441175457803*c_0101_4^9 - 62378560945679112112618145486465647931/6056982575224939770771644117\ 5457803*c_0101_4^8 + 56275398773135492641556575559807403113/6056982\ 5752249397707716441175457803*c_0101_4^7 + 14064832914579766212495353908372881997/6056982575224939770771644117\ 5457803*c_0101_4^6 - 23470988153346233816397339700429645912/6056982\ 5752249397707716441175457803*c_0101_4^5 + 3840972882490940351516317165853723110/60569825752249397707716441175\ 457803*c_0101_4^4 + 3600576528748177378711204262242690140/605698257\ 52249397707716441175457803*c_0101_4^3 - 59515829996678981496777863789759962/3562930926602905747512731833850\ 459*c_0101_4^2 - 283973590485404451707673109419777464/6056982575224\ 9397707716441175457803*c_0101_4 + 351453104771532613861232889714144\ 85/60569825752249397707716441175457803, c_0011_3 + 45199769942694546888831676647856265/605698257522493977077164\ 41175457803*c_0101_4^22 + 210406127739891253183490115296610699/6056\ 9825752249397707716441175457803*c_0101_4^21 - 749245043066235469004019333827439954/605698257522493977077164411754\ 57803*c_0101_4^20 - 2040453539789781945892123252768466526/605698257\ 52249397707716441175457803*c_0101_4^19 + 9857876753196351563088483439387897837/60569825752249397707716441175\ 457803*c_0101_4^18 + 6348362348322760691895378912221200292/60569825\ 752249397707716441175457803*c_0101_4^17 - 59716445229990356914528500945389055790/6056982575224939770771644117\ 5457803*c_0101_4^16 + 7219848176791008162207069529638495339/6056982\ 5752249397707716441175457803*c_0101_4^15 + 154608041169061879157451793073715205749/605698257522493977077164411\ 75457803*c_0101_4^14 - 87317864703642147157091109327408841282/60569\ 825752249397707716441175457803*c_0101_4^13 - 152510947050317362295671791977477267867/605698257522493977077164411\ 75457803*c_0101_4^12 + 148718355617178798646223225196033129310/6056\ 9825752249397707716441175457803*c_0101_4^11 + 58944298190930976191738962419694029964/6056982575224939770771644117\ 5457803*c_0101_4^10 - 75439426871486338352828479447523683385/605698\ 25752249397707716441175457803*c_0101_4^9 - 115805114925696761051987765775891680699/605698257522493977077164411\ 75457803*c_0101_4^8 + 124033125494266903108109983216000010424/60569\ 825752249397707716441175457803*c_0101_4^7 + 18670976146481711960722508508173964268/6056982575224939770771644117\ 5457803*c_0101_4^6 - 50218252260182812167325942372038311414/6056982\ 5752249397707716441175457803*c_0101_4^5 + 9815825263898700435975640835294570345/60569825752249397707716441175\ 457803*c_0101_4^4 + 7115016213683533340607226939632590239/605698257\ 52249397707716441175457803*c_0101_4^3 - 139430469822264588808902868929054773/356293092660290574751273183385\ 0459*c_0101_4^2 - 435806111572121950296807557520775505/605698257522\ 49397707716441175457803*c_0101_4 + 73392903126106642832604744505365429/6056982575224939770771644117545\ 7803, c_0011_5 + 44451245899211502667040400225801368/605698257522493977077164\ 41175457803*c_0101_4^22 + 206736385550328995626045996971204094/6056\ 9825752249397707716441175457803*c_0101_4^21 - 737090409769776358227389230794159091/605698257522493977077164411754\ 57803*c_0101_4^20 - 2000650062879704924616909374863427157/605698257\ 52249397707716441175457803*c_0101_4^19 + 9693289268066631122791980474654146082/60569825752249397707716441175\ 457803*c_0101_4^18 + 6173336626273943403276198436943918764/60569825\ 752249397707716441175457803*c_0101_4^17 - 58623325986004402910122530588110620711/6056982575224939770771644117\ 5457803*c_0101_4^16 + 7455709496997907523550361364034799312/6056982\ 5752249397707716441175457803*c_0101_4^15 + 151204784323082907385948264894740386568/605698257522493977077164411\ 75457803*c_0101_4^14 - 86539587354013315081757647542283343363/60569\ 825752249397707716441175457803*c_0101_4^13 - 147393869317361485287703753767668940620/605698257522493977077164411\ 75457803*c_0101_4^12 + 145953752446990974064497803890721479712/6056\ 9825752249397707716441175457803*c_0101_4^11 + 54759491120978934864808699465827473246/6056982575224939770771644117\ 5457803*c_0101_4^10 - 72442630620661472926854209652376481743/605698\ 25752249397707716441175457803*c_0101_4^9 - 112170151146302810433365240874527232364/605698257522493977077164411\ 75457803*c_0101_4^8 + 121151938080582555056001054432197047180/60569\ 825752249397707716441175457803*c_0101_4^7 + 16093668073089495728125196430923429989/6056982575224939770771644117\ 5457803*c_0101_4^6 - 47797683335785820859945477461652097337/6056982\ 5752249397707716441175457803*c_0101_4^5 + 10679081715496237988935472020874638101/6056982575224939770771644117\ 5457803*c_0101_4^4 + 6018930990156029379812379836907455399/60569825\ 752249397707716441175457803*c_0101_4^3 - 135091820232346206819849909726854106/356293092660290574751273183385\ 0459*c_0101_4^2 - 323673758694793734919587079928337004/605698257522\ 49397707716441175457803*c_0101_4 + 43413530118774484685220910764177056/6056982575224939770771644117545\ 7803, c_0101_0 + 206159032321351307904739968679456417/12113965150449879541543\ 2882350915606*c_0101_3*c_0101_4^22 + 492886882228081030149131869976623974/605698257522493977077164411754\ 57803*c_0101_3*c_0101_4^21 - 3306263505401126177517155546252866391/\ 121139651504498795415432882350915606*c_0101_3*c_0101_4^20 - 4894434180370945695211042603565577582/60569825752249397707716441175\ 457803*c_0101_3*c_0101_4^19 + 4394643586598617079981011489252909753\ 1/121139651504498795415432882350915606*c_0101_3*c_0101_4^18 + 17557725853916501260071613096556935871/6056982575224939770771644117\ 5457803*c_0101_3*c_0101_4^17 - 270846473872583206582820051786663210\ 319/121139651504498795415432882350915606*c_0101_3*c_0101_4^16 - 3064122988798404739238582767321070835/12113965150449879541543288235\ 0915606*c_0101_3*c_0101_4^15 + 360987981058580022002872773143782717\ 321/60569825752249397707716441175457803*c_0101_3*c_0101_4^14 - 309821444211582052711857717641704693015/121139651504498795415432882\ 350915606*c_0101_3*c_0101_4^13 - 7760532302831374101697991154874120\ 13809/121139651504498795415432882350915606*c_0101_3*c_0101_4^12 + 303262001947288338688758275412292291337/605698257522493977077164411\ 75457803*c_0101_3*c_0101_4^11 + 18852080326256491352978843266545285\ 7207/60569825752249397707716441175457803*c_0101_3*c_0101_4^10 - 167433371294011155357624414618653485202/605698257522493977077164411\ 75457803*c_0101_3*c_0101_4^9 - 573538237031335934340389721131177491\ 935/121139651504498795415432882350915606*c_0101_3*c_0101_4^8 + 504338358542832818292469000520263640375/121139651504498795415432882\ 350915606*c_0101_3*c_0101_4^7 + 17763316597688926590359772492040966\ 5609/121139651504498795415432882350915606*c_0101_3*c_0101_4^6 - 119479362183519985855816441058586674613/605698257522493977077164411\ 75457803*c_0101_3*c_0101_4^5 + 211921603347911702152737167294148738\ 31/121139651504498795415432882350915606*c_0101_3*c_0101_4^4 + 20209669550713838032887064185557788243/6056982575224939770771644117\ 5457803*c_0101_3*c_0101_4^3 - 329134487678165722577094038998733318/\ 3562930926602905747512731833850459*c_0101_3*c_0101_4^2 - 1356894052887140856605630897997089236/60569825752249397707716441175\ 457803*c_0101_3*c_0101_4 + 430569851445114394007427705890639553/121\ 139651504498795415432882350915606*c_0101_3, c_0101_3^2 - 5220248474453947288389745962766633/60569825752249397707716\ 441175457803*c_0101_4^22 - 22516762843085306652979627222554203/6056\ 9825752249397707716441175457803*c_0101_4^21 + 95264787871409994366381552493940264/6056982575224939770771644117545\ 7803*c_0101_4^20 + 208039347911776594310536145145721820/60569825752\ 249397707716441175457803*c_0101_4^19 - 1226692274324155499549924986110900922/60569825752249397707716441175\ 457803*c_0101_4^18 - 364583654408859375511159078754915178/605698257\ 52249397707716441175457803*c_0101_4^17 + 7245608869941972508855326881614635283/60569825752249397707716441175\ 457803*c_0101_4^16 - 3122832622784693187075863388325543533/60569825\ 752249397707716441175457803*c_0101_4^15 - 18184716428863677034306475034645166507/6056982575224939770771644117\ 5457803*c_0101_4^14 + 16206194055712844491157810131657727230/605698\ 25752249397707716441175457803*c_0101_4^13 + 15879451376538188735454668549819266647/6056982575224939770771644117\ 5457803*c_0101_4^12 - 23784022315532300842703713330530742872/605698\ 25752249397707716441175457803*c_0101_4^11 - 2889160705698103446445710548130869857/60569825752249397707716441175\ 457803*c_0101_4^10 + 12058368450074345284908389036360931310/6056982\ 5752249397707716441175457803*c_0101_4^9 + 11457228517705656113861971096397052449/6056982575224939770771644117\ 5457803*c_0101_4^8 - 19454241675187906886803669893903424565/6056982\ 5752249397707716441175457803*c_0101_4^7 + 1136456591328059340422324459069391557/60569825752249397707716441175\ 457803*c_0101_4^6 + 7504905577423231839803587045510160005/605698257\ 52249397707716441175457803*c_0101_4^5 - 2427183711301721521374304249450157655/60569825752249397707716441175\ 457803*c_0101_4^4 - 680833253627077647793470275940821828/6056982575\ 2249397707716441175457803*c_0101_4^3 + 21447343958684022007298943471511059/3562930926602905747512731833850\ 459*c_0101_4^2 + 11507035025977187268140902651050376/60569825752249\ 397707716441175457803*c_0101_4 - 2363827545117607411798238632036410\ 9/60569825752249397707716441175457803, c_0101_4^23 + 5*c_0101_4^22 - 15*c_0101_4^21 - 51*c_0101_4^20 + 203*c_0101_4^19 + 217*c_0101_4^18 - 1279*c_0101_4^17 - 300*c_0101_4^16 + 3513*c_0101_4^15 - 757*c_0101_4^14 - 4132*c_0101_4^13 + 2183*c_0101_4^12 + 2514*c_0101_4^11 - 1310*c_0101_4^10 - 3149*c_0101_4^9 + 1896*c_0101_4^8 + 1418*c_0101_4^7 - 1041*c_0101_4^6 - 155*c_0101_4^5 + 255*c_0101_4^4 - 14*c_0101_4^3 - 30*c_0101_4^2 + c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB