Magma V2.19-8 Tue Aug 20 2013 16:17:46 on localhost [Seed = 2732801601] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2008 geometric_solution 5.56159598 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 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.449685694678 0.707671890918 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.545182770606 0.551335514757 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 0 -1 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 1 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.545182770606 0.551335514757 1 5 2 5 0132 0132 2310 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 -1 1 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.950971755784 1.056157581913 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.967871558021 0.608450988938 5 3 5 3 2031 0132 1302 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 1 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491918432207 0.200300486065 4 6 6 4 0132 1230 3012 1023 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 0 0 0 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.629453660283 0.369794336788 ==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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(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' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(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_0110_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 9583653638881036159067099936415647022236135/51432048063058468212349\ 1924360452967432*c_0110_5^18 + 409594874475314967151884277314964107\ 48651995/1028640961261169364246983848720905934864*c_0110_5^17 - 1067760850680697867780226225130404974390150623/10286409612611693642\ 46983848720905934864*c_0110_5^16 - 1871284435034451901920298902307019062546136013/10286409612611693642\ 46983848720905934864*c_0110_5^15 + 17895223617330285698315199154957605191387808903/1028640961261169364\ 246983848720905934864*c_0110_5^14 + 1557177543115315741497646614121538402256605185/64290060078823085265\ 436490545056620929*c_0110_5^13 - 4185211266894514084967579495293320\ 3782069068615/514320480630584682123491924360452967432*c_0110_5^12 - 64998403630350391851263536584882914904132755065/1028640961261169364\ 246983848720905934864*c_0110_5^11 - 11218674785944685877942645794072366421257150185/2571602403152923410\ 61745962180226483716*c_0110_5^10 - 1311852737699312821703249989916329143818488403/10286409612611693642\ 46983848720905934864*c_0110_5^9 + 275717013447541988782172888685511\ 878355310323139/1028640961261169364246983848720905934864*c_0110_5^8 + 149139765679265475871205576629687719858323208619/1028640961261169\ 364246983848720905934864*c_0110_5^7 - 1599360112604112113370351564919779746626590115/64290060078823085265\ 436490545056620929*c_0110_5^6 - 50470543953096037223025483352494249\ 20038497505/257160240315292341061745962180226483716*c_0110_5^5 - 10880412543688497088501213470777921483903180201/1285801201576461705\ 30872981090113241858*c_0110_5^4 - 575566429344678514861181589548218\ 20880109731511/1028640961261169364246983848720905934864*c_0110_5^3 - 1188552123035017754536505566030305382909664931/51432048063058468212\ 3491924360452967432*c_0110_5^2 + 5715270531991204493581974541825375\ 726802248549/1028640961261169364246983848720905934864*c_0110_5 - 279253693819401668687840994901404167985277799/514320480630584682123\ 491924360452967432, c_0011_0 - 1, c_0011_1 - 56035317943511300625120948666178223856/642900600788230852654\ 36490545056620929*c_0110_5^18 - 24173751667721390213363660640110814\ 6149/128580120157646170530872981090113241858*c_0110_5^17 + 3119035570762472269811280642954767162072/64290060078823085265436490\ 545056620929*c_0110_5^16 + 5532959387468624094324295686345974968222\ /64290060078823085265436490545056620929*c_0110_5^15 - 52198727711642584851627858965559837698951/6429006007882308526543649\ 0545056620929*c_0110_5^14 - 738717174927826887982741253401744723068\ 50/64290060078823085265436490545056620929*c_0110_5^13 + 486233828016280235486183372186066595220411/128580120157646170530872\ 981090113241858*c_0110_5^12 + 1947097634253268985293694682444955327\ 40942/64290060078823085265436490545056620929*c_0110_5^11 + 135567246214133089592875982798270039847457/642900600788230852654364\ 90545056620929*c_0110_5^10 + 71188889628382164080163442335139903167\ 21/64290060078823085265436490545056620929*c_0110_5^9 - 805447869677275638608824623349655500814983/642900600788230852654364\ 90545056620929*c_0110_5^8 - 452107122055643220803270376050999823376\ 080/64290060078823085265436490545056620929*c_0110_5^7 + 128108985392470864897616015990824714023913/128580120157646170530872\ 981090113241858*c_0110_5^6 + 58835945018758180011905905473612587527\ 542/64290060078823085265436490545056620929*c_0110_5^5 + 255393271771419926316099356416075795403707/642900600788230852654364\ 90545056620929*c_0110_5^4 + 347259133168148177342309199862420100990\ 689/128580120157646170530872981090113241858*c_0110_5^3 + 10917707545350251466447074466612039911869/6429006007882308526543649\ 0545056620929*c_0110_5^2 - 1596839587765152418100895262910875394083\ 2/64290060078823085265436490545056620929*c_0110_5 + 1448672598098257380160939532798213012181/64290060078823085265436490\ 545056620929, c_0101_0 + 133563074707640332488792502570856297083/12858012015764617053\ 0872981090113241858*c_0110_5^18 + 287100158805742999398128796198596\ 270651/128580120157646170530872981090113241858*c_0110_5^17 - 3718311099341104782846779042752483415572/64290060078823085265436490\ 545056620929*c_0110_5^16 - 1313288666030528052258821594965358255777\ 7/128580120157646170530872981090113241858*c_0110_5^15 + 124521582097515073390613118948626928822841/128580120157646170530872\ 981090113241858*c_0110_5^14 + 8758093914778043608138608154933079840\ 3345/64290060078823085265436490545056620929*c_0110_5^13 - 290434964446513358770678710330064213062069/642900600788230852654364\ 90545056620929*c_0110_5^12 - 45996982176930455058606778540221851352\ 7241/128580120157646170530872981090113241858*c_0110_5^11 - 159705631501603284591669503927238099334015/642900600788230852654364\ 90545056620929*c_0110_5^10 - 69412119070955833868642558046521477534\ 23/64290060078823085265436490545056620929*c_0110_5^9 + 960293000436615239928887718612859385391493/642900600788230852654364\ 90545056620929*c_0110_5^8 + 106336294070167612555850699453892391358\ 5635/128580120157646170530872981090113241858*c_0110_5^7 - 161916536225506393477423709978550204288133/128580120157646170530872\ 981090113241858*c_0110_5^6 - 70553570227161243927786285019795155468\ 677/64290060078823085265436490545056620929*c_0110_5^5 - 304233459251896627022807097793139296659720/642900600788230852654364\ 90545056620929*c_0110_5^4 - 204384383793817872371853659781648875683\ 646/64290060078823085265436490545056620929*c_0110_5^3 - 22640123540571408589092574201900346955205/1285801201576461705308729\ 81090113241858*c_0110_5^2 + 195213151951610847336175102566121732062\ 03/64290060078823085265436490545056620929*c_0110_5 - 1767747050442146640505237463888958511138/64290060078823085265436490\ 545056620929, c_0101_1 - 218210590186444776690137953550003079539/12858012015764617053\ 0872981090113241858*c_0110_5^18 - 468229743298320792577227892758469\ 314257/128580120157646170530872981090113241858*c_0110_5^17 + 12151644647910076194923671878256332788591/1285801201576461705308729\ 81090113241858*c_0110_5^16 + 10705244842608899108693169699204608672\ 764/64290060078823085265436490545056620929*c_0110_5^15 - 101765193947001324002270348011252559024811/642900600788230852654364\ 90545056620929*c_0110_5^14 - 28541984112186702613263109160027891617\ 7373/128580120157646170530872981090113241858*c_0110_5^13 + 950264325035047302572026665315432953138289/128580120157646170530872\ 981090113241858*c_0110_5^12 + 7480877233256044550481247505788704010\ 26187/128580120157646170530872981090113241858*c_0110_5^11 + 259053748624987560638122560566802647953934/642900600788230852654364\ 90545056620929*c_0110_5^10 + 10163620106937811905498935800546858442\ 761/64290060078823085265436490545056620929*c_0110_5^9 - 1569007784609984326333565565022996445602361/64290060078823085265436\ 490545056620929*c_0110_5^8 - 17254304455375743925803668234422116994\ 94917/128580120157646170530872981090113241858*c_0110_5^7 + 273844663792514220601773213461818489742031/128580120157646170530872\ 981090113241858*c_0110_5^6 + 22998162036422282053962488075389433327\ 1025/128580120157646170530872981090113241858*c_0110_5^5 + 992440473142043345456928212254146240399195/128580120157646170530872\ 981090113241858*c_0110_5^4 + 66431150476595241478635216577614802923\ 1461/128580120157646170530872981090113241858*c_0110_5^3 + 33550097152997442205043311529124634911041/1285801201576461705308729\ 81090113241858*c_0110_5^2 - 319421245801209659430469929996328731320\ 25/64290060078823085265436490545056620929*c_0110_5 + 3038977201787447044059160705358102231159/64290060078823085265436490\ 545056620929, c_0101_4 - 155087293138775456416159196904179559309/12858012015764617053\ 0872981090113241858*c_0110_5^18 - 331398755858218319703175033857269\ 219771/128580120157646170530872981090113241858*c_0110_5^17 + 8639418733847395816583615487430483102123/12858012015764617053087298\ 1090113241858*c_0110_5^16 + 151399118452957215878707242653202496378\ 95/128580120157646170530872981090113241858*c_0110_5^15 - 72394605801495182625178214661755253647327/6429006007882308526543649\ 0545056620929*c_0110_5^14 - 201564252478046000842265977419985047956\ 655/128580120157646170530872981090113241858*c_0110_5^13 + 677176958998735899973368398950413548136653/128580120157646170530872\ 981090113241858*c_0110_5^12 + 5256546417198778653592116193273464145\ 28125/128580120157646170530872981090113241858*c_0110_5^11 + 363575716060986315425166391904859191037833/128580120157646170530872\ 981090113241858*c_0110_5^10 + 5597206075114808298539006387537432752\ 583/64290060078823085265436490545056620929*c_0110_5^9 - 1115375974003486831917213523404300453509191/64290060078823085265436\ 490545056620929*c_0110_5^8 - 12063075495423332915495276357524287532\ 53713/128580120157646170530872981090113241858*c_0110_5^7 + 205275295187979382753101374218895640552459/128580120157646170530872\ 981090113241858*c_0110_5^6 + 16199954247697543140481455584347886956\ 7031/128580120157646170530872981090113241858*c_0110_5^5 + 352399795551434357049885306553252064650610/642900600788230852654364\ 90545056620929*c_0110_5^4 + 465535773280366214020110083233679451810\ 261/128580120157646170530872981090113241858*c_0110_5^3 + 19826419156586542210386188714682948872717/1285801201576461705308729\ 81090113241858*c_0110_5^2 - 459208168260730041361759057206747288704\ 27/128580120157646170530872981090113241858*c_0110_5 + 2238882484214886992214158042012019408096/64290060078823085265436490\ 545056620929, c_0101_6 + 34337088154961790752766811677760367781/642900600788230852654\ 36490545056620929*c_0110_5^18 + 73936271630895293987601539143231993\ 915/64290060078823085265436490545056620929*c_0110_5^17 - 1911373334798993267958389289667085046162/64290060078823085265436490\ 545056620929*c_0110_5^16 - 6765960185084370672093656186134874066099\ /128580120157646170530872981090113241858*c_0110_5^15 + 31988991681077233644517636117995450297876/6429006007882308526543649\ 0545056620929*c_0110_5^14 + 451339319262377366372247734049779464685\ 48/64290060078823085265436490545056620929*c_0110_5^13 - 148977200500993785567938413492071879934594/642900600788230852654364\ 90545056620929*c_0110_5^12 - 11860303997977037900261631157731232873\ 0402/64290060078823085265436490545056620929*c_0110_5^11 - 166919038651149966568629939017062489774807/128580120157646170530872\ 981090113241858*c_0110_5^10 - 4265478135759949143895531810530683244\ 464/64290060078823085265436490545056620929*c_0110_5^9 + 493279898619728143819656835386031906264803/642900600788230852654364\ 90545056620929*c_0110_5^8 + 275326230642306166667220231864846001057\ 594/64290060078823085265436490545056620929*c_0110_5^7 - 37852468649493284433979476704343862976627/6429006007882308526543649\ 0545056620929*c_0110_5^6 - 3560416328821416790449570674387708318905\ 6/64290060078823085265436490545056620929*c_0110_5^5 - 313500353987543117668965504849815739348813/128580120157646170530872\ 981090113241858*c_0110_5^4 - 10583985907165714118378231688123107916\ 4253/64290060078823085265436490545056620929*c_0110_5^3 - 7074509743412607598752707559081871081159/64290060078823085265436490\ 545056620929*c_0110_5^2 + 19116342017391076060397844226089630185165\ /128580120157646170530872981090113241858*c_0110_5 - 859702328732402229837918360328044194994/642900600788230852654364905\ 45056620929, c_0110_5^19 + 2*c_0110_5^18 - 56*c_0110_5^17 - 90*c_0110_5^16 + 947*c_0110_5^15 + 1172*c_0110_5^14 - 4545*c_0110_5^13 - 2793*c_0110_5^12 - 1877*c_0110_5^11 + 252*c_0110_5^10 + 14394*c_0110_5^9 + 5811*c_0110_5^8 - 2400*c_0110_5^7 - 870*c_0110_5^6 - 4397*c_0110_5^5 - 2381*c_0110_5^4 + 287*c_0110_5^3 + 315*c_0110_5^2 - 70*c_0110_5 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB