Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 206409962] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0744 geometric_solution 4.69182521 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -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 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 1.923213093420 0.521904849754 0 2 3 0 0132 0132 0132 3201 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 -1 1 0 1 0 -1 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.380115690635 0.872017939697 4 1 3 3 0132 0132 1302 2031 0 0 0 0 0 1 0 -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 1 0 -1 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.360834820040 0.374846200224 2 2 4 1 2031 1302 2310 0132 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 1 0 -1 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.360834820040 0.374846200224 2 3 5 5 0132 3201 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 -1 0 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 -1.016189105606 1.778672069750 6 4 4 6 0132 3201 0132 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 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.018768789380 0.297153090624 5 6 6 5 0132 3201 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 0 0 0 0 0 0 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.099759613776 1.047625060499 ==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' : 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' : 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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), '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' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 487643665347954426882577083016224376989648885162104528402/306195092\ 182335442600144390764553282943899662692463917*c_0101_6^19 - 1744198856735984360316447586752765151027271376545960923585/30619509\ 2182335442600144390764553282943899662692463917*c_0101_6^18 + 8980616418163271717879260545503717372704576456882060418814/30619509\ 2182335442600144390764553282943899662692463917*c_0101_6^17 + 27048241955740561177151293109242349410060000231847039974474/3061950\ 92182335442600144390764553282943899662692463917*c_0101_6^16 - 3877051339581436298846399116335721669258106298489598809960/30619509\ 2182335442600144390764553282943899662692463917*c_0101_6^15 + 119537926372892431650775785893848152662276730538206971346747/306195\ 092182335442600144390764553282943899662692463917*c_0101_6^14 + 3127043609199089156287707663398230263478711443461514995268/43126069\ 32145569614086540714993708210477460037922027*c_0101_6^13 + 61871051313319183595253602413280563940533120907873814751440/3061950\ 92182335442600144390764553282943899662692463917*c_0101_6^12 - 436439409473315962488780582245471978997520262936438599091502/306195\ 092182335442600144390764553282943899662692463917*c_0101_6^11 - 428414990213672250236200855816292708611245562625773573938574/306195\ 092182335442600144390764553282943899662692463917*c_0101_6^10 - 152124057090380229552030845321796589757426079448297558780823/306195\ 092182335442600144390764553282943899662692463917*c_0101_6^9 + 158709524997555970544427731917152473831486050137485924238247/306195\ 092182335442600144390764553282943899662692463917*c_0101_6^8 + 243227815798087338441372196557435401220737751381067227533484/306195\ 092182335442600144390764553282943899662692463917*c_0101_6^7 + 125985093243234466167554360207678565934745465088337874942033/306195\ 092182335442600144390764553282943899662692463917*c_0101_6^6 + 40581179556641458714736331116070873935558250255464381161325/3061950\ 92182335442600144390764553282943899662692463917*c_0101_6^5 + 3420790835611536813674659963389542181013068081045614248022/30619509\ 2182335442600144390764553282943899662692463917*c_0101_6^4 - 1765751689470643609715805840542389793087086991016459022644/30619509\ 2182335442600144390764553282943899662692463917*c_0101_6^3 + 475840353452714937052899199537657145345604991746834392203/306195092\ 182335442600144390764553282943899662692463917*c_0101_6^2 + 14928472793232510063452823542835265851187632072427668041/3061950921\ 82335442600144390764553282943899662692463917*c_0101_6 - 29801116255716985490131776863898913010148245006953525501/3061950921\ 82335442600144390764553282943899662692463917, c_0011_0 - 1, c_0011_3 - 16541895004203154001244973789616949257394047912303051/431260\ 6932145569614086540714993708210477460037922027*c_0101_6^19 - 54702709238366393932614929242853081393818508718688146/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^18 + 319618399869190427528756559683188166774199517442300157/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^17 + 832201751504829627074864117259556074949954740813508004/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^16 - 359645676852762543572562862709175536674321329591053927/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^15 + 4136789511817857856703366836921643283488110026126098787/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^14 + 6411152164344210312420446958754866790039605829433565052/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^13 + 323903144675479041439661912150742034098287280883462816/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^12 - 15034790780612338430872916026326718610530985659485285633/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^11 - 10532988040192588965400060673650492653830669916263801999/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^10 - 2100115646175520058929019827080179342049384478583906427/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^9 + 6260674796704106664892893282473628513053224806472385344/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^8 + 6633632637741096744171718827107455078151386432416620250/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^7 + 2422689232580625609162282804639283971126335071222188807/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^6 + 563963443054797414673187083740284661102193667296081688/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^5 - 134005340796602716545841368006928154435418153777762597/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^4 - 42539616595090455596641862646358964282072860119180915/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^3 + 26071712113164766403263513509699617648611081303167255/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^2 + 4322597680921074626857672892208674531561547821283398/43126069321455\ 69614086540714993708210477460037922027*c_0101_6 + 553119860713155291875041239825093174672730409217638/431260693214556\ 9614086540714993708210477460037922027, c_0011_5 - 7894778601478333238915811620221666755908879112901436/4312606\ 932145569614086540714993708210477460037922027*c_0101_6^19 - 20200638044805490358900714584716316013285149064671009/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^18 + 172001965943694009769537785204146579050413087178225549/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^17 + 283763844498890738724094405526820763935256295908331365/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^16 - 464539576922949863820421374571189410922393383829025224/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^15 + 2087178811599067338177018062753913747835380817951684966/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^14 + 1539094608803367611539310983171791387947725744249625717/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^13 - 2085780742213195099190552504381630784383400725781692574/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^12 - 7516052234220976251544786555561816868776394051609244069/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^11 + 53823885647753238163397140276007072314385503888350996/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^10 + 2729932114230590560155645433621443805735327340197508929/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^9 + 4519955839240886624324384337935991543557410353620733246/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^8 + 1296616281831291504527692762901480759261145169507234654/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^7 - 1065934813621399160297498808237216776882288606523885572/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^6 - 932967539937185197793426567594143711810750876007706026/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^5 - 530692639985727010768756887402140201271356250325633705/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^4 - 88825291516458435406411733549552054533374524415032551/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^3 - 2339502665809313176417964712397607596947839248450391/43126069321455\ 69614086540714993708210477460037922027*c_0101_6^2 + 1493243463395561197246267206202438303523162353319349/43126069321455\ 69614086540714993708210477460037922027*c_0101_6 + 387487311651020153843398544012462675368756056192299/431260693214556\ 9614086540714993708210477460037922027, c_0101_0 - 16825360089573863154733456196675863312689600747980441/431260\ 6932145569614086540714993708210477460037922027*c_0101_6^19 - 68011729619887614125127930396787357273603468809097075/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^18 + 282357966532716834112656570758192588087584804842382045/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^17 + 1078723408125436255086252739721704568716704380455937306/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^16 + 289674978484364183946142934870118166324739395131266847/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^15 + 4045824390300815315715479892246724077900646238677845500/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^14 + 9607345096734553283027869542529782230396773671690820456/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^13 + 5550321646416907488218840666009805014868154247992602467/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^12 - 14149044597066152062310381152872253422231391020312711118/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^11 - 21695687440356070108948871822375476919606090507094118804/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^10 - 11774379132250857469410033764467699687778996883533656153/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^9 + 2980985244531728058404928827875215822629643880371271338/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^8 + 11007264261362742008352185853566802846664447873140434720/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^7 + 8189966992461592934631132977408696379676681792486412857/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^6 + 3334604482887130217466857733896889610170620077940900722/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^5 + 744017544790684207630819613938563536971620238741284163/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^4 - 56369294934525131566416029207839042765701200133581923/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^3 - 10822590716042880606018340982408946508843188586420585/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^2 + 7943631922325342269320283444614266527138976396109040/43126069321455\ 69614086540714993708210477460037922027*c_0101_6 - 3239120855809726992982909843197063884536186719833292/43126069321455\ 69614086540714993708210477460037922027, c_0101_1 + 33002075880104706396545022464469906731167723480379387/431260\ 6932145569614086540714993708210477460037922027*c_0101_6^19 + 129057713784229747851871557313493779813328509820056012/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^18 - 567706782575427336789526460852711409416714130689750660/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^17 - 2031082377161171700964377175625344622611241741433526956/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^16 - 361312060388235271466045293965159719261619305137080885/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^15 - 8038745600680064356167707253540954782166892424652137806/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^14 - 17714752463557784184411307922256987865792853680164400174/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^13 - 9360228672625287800573149336472702116203780204063896530/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^12 + 27846727085443873921641990958996264891772206542752620797/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^11 + 38829580197481761423478354239735686464402640551464486980/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^10 + 20632537631906292454272900740709567260394550501414407090/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^9 - 6768287569831522537651491511709930880060860975323071192/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^8 - 20013937941005158440369684339380650154743464876869529768/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^7 - 14347591322515798053280151335508274020277856755643759633/4312606932\ 145569614086540714993708210477460037922027*c_0101_6^6 - 5926223649562919695146336738589725392382266046515813539/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^5 - 1239262388638807731818243560444678087064784886181920574/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^4 + 64143725450146758728223131847006583295596510181555290/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^3 + 29316181220462409630618975078793890997211311767126601/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^2 - 6174413239758639223697223548549389332615666046081045/43126069321455\ 69614086540714993708210477460037922027*c_0101_6 + 1483176883402757870613588707195573264937810044118895/43126069321455\ 69614086540714993708210477460037922027, c_0101_4 + 4005017411120633506973319451916368097747348855971205/4312606\ 932145569614086540714993708210477460037922027*c_0101_6^19 + 18433137428756354008001200458330523988495045857867246/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^18 - 60413524913664284530161462121507696937965383851843949/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^17 - 301457003684089105506680517329644571707237155379942166/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^16 - 167777902277908455593379588067884131103286855797202208/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^15 - 898420941555108032960678567173883087372347792831773525/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^14 - 2890649874564222410052843144457474394132051723200856006/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^13 - 1999415335417188925760156721375207364141785371589894517/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^12 + 3371823781131217814728123907433391329972236846239158482/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^11 + 7035616709340471663735908870781855574305510786294301114/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^10 + 3796408859275039177609835963929686286756689895676418775/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^9 - 145658163290265824023478806584756535614800040351583556/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^8 - 3441165982058434949353282946483784391709100908443113051/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^7 - 2747509596113899903965628639525278903586680198118178783/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^6 - 1209281772128998234141094805367043543179298170424820514/43126069321\ 45569614086540714993708210477460037922027*c_0101_6^5 - 297405004301854765364483324693973305257814398520937057/431260693214\ 5569614086540714993708210477460037922027*c_0101_6^4 + 82217334824703401362229586273197406237376356312735842/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^3 + 29090373617274665058934906132055675748508215217116183/4312606932145\ 569614086540714993708210477460037922027*c_0101_6^2 + 11523022837242808097337185720951510253582184625203870/4312606932145\ 569614086540714993708210477460037922027*c_0101_6 + 692358017087920605905400371255332347176252336963827/431260693214556\ 9614086540714993708210477460037922027, c_0101_6^20 + 183/47*c_0101_6^19 - 810/47*c_0101_6^18 - 2873/47*c_0101_6^17 - 495/47*c_0101_6^16 - 11530/47*c_0101_6^15 - 25027/47*c_0101_6^14 - 13306/47*c_0101_6^13 + 39141/47*c_0101_6^12 + 54360/47*c_0101_6^11 + 29844/47*c_0101_6^10 - 8651/47*c_0101_6^9 - 27647/47*c_0101_6^8 - 20410/47*c_0101_6^7 - 8938/47*c_0101_6^6 - 2139/47*c_0101_6^5 - 79/47*c_0101_6^4 + 27/47*c_0101_6^3 + 7/47*c_0101_6^2 + 4/47*c_0101_6 + 1/47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB