Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 981182188] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1526 geometric_solution 5.32337714 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482159252573 0.158209953184 2 0 2 0 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645435323473 0.456178701362 1 3 1 4 0132 0132 1023 0132 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 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 2.412701699810 1.151614883892 5 2 6 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 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 -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 0 0 0 0.007279719940 0.923116634245 3 6 2 5 3201 1023 0132 3201 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.007279719940 0.923116634245 3 4 5 5 0132 2310 2031 1302 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 0 0 0 1 0 0 -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.389672099695 0.341161420847 4 6 6 3 1023 1230 3012 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.490370588067 0.960928690275 ==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' : negation(d['1']), 's_3_2' : negation(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' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_4'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : 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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 8520526348828320455765638784742271315151775179377295318102713925489\ 2771/12086591575461587766907895112226861348317424753823263967001742\ 100731752448*c_0101_6^28 - 4441353123062761706019806544128461820850\ 3719704173514506761743722999502075/12086591575461587766907895112226\ 861348317424753823263967001742100731752448*c_0101_6^26 + 3023674901373616719583829031303002511811232129383615578243774545683\ 453887473/120865915754615877669078951122268613483174247538232639670\ 01742100731752448*c_0101_6^24 - 10095538523358525279730394616265738\ 925773427455367645232943262570620444927051/151082394693269847086348\ 6889028357668539678094227907995875217762591469056*c_0101_6^22 + 4809996499447065130595844541389688596897229968105241042589830140586\ 59688021217/6043295787730793883453947556113430674158712376911631983\ 500871050365876224*c_0101_6^20 - 6607434506573971592669323284825528\ 70431771365566776950990254358870005072875803/1510823946932698470863\ 486889028357668539678094227907995875217762591469056*c_0101_6^18 + 1528220107047877243488851983513932024855805311508456146253150409009\ 0109718855423/12086591575461587766907895112226861348317424753823263\ 967001742100731752448*c_0101_6^16 - 2546786041479151317977367727586878427741225386525667098807465503014\ 7694400302241/12086591575461587766907895112226861348317424753823263\ 967001742100731752448*c_0101_6^14 + 6402360262137521440237897671439275419063575561946444231321387011689\ 427172750209/302164789386539694172697377805671533707935618845581599\ 1750435525182938112*c_0101_6^12 - 779671477345691682083624912511789\ 4932456743936542010053191115300656920358044795/60432957877307938834\ 53947556113430674158712376911631983500871050365876224*c_0101_6^10 + 2979418548511107157563151621396089480874048758321821031991993332767\ 005319262005/604329578773079388345394755611343067415871237691163198\ 3500871050365876224*c_0101_6^8 - 1034132904237170871696084303488963\ 728827868133374098308095289101445796792070223/604329578773079388345\ 3947556113430674158712376911631983500871050365876224*c_0101_6^6 + 7289084442048664827127027991174609492004403991825093496546520313418\ 19451034761/1208659157546158776690789511222686134831742475382326396\ 7001742100731752448*c_0101_6^4 - 1023796268127050119882461320931940\ 1969381736425857555928578153079620292127495/75541197346634923543174\ 3444514178834269839047113953997937608881295734528*c_0101_6^2 + 9117130910867807275564370625007027006763919306753143717398318183498\ 878599/590165604270585340181049566026702214273311755557776560888756\ 9385122926, c_0011_0 - 1, c_0011_1 - 172357541423516185439711578626896616477371641169496819024158\ 012935/551395601070327909074265287966553893627619742418944524042050\ 2783180544*c_0101_6^28 + 897467242488933152763657129340604416430606\ 16138852891778829230627951/5513956010703279090742652879665538936276\ 197424189445240420502783180544*c_0101_6^26 - 6066849262812540441922781221280235253547040045163161745950233189760\ 621/551395601070327909074265287966553893627619742418944524042050278\ 3180544*c_0101_6^24 + 200021427184563442531808847909319665522932936\ 95220456365427312890610929/6892445013379098863428316099581923670345\ 24678023680655052562847897568*c_0101_6^22 - 9286132831086779527158922342705903401413885366503851001636391160335\ 96973/2756978005351639545371326439832769468138098712094722620210251\ 391590272*c_0101_6^20 + 1207181306470719843067214774697510043459868\ 487938219255010338792125653699/689244501337909886342831609958192367\ 034524678023680655052562847897568*c_0101_6^18 - 2547212819968769432958449745444729215477737956075951048327339579482\ 6588147/55139560107032790907426528796655389362761974241894452404205\ 02783180544*c_0101_6^16 + 36896069470963221292439399032253881731243\ 410520363314768659920164451646877/551395601070327909074265287966553\ 8936276197424189445240420502783180544*c_0101_6^14 - 7495360943012876034119132613510914581454243042443370651701087482005\ 915345/137848900267581977268566321991638473406904935604736131010512\ 5695795136*c_0101_6^12 + 646037617942343392376165217731192071157695\ 6206850609978627012559849241951/27569780053516395453713264398327694\ 68138098712094722620210251391590272*c_0101_6^10 - 1644272080111034313680436030885517324316074656647647234620159522075\ 547105/275697800535163954537132643983276946813809871209472262021025\ 1391590272*c_0101_6^8 + 8586540177245992351848031895557090770042455\ 57584738977745742734886023763/2756978005351639545371326439832769468\ 138098712094722620210251391590272*c_0101_6^6 - 3915516608889124724409311528328670223537754256045546845499138245635\ 83829/5513956010703279090742652879665538936276197424189445240420502\ 783180544*c_0101_6^4 + 55975094122943356737646456027976779106678145\ 0547090218368158118418781/86155562667238735792853951244774045879315\ 584752960081881570355987196*c_0101_6^2 + 6423655922420424070266663275503942241667140589406047110232598317742\ /215388906668096839482134878111935114698288961882400204703925889967\ 99, c_0011_4 + 225981250006331008657273669156512589112949673128710741066874\ 132134415/302164789386539694172697377805671533707935618845581599175\ 0435525182938112*c_0101_6^29 - 117703473562606743294891809928673542\ 380942253109479929301228228726654231/302164789386539694172697377805\ 6715337079356188455815991750435525182938112*c_0101_6^27 + 7972504186838154281637569925479338567291576638706681887225695258679\ 079333/302164789386539694172697377805671533707935618845581599175043\ 5525182938112*c_0101_6^25 - 263786755430788740357076569480760434961\ 55953212314024098101706302236679837/3777059867331746177158717222570\ 89417134919523556976998968804440647867264*c_0101_6^23 + 1233749654191747643285796299644362211348556078328357890027658491210\ 587323013/151082394693269847086348688902835766853967809422790799587\ 5217762591469056*c_0101_6^21 - 163004661649690881446781988040706009\ 5897954572661150130358986217491885589043/37770598673317461771587172\ 2257089417134919523556976998968804440647867264*c_0101_6^19 + 3538240148379645180714127602040013920996754311881610313349295362628\ 9082438555/30216478938653969417269737780567153370793561884558159917\ 50435525182938112*c_0101_6^17 - 53692100751642173311423680301561137\ 739691487608253195388937581771186546342357/302164789386539694172697\ 3778056715337079356188455815991750435525182938112*c_0101_6^15 + 1179706348494448009135852235178466361606145128630384877820337892611\ 3158170801/75541197346634923543174344451417883426983904711395399793\ 7608881295734528*c_0101_6^13 - 117804494176720919542643097324080513\ 70584966439920865445962300135352452110695/1510823946932698470863486\ 889028357668539678094227907995875217762591469056*c_0101_6^11 + 3656923817467467361062923028032945092868820721146434446358598487562\ 930050681/151082394693269847086348688902835766853967809422790799587\ 5217762591469056*c_0101_6^9 - 1518396257173671452849063957492206169\ 161952996271747762535581054020234455963/151082394693269847086348688\ 9028357668539678094227907995875217762591469056*c_0101_6^7 + 8752318622800850155881476883363846290111330300067558183035369317302\ 50222893/3021647893865396941726973778056715337079356188455815991750\ 435525182938112*c_0101_6^5 - 44026628867660531472616556900677149481\ 39704168902454451272171849375246407/9442649668329365442896793056427\ 2354283729880889244249742201110161966816*c_0101_6^3 + 2811106994335800831504141460869834605515593513724857137838246931637\ 5487/11803312085411706803620991320534044285466235111155531217775138\ 770245852*c_0101_6, c_0101_0 - 921542176808448986879508008463185787514680590332744932363142\ 759025/220558240428131163629706115186621557451047896967577809616820\ 11132722176*c_0101_6^29 + 47994760415414468538985302425900272024038\ 7835151617125332647746641337/22055824042813116362970611518662155745\ 104789696757780961682011132722176*c_0101_6^27 - 3248953531363881120413366378734105683965113029053390777697602322852\ 9323/22055824042813116362970611518662155745104789696757780961682011\ 132722176*c_0101_6^25 + 1073858473932902381710489735898766410961419\ 10722702822925739160192952497/2756978005351639545371326439832769468\ 138098712094722620210251391590272*c_0101_6^23 - 5011756230819354107832878523158050501693981335916502615021299374607\ 449403/110279120214065581814853057593310778725523948483788904808410\ 05566361088*c_0101_6^21 + 65916785583735098901862812979435318395146\ 21513979915607263299328059754601/2756978005351639545371326439832769\ 468138098712094722620210251391590272*c_0101_6^19 - 1420494363590562797645860516298786905536884618847181691550400028529\ 38615653/2205582404281311636297061151866215574510478969675778096168\ 2011132722176*c_0101_6^17 + 213421747161984279974341347126124923438\ 012305581429996819097165223431212091/220558240428131163629706115186\ 62155745104789696757780961682011132722176*c_0101_6^15 - 4635317686123649785013415175213471125431425257642019537078606424849\ 4122923/55139560107032790907426528796655389362761974241894452404205\ 02783180544*c_0101_6^13 + 45965024340627623033421004498379214699305\ 957568050462939464091659874402553/110279120214065581814853057593310\ 77872552394848378890480841005566361088*c_0101_6^11 - 1476456648955437956531155854841529226924052613492103346631418511724\ 2167511/11027912021406558181485305759331077872552394848378890480841\ 005566361088*c_0101_6^9 + 64953883936816113588943111497373611521577\ 58123049692366613823393084112405/1102791202140655818148530575933107\ 7872552394848378890480841005566361088*c_0101_6^7 - 3556670028810810861414613870207935192877047061257095965206771641241\ 611635/220558240428131163629706115186621557451047896967577809616820\ 11132722176*c_0101_6^5 + 430223609505696206250886572220477887647613\ 69965090021750597842412904609/1378489002675819772685663219916384734\ 069049356047361310105125695795136*c_0101_6^3 - 1857761811016904731766705013917049113837912830491522237912304661351\ 69/4307778133361936789642697562238702293965779237648004094078517799\ 3598*c_0101_6, c_0101_1 + 716395004856429112110591006811107717286096443047101717982856\ 98345/5513956010703279090742652879665538936276197424189445240420502\ 783180544*c_0101_6^28 - 3730299652690986896445347910573334129587470\ 2594049254065605227451617/55139560107032790907426528796655389362761\ 97424189445240420502783180544*c_0101_6^26 + 2521782246520919217132469291990570562279212407957773244642069310419\ 011/551395601070327909074265287966553893627619742418944524042050278\ 3180544*c_0101_6^24 - 831491119182908756209807313985076471371222723\ 8753442387734998063712891/68924450133790988634283160995819236703452\ 4678023680655052562847897568*c_0101_6^22 + 3860995881844980357640121089102147582294238474391064560772385487058\ 51363/2756978005351639545371326439832769468138098712094722620210251\ 391590272*c_0101_6^20 - 5021689140299064583061592142061814150063993\ 79397876993565763367678421061/6892445013379098863428316099581923670\ 34524678023680655052562847897568*c_0101_6^18 + 1060805188663741883171273457408382201333395137647195694583357769445\ 7213949/55139560107032790907426528796655389362761974241894452404205\ 02783180544*c_0101_6^16 - 15403305593775697715524061961108265638915\ 706258071545930575853740175565459/551395601070327909074265287966553\ 8936276197424189445240420502783180544*c_0101_6^14 + 3145517964216879072228947605221173387522303947846241180089908433678\ 890295/137848900267581977268566321991638473406904935604736131010512\ 5695795136*c_0101_6^12 - 274692695176694333536433572284775763759486\ 9528787765670554891812236643601/27569780053516395453713264398327694\ 68138098712094722620210251391590272*c_0101_6^10 + 7203664435636343532200606841042941064783910787857939782010611449744\ 78863/2756978005351639545371326439832769468138098712094722620210251\ 391590272*c_0101_6^8 - 36938788363975657818432010054430060082807162\ 9568783155207593892374630141/27569780053516395453713264398327694681\ 38098712094722620210251391590272*c_0101_6^6 + 1741149619645631000487541332132100025532425160349477374186722753300\ 84987/5513956010703279090742652879665538936276197424189445240420502\ 783180544*c_0101_6^4 - 66591256641250391083991255774856160694536360\ 8449729599449888935005725/17231112533447747158570790248954809175863\ 1169505920163763140711974392*c_0101_6^2 + 8775721247364859846521157781696505479250274631180237826361130676298\ /215388906668096839482134878111935114698288961882400204703925889967\ 99, c_0101_3 - 301933435371899249308558507142763877417413106372468625987059\ 852623721/302164789386539694172697377805671533707935618845581599175\ 0435525182938112*c_0101_6^29 + 157274645697675992626764187152766218\ 823672115295117616242053673870965793/302164789386539694172697377805\ 6715337079356188455815991750435525182938112*c_0101_6^27 - 1065783993142477025873793442626568626279700006321921601402027822329\ 7980419/30216478938653969417269737780567153370793561884558159917504\ 35525182938112*c_0101_6^25 + 35293652232791578916070353552279091237\ 062944553864038996225146474678419355/377705986733174617715871722257\ 089417134919523556976998968804440647867264*c_0101_6^23 - 1653644663539269848609882783365735197076972859225852467549962749610\ 098338211/151082394693269847086348688902835766853967809422790799587\ 5217762591469056*c_0101_6^21 + 219338948738387314271677972460980842\ 9829335297194442900548573389172255873605/37770598673317461771587172\ 2257089417134919523556976998968804440647867264*c_0101_6^19 - 4794583813491940864072741183568436757393336469120856257837873324770\ 9887351869/30216478938653969417269737780567153370793561884558159917\ 50435525182938112*c_0101_6^17 + 73630247373445685440934604090630556\ 457016391180882478566745484110001480627027/302164789386539694172697\ 3778056715337079356188455815991750435525182938112*c_0101_6^15 - 1651527579266422584826847356128746598180649542872705031414472764559\ 8587955319/75541197346634923543174344451417883426983904711395399793\ 7608881295734528*c_0101_6^13 + 171348834591602114608073850476712340\ 28591225699479289575848712296285421178065/1510823946932698470863486\ 889028357668539678094227907995875217762591469056*c_0101_6^11 - 5611476053938810243912355050634274548301969833441385887059679634828\ 911638735/151082394693269847086348688902835766853967809422790799587\ 5217762591469056*c_0101_6^9 + 2239194204996465593246257758414235491\ 153092272110164785830929450978412359613/151082394693269847086348688\ 9028357668539678094227907995875217762591469056*c_0101_6^7 - 1326023722577528654196411381935656081101502869338122685974753196011\ 012051003/302164789386539694172697377805671533707935618845581599175\ 0435525182938112*c_0101_6^5 + 8129684466658659119943205515843580939\ 751441183653111662087153420858579157/944264966832936544289679305642\ 72354283729880889244249742201110161966816*c_0101_6^3 - 6704491028072743103440369524052004445541829664338852252520032218702\ 9313/11803312085411706803620991320534044285466235111155531217775138\ 770245852*c_0101_6, c_0101_6^30 - 521*c_0101_6^28 + 35355*c_0101_6^26 - 938952*c_0101_6^24 + 11054550*c_0101_6^22 - 59291976*c_0101_6^20 + 164978229*c_0101_6^18 - 260493995*c_0101_6^16 + 243736876*c_0101_6^14 - 135098386*c_0101_6^12 + 47760398*c_0101_6^10 - 18098506*c_0101_6^8 + 5771427*c_0101_6^6 - 1219536*c_0101_6^4 + 124160*c_0101_6^2 - 4096 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB