Magma V2.19-8 Tue Aug 20 2013 16:17:51 on localhost [Seed = 2968595539] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2089 geometric_solution 5.59805932 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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.678946130369 0.516131938912 0 2 3 0 3201 0132 0132 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 1 0 -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.706573764349 0.614835323553 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 -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 -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 0.469847798872 0.527691146327 2 5 4 1 2031 2310 1023 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 -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.469847798872 0.527691146327 2 6 3 6 0132 0132 1023 2310 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 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.527698020170 1.596746360578 5 5 2 3 1230 3012 0132 3201 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 0 0 0 0 0 0 0.546271903252 0.683541707174 4 4 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 -1 1 1 0 -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.429730196316 0.163179154167 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), '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_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 32778424078681076025164499988372192581/9990616217467847895468043928\ 635467328*c_0110_6^21 - 282267472406456161521523545160674366657/199\ 81232434935695790936087857270934656*c_0110_6^20 + 3516274507464665917302200841834589368523/19981232434935695790936087\ 857270934656*c_0110_6^19 - 762176789658529174873100764930756111115/\ 4995308108733923947734021964317733664*c_0110_6^18 - 319103872624750218534196780018671877143/454118918975811267975820178\ 574339424*c_0110_6^17 + 2403207809654887947221031576594279740069/24\ 97654054366961973867010982158866832*c_0110_6^16 + 1408063713393057626815191419780465814227/24976540543669619738670109\ 82158866832*c_0110_6^15 - 39495046649234543433737351287808392340425\ /19981232434935695790936087857270934656*c_0110_6^14 + 10362126875808758350219161001159160977687/1998123243493569579093608\ 7857270934656*c_0110_6^13 + 155275084822726534586600748928487468721\ 03/9990616217467847895468043928635467328*c_0110_6^12 - 584621558465953151018913364451316332345/499530810873392394773402196\ 4317733664*c_0110_6^11 + 6517180590006479156815822821892969984335/1\ 9981232434935695790936087857270934656*c_0110_6^10 - 722135294111777956590924466416429376733/499530810873392394773402196\ 4317733664*c_0110_6^9 + 22317825221722930880301510815177726208495/1\ 9981232434935695790936087857270934656*c_0110_6^8 + 350383036357869862049764234257824246543/259496525129035010271897244\ 899622528*c_0110_6^7 - 2230740381260242149730993768864250177/193654\ 1232306231419939531678355392*c_0110_6^6 + 13002375049597514557881836592721380521/1491136748875798193353439392\ 33365184*c_0110_6^5 + 103732970568502409261077787834990086069/89201\ 930513105784780964677934245244*c_0110_6^4 - 2192305359478688907091161292018855740767/19981232434935695790936087\ 857270934656*c_0110_6^3 - 3010182388315922391712516074396529205289/\ 19981232434935695790936087857270934656*c_0110_6^2 + 352555516198020754614323952706628214877/499530810873392394773402196\ 4317733664*c_0110_6 - 168121725479682050504828110367324276239/49953\ 08108733923947734021964317733664, c_0011_0 - 1, c_0011_1 - 7297939362019606981851836489569091/1621853282056468814199357\ 7806226408*c_0110_6^21 - 53571903265459227704450677948089151/324370\ 65641129376283987155612452816*c_0110_6^20 + 811812829268168222113730794646740097/324370656411293762839871556124\ 52816*c_0110_6^19 - 151124169613821311722692867733977105/4054633205\ 141172035498394451556602*c_0110_6^18 - 515413806853882057054498887588279117/810926641028234407099678890311\ 3204*c_0110_6^17 + 615005650080437904433582598846931907/40546332051\ 41172035498394451556602*c_0110_6^16 - 98261379186279847264764554374507761/4054633205141172035498394451556\ 602*c_0110_6^15 - 6460508921125069650446942898470348879/32437065641\ 129376283987155612452816*c_0110_6^14 + 4717297876119483399450371308469983013/32437065641129376283987155612\ 452816*c_0110_6^13 + 1530618400610895974221265883902724791/16218532\ 820564688141993577806226408*c_0110_6^12 - 74741050090750698469813107502757723/8109266410282344070996788903113\ 204*c_0110_6^11 + 1136277409349557472546655812493149977/32437065641\ 129376283987155612452816*c_0110_6^10 - 126367353896930365780624664523562321/405463320514117203549839445155\ 6602*c_0110_6^9 + 5535051458050964912797040807714847041/32437065641\ 129376283987155612452816*c_0110_6^8 + 2177205538542073776201229169266498617/32437065641129376283987155612\ 452816*c_0110_6^7 - 33724893205365766387743574486443513/24206765403\ 8278927492441459794424*c_0110_6^6 + 17118448311002313928590122422791751/2420676540382789274924414597944\ 24*c_0110_6^5 + 344192724054866081579738340063722183/40546332051411\ 72035498394451556602*c_0110_6^4 - 975764087434573060029405819543873\ 289/32437065641129376283987155612452816*c_0110_6^3 - 154377540001083818361242107479385523/324370656411293762839871556124\ 52816*c_0110_6^2 + 8839745213527123394872469588786151/4054633205141\ 172035498394451556602*c_0110_6 - 2996294144688928924571706223789939\ 5/8109266410282344070996788903113204, c_0011_3 + 39313613931497367699666319677994775/113529729743952816993955\ 044643584856*c_0110_6^21 + 307428240593655083803735644378715651/227\ 059459487905633987910089287169712*c_0110_6^20 - 4296313573513091291589800034639392749/22705945948790563398791008928\ 7169712*c_0110_6^19 + 686645264383882381849966550095916367/28382432\ 435988204248488761160896214*c_0110_6^18 + 3060191225740699353865143879542238601/56764864871976408496977522321\ 792428*c_0110_6^17 - 2896782735898663914309245226630023315/28382432\ 435988204248488761160896214*c_0110_6^16 - 164242795169277158931486019687148857/283824324359882042484887611608\ 96214*c_0110_6^15 + 33617808183390978968668844463823427091/22705945\ 9487905633987910089287169712*c_0110_6^14 - 16084375707887955634774229756865557233/2270594594879056339879100892\ 87169712*c_0110_6^13 - 10289073181525915293470639587635290939/11352\ 9729743952816993955044643584856*c_0110_6^12 - 1053583261470297037245988792238107053/56764864871976408496977522321\ 792428*c_0110_6^11 - 6131165918215366817042087094659299221/22705945\ 9487905633987910089287169712*c_0110_6^10 + 364875098071710295278027744343498117/283824324359882042484887611608\ 96214*c_0110_6^9 - 29190724903499711723503874524570218557/227059459\ 487905633987910089287169712*c_0110_6^8 - 2737240834164895623720955756899792803/32437065641129376283987155612\ 452816*c_0110_6^7 + 19425132197315980071453323664248027/24206765403\ 8278927492441459794424*c_0110_6^6 - 59173317039015900825326817793594955/1694473578267952492447090218560\ 968*c_0110_6^5 - 314621024613735845756439825819713053/4054633205141\ 172035498394451556602*c_0110_6^4 + 66155237611942463244133379618938565/2270594594879056339879100892871\ 69712*c_0110_6^3 + 764915331226961243975834501766129015/22705945948\ 7905633987910089287169712*c_0110_6^2 - 67656958703522213418695176476531709/2838243243598820424848876116089\ 6214*c_0110_6 + 55116411642214884680544376886578415/567648648719764\ 08496977522321792428, c_0011_5 + 6389745655452193922382421692235553/1621853282056468814199357\ 7806226408*c_0110_6^21 + 50715066334987499187022573733002869/324370\ 65641129376283987155612452816*c_0110_6^20 - 697216507964946779931592980083263947/324370656411293762839871556124\ 52816*c_0110_6^19 + 105870520662537899878467011258451903/4054633205\ 141172035498394451556602*c_0110_6^18 + 537495678404107817483254271568355871/810926641028234407099678890311\ 3204*c_0110_6^17 - 488386049908385067861215197084333437/40546332051\ 41172035498394451556602*c_0110_6^16 - 58751027049879938463077123635721467/4054633205141172035498394451556\ 602*c_0110_6^15 + 6145333883022525724471008734336811477/32437065641\ 129376283987155612452816*c_0110_6^14 - 3013720439327023827594924745939287303/32437065641129376283987155612\ 452816*c_0110_6^13 - 1865945488996884725026577353116065133/16218532\ 820564688141993577806226408*c_0110_6^12 - 7820629281108408362327468425615091/81092664102823440709967889031132\ 04*c_0110_6^11 - 1357772144772781394917866564964296595/324370656411\ 29376283987155612452816*c_0110_6^10 + 75732612030691935601978717266414105/4054633205141172035498394451556\ 602*c_0110_6^9 - 4810945224635535376841301680533640683/324370656411\ 29376283987155612452816*c_0110_6^8 - 3477387890628182977447283257365645571/32437065641129376283987155612\ 452816*c_0110_6^7 + 26029626750222336576476443894740219/24206765403\ 8278927492441459794424*c_0110_6^6 - 11666962574373295388250767788062341/2420676540382789274924414597944\ 24*c_0110_6^5 - 397790606643550122804330363309965185/40546332051411\ 72035498394451556602*c_0110_6^4 + 319533144225809169013353450522447\ 923/32437065641129376283987155612452816*c_0110_6^3 + 89392910164706091233412864645419265/3243706564112937628398715561245\ 2816*c_0110_6^2 - 19403144898995921872120517373943707/4054633205141\ 172035498394451556602*c_0110_6 + 1568187003752949832899953709023908\ 1/8109266410282344070996788903113204, c_0101_0 - 550047526716563860669084213642996/20273166025705860177491972\ 25778301*c_0110_6^21 - 4432659297772100996499130284396323/405463320\ 5141172035498394451556602*c_0110_6^20 + 120301358860486992700722970988053689/810926641028234407099678890311\ 3204*c_0110_6^19 - 135708971004518797636360518586998901/81092664102\ 82344070996788903113204*c_0110_6^18 - 211708856832653853110410230159661235/405463320514117203549839445155\ 6602*c_0110_6^17 + 180932245463620703478670772511535565/20273166025\ 70586017749197225778301*c_0110_6^16 + 51488416885983851646162264015900872/2027316602570586017749197225778\ 301*c_0110_6^15 - 325395302786979367409791534873766913/202731660257\ 0586017749197225778301*c_0110_6^14 + 558738864217056367918321459279413477/810926641028234407099678890311\ 3204*c_0110_6^13 + 909032598645778342863361314976695655/81092664102\ 82344070996788903113204*c_0110_6^12 - 44784149618487969560835528280456613/2027316602570586017749197225778\ 301*c_0110_6^11 + 43208796678304069363802652273723782/2027316602570\ 586017749197225778301*c_0110_6^10 - 173468706950749459883760909483742339/810926641028234407099678890311\ 3204*c_0110_6^9 + 391172319182542982718960516741891409/405463320514\ 1172035498394451556602*c_0110_6^8 + 675244080292908309418026945554139157/810926641028234407099678890311\ 3204*c_0110_6^7 - 13156036744774904497390060761951619/1210338270191\ 39463746220729897212*c_0110_6^6 + 638629254914589178026947868641861\ /30258456754784865936555182474303*c_0110_6^5 + 343230501756830268024838425709010903/405463320514117203549839445155\ 6602*c_0110_6^4 - 40723266489192130190017331817577145/2027316602570\ 586017749197225778301*c_0110_6^3 - 107873441143545053063200946719693725/810926641028234407099678890311\ 3204*c_0110_6^2 + 25463826265270156240117702654747851/8109266410282\ 344070996788903113204*c_0110_6 - 8341477809758740181463890520769057\ /4054633205141172035498394451556602, c_0101_4 - 1107862660484493762889224251955364/1419121621799410212424438\ 0580448107*c_0110_6^21 - 4163332479415962554116630595519220/1419121\ 6217994102124244380580448107*c_0110_6^20 + 61373433701972504709904477853753569/1419121621799410212424438058044\ 8107*c_0110_6^19 - 86227156540727684273029948237472633/141912162179\ 94102124244380580448107*c_0110_6^18 - 171483023934498965857081501709064809/141912162179941021242443805804\ 48107*c_0110_6^17 + 384639576401455886987518223406472413/1419121621\ 7994102124244380580448107*c_0110_6^16 - 46395165701878524342766141496978505/1419121621799410212424438058044\ 8107*c_0110_6^15 - 543671095560763694188023715457852274/14191216217\ 994102124244380580448107*c_0110_6^14 + 420245350217643734206916970873412027/141912162179941021242443805804\ 48107*c_0110_6^13 + 222844067068721196437281538776612919/1419121621\ 7994102124244380580448107*c_0110_6^12 - 78210587372780206413163739935885373/1419121621799410212424438058044\ 8107*c_0110_6^11 + 166261951573870813608678968516171213/14191216217\ 994102124244380580448107*c_0110_6^10 - 103353457951285397591472254234367659/141912162179941021242443805804\ 48107*c_0110_6^9 + 456904069242414997893084182102125753/14191216217\ 994102124244380580448107*c_0110_6^8 + 25693684899107462203782680406016235/2027316602570586017749197225778\ 301*c_0110_6^7 - 850506919882281104977891376410100/3025845675478486\ 5936555182474303*c_0110_6^6 + 3626444845371843382147031602926080/21\ 1809197283494061555886277320121*c_0110_6^5 + 29682262253188699344523259566355383/2027316602570586017749197225778\ 301*c_0110_6^4 - 106788987814197114582333609363308614/1419121621799\ 4102124244380580448107*c_0110_6^3 + 25192371805787476869752823454995031/1419121621799410212424438058044\ 8107*c_0110_6^2 + 24267385352256011421510916833042328/1419121621799\ 4102124244380580448107*c_0110_6 - 396904510296192969651403737761320\ 0/14191216217994102124244380580448107, c_0110_6^22 + 9/2*c_0110_6^21 - 105/2*c_0110_6^20 + 37*c_0110_6^19 + 206*c_0110_6^18 - 216*c_0110_6^17 - 212*c_0110_6^16 + 933/2*c_0110_6^15 + 75/2*c_0110_6^14 - 440*c_0110_6^13 - 168*c_0110_6^12 - 171/2*c_0110_6^11 + 5*c_0110_6^10 - 667/2*c_0110_6^9 - 929/2*c_0110_6^8 + 154*c_0110_6^7 + 67*c_0110_6^6 - 306*c_0110_6^5 - 205/2*c_0110_6^4 + 79/2*c_0110_6^3 + c_0110_6^2 + 2*c_0110_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB