Magma V2.19-8 Tue Aug 20 2013 16:19:15 on localhost [Seed = 3221103289] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3363 geometric_solution 6.52625760 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 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 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.685455146407 1.042117760262 0 3 5 4 0132 0132 0132 0132 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 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.658631401717 0.813975811015 3 0 4 5 2310 0132 3201 2310 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 -1 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.658631401717 0.813975811015 5 1 2 5 1230 0132 3201 3012 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378697551743 0.865004865237 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 -1 1 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 1.001359231310 0.599703788024 2 3 3 1 3201 3012 1230 0132 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 -1 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 0.652494402498 0.711161235876 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0.745603333026 0.285191542545 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(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_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 22577422416389177267418184426123577067464443180225505/9714493489048\ 314319429250275882666710662613017277*c_0101_6^32 - 74648260686687838306021344396112494670597427565690203/1295265798539\ 7752425905667034510222280883484023036*c_0101_6^30 - 12659927266056741394398227277367003619253405080021778011/5181063194\ 1591009703622668138040889123533936092144*c_0101_6^28 + 518023138501856232698725039583113374342242298478934401753/155431895\ 824773029110868004414122667370601808276432*c_0101_6^26 - 292823322043638105830818250676167909568704625470764073762/971449348\ 9048314319429250275882666710662613017277*c_0101_6^24 + 19107513272057746453685018700385096016790115260077409635551/1554318\ 95824773029110868004414122667370601808276432*c_0101_6^22 - 3954318929108225545092804798733806346160569803923238139035/12952657\ 985397752425905667034510222280883484023036*c_0101_6^20 + 37841667984642682266513201935882201671792702357045618219339/7771594\ 7912386514555434002207061333685300904138216*c_0101_6^18 - 11175105772060407743516274001550999025025021537674550730797/2220455\ 6546396147015838286344874666767228829753776*c_0101_6^16 + 13525928409308339293421503316781136868480479552575322246033/3885797\ 3956193257277717001103530666842650452069108*c_0101_6^14 - 3539829345614940566504044426865934516589116926324382468629/22204556\ 546396147015838286344874666767228829753776*c_0101_6^12 + 7451547265527599536772353837632776033431102039890827934055/15543189\ 5824773029110868004414122667370601808276432*c_0101_6^10 - 792724374128686002635956284615833120566846147945766034733/777159479\ 12386514555434002207061333685300904138216*c_0101_6^8 + 5930516966486453494862238908028247273388482840295169098/32381644963\ 49438106476416758627555570220871005759*c_0101_6^6 - 15137142658818845066933696678814173743331072480394705989/5181063194\ 1591009703622668138040889123533936092144*c_0101_6^4 + 703372376222279940809495673995219610969908132121309731/222045565463\ 96147015838286344874666767228829753776*c_0101_6^2 - 233875168914684330435969136032723425498140213100599637/155431895824\ 773029110868004414122667370601808276432, c_0011_0 - 1, c_0011_4 - 121204363255263066262124948970359055705689994363632/46259492\ 8049919729496630965518222224317267286537*c_0101_6^33 - 297125855258611728272325702980921803814934680518220/462594928049919\ 729496630965518222224317267286537*c_0101_6^31 - 12733279527900737808834257825461097611255511847954835/4625949280499\ 19729496630965518222224317267286537*c_0101_6^29 + 174173638750368557800037115854061039140910397619510594/462594928049\ 919729496630965518222224317267286537*c_0101_6^27 - 1576764290116505629125972382905119062494783095985210875/46259492804\ 9919729496630965518222224317267286537*c_0101_6^25 + 6453614703817634966618835695506032088797673334997643316/46259492804\ 9919729496630965518222224317267286537*c_0101_6^23 - 16085611255585110765255014351620722290579528913032023280/4625949280\ 49919729496630965518222224317267286537*c_0101_6^21 + 25777110154913791514824095911835213806962277628409153934/4625949280\ 49919729496630965518222224317267286537*c_0101_6^19 - 26805509991361431798093261670133639424335114189022434853/4625949280\ 49919729496630965518222224317267286537*c_0101_6^17 + 18655641356460035414128994910544873985345221663915006985/4625949280\ 49919729496630965518222224317267286537*c_0101_6^15 - 8600339832749866060012165622511551696744513004298731402/46259492804\ 9919729496630965518222224317267286537*c_0101_6^13 + 2595908234802963905996713058005817708935719367138231905/46259492804\ 9919729496630965518222224317267286537*c_0101_6^11 - 549384620430902198337682185535287900540635369909315260/462594928049\ 919729496630965518222224317267286537*c_0101_6^9 + 98190334106132218078364014503890934696842174274102130/4625949280499\ 19729496630965518222224317267286537*c_0101_6^7 - 15755357952323042783595423995550891477546575112881896/4625949280499\ 19729496630965518222224317267286537*c_0101_6^5 + 1692260685788255917857526207164958582263774379854560/46259492804991\ 9729496630965518222224317267286537*c_0101_6^3 - 75794988496959923030378770995482786457116942203572/4625949280499197\ 29496630965518222224317267286537*c_0101_6, c_0101_0 - 195892445919532900463210965012588605517442268318960/46259492\ 8049919729496630965518222224317267286537*c_0101_6^33 - 486646674992991871155872383583899949546924349331772/462594928049919\ 729496630965518222224317267286537*c_0101_6^31 - 20596780981236296137288052541322744621641940057797583/4625949280499\ 19729496630965518222224317267286537*c_0101_6^29 + 280823630235282613792973755301165145960663468153112251/462594928049\ 919729496630965518222224317267286537*c_0101_6^27 - 2539292520509993765503041971609929024405033945584649424/46259492804\ 9919729496630965518222224317267286537*c_0101_6^25 + 10348659549177845573884804006055447733671546466409778008/4625949280\ 49919729496630965518222224317267286537*c_0101_6^23 - 25672103312172793882194379551912946476460266478874783202/4625949280\ 49919729496630965518222224317267286537*c_0101_6^21 + 40874267019577157057002948309003326231401319035668536917/4625949280\ 49919729496630965518222224317267286537*c_0101_6^19 - 42116140378203660195060326006856335397845122108544695037/4625949280\ 49919729496630965518222224317267286537*c_0101_6^17 + 28975600029525733920313025292019164151093771265099061556/4625949280\ 49919729496630965518222224317267286537*c_0101_6^15 - 13150813503474476417580439817521193728716445908379051062/4625949280\ 49919729496630965518222224317267286537*c_0101_6^13 + 3893041674767523685915772563482914951856888982618550782/46259492804\ 9919729496630965518222224317267286537*c_0101_6^11 - 812510397801386756451256370298002710630684176056985154/462594928049\ 919729496630965518222224317267286537*c_0101_6^9 + 145061871371550964252549421394823962761682949494903096/462594928049\ 919729496630965518222224317267286537*c_0101_6^7 - 23015315285442766808729172420258723544757633455413916/4625949280499\ 19729496630965518222224317267286537*c_0101_6^5 + 2388531591376089812278945848080519483656654369358617/46259492804991\ 9729496630965518222224317267286537*c_0101_6^3 - 101280498227954452058982929372432885046998848937569/462594928049919\ 729496630965518222224317267286537*c_0101_6, c_0101_1 - 27511469129557135619833920230593807961957630414656/462594928\ 049919729496630965518222224317267286537*c_0101_6^32 - 65832105843966584553302244312162618890638428066352/4625949280499197\ 29496630965518222224317267286537*c_0101_6^30 - 2885959906534536774088443998320805633176726125158188/46259492804991\ 9729496630965518222224317267286537*c_0101_6^28 + 39704785354685939683512018506955797078789837495441782/4625949280499\ 19729496630965518222224317267286537*c_0101_6^26 - 360178872728131562524099907084258847226725267233835180/462594928049\ 919729496630965518222224317267286537*c_0101_6^24 + 1485335468171394434379722726224231130045292843861005842/46259492804\ 9919729496630965518222224317267286537*c_0101_6^22 - 3732564475873305858285945054489107845327572761978264560/46259492804\ 9919729496630965518222224317267286537*c_0101_6^20 + 6047307032713461556570167659622498855669431270936177344/46259492804\ 9919729496630965518222224317267286537*c_0101_6^18 - 6384770585859489813857113331732874900319403668643560108/46259492804\ 9919729496630965518222224317267286537*c_0101_6^16 + 4525941798332362195913536448059803114256509176810424510/46259492804\ 9919729496630965518222224317267286537*c_0101_6^14 - 2136848797333838970791770159131105861126060532460322392/46259492804\ 9919729496630965518222224317267286537*c_0101_6^12 + 663204894600003984003112867478709735992826414771573772/462594928049\ 919729496630965518222224317267286537*c_0101_6^10 - 142902857433213919630764300913309222353058316138301507/462594928049\ 919729496630965518222224317267286537*c_0101_6^8 + 25526373489093918926934695348210372818456056820413949/4625949280499\ 19729496630965518222224317267286537*c_0101_6^6 - 4149320595536693314247716933280951145149258185167421/46259492804991\ 9729496630965518222224317267286537*c_0101_6^4 + 461534132400468612625386517954522806987521347823462/462594928049919\ 729496630965518222224317267286537*c_0101_6^2 - 21005751580650437776174528595459576755637634404623/4625949280499197\ 29496630965518222224317267286537, c_0101_2 + 65139442652755913909676664172702263436785449790880/462594928\ 049919729496630965518222224317267286537*c_0101_6^33 + 162861705478640839370358677211149348557199189668232/462594928049919\ 729496630965518222224317267286537*c_0101_6^31 + 6851819360600737317376346667748474126001583729261394/46259492804991\ 9729496630965518222224317267286537*c_0101_6^29 - 93271387079146174271899080166662676385756981192114676/4625949280499\ 19729496630965518222224317267286537*c_0101_6^27 + 842920812989438460187727097191735247365976651440939129/462594928049\ 919729496630965518222224317267286537*c_0101_6^25 - 3428108143419132854952664740814808022813933053450884666/46259492804\ 9919729496630965518222224317267286537*c_0101_6^23 + 8485089093235799775722394345054866911757314893974297776/46259492804\ 9919729496630965518222224317267286537*c_0101_6^21 - 13468705573289532186425942339477045969379958362763393112/4625949280\ 49919729496630965518222224317267286537*c_0101_6^19 + 13819230047987620411923770646994534732649954654595838795/4625949280\ 49919729496630965518222224317267286537*c_0101_6^17 - 9459070967000639228857005641314765775920516244177777564/46259492804\ 9919729496630965518222224317267286537*c_0101_6^15 + 4264410661914462588252579962271292896065110642558765603/46259492804\ 9919729496630965518222224317267286537*c_0101_6^13 - 1252764594429265972165917362020585051286600003751212544/46259492804\ 9919729496630965518222224317267286537*c_0101_6^11 + 260398816812057046929235037156984691974491153893880449/462594928049\ 919729496630965518222224317267286537*c_0101_6^9 - 46508966131181097854307511568057993938091919936501654/4625949280499\ 19729496630965518222224317267286537*c_0101_6^7 + 7343755852472284005806050367634122104813241012797425/46259492804991\ 9729496630965518222224317267286537*c_0101_6^5 - 753674100589985499776376821384922528431951969322562/462594928049919\ 729496630965518222224317267286537*c_0101_6^3 + 30834908981695633314680725351476267098798468968681/4625949280499197\ 29496630965518222224317267286537*c_0101_6, c_0101_3 - 59570236578417651517636256901449095266581360207408/462594928\ 049919729496630965518222224317267286537*c_0101_6^32 - 145093502845430051368625570442324070025291567193212/462594928049919\ 729496630965518222224317267286537*c_0101_6^30 - 6255582040074643734409276842764741140449362002042687/46259492804991\ 9729496630965518222224317267286537*c_0101_6^28 + 85703566879351767847072758123749931415996074654343192/4625949280499\ 19729496630965518222224317267286537*c_0101_6^26 - 776271500263707407993148046917987236228125603972850211/462594928049\ 919729496630965518222224317267286537*c_0101_6^24 + 3183606580183299314387089845796525285444324449012206881/46259492804\ 9919729496630965518222224317267286537*c_0101_6^22 - 7951607660850807653561772617402476165047499217001495480/46259492804\ 9919729496630965518222224317267286537*c_0101_6^20 + 12777116724377911855083118858999308765192727903206821973/4625949280\ 49919729496630965518222224317267286537*c_0101_6^18 - 13334967166674475238741766956111340640412251874088884448/4625949280\ 49919729496630965518222224317267286537*c_0101_6^16 + 9318227295507388864903829307580443592111342972657017310/46259492804\ 9919729496630965518222224317267286537*c_0101_6^14 - 4317064608920199649455714370504486000488797922428912527/46259492804\ 9919729496630965518222224317267286537*c_0101_6^12 + 1309664329694393265885831818407961562566133094062613191/46259492804\ 9919729496630965518222224317267286537*c_0101_6^10 - 277890678124971547420290825418785915961336387505589608/462594928049\ 919729496630965518222224317267286537*c_0101_6^8 + 49728198380807404699296021411498521508047616550461828/4625949280499\ 19729496630965518222224317267286537*c_0101_6^6 - 8000705373087520379143616545207788535083818262173386/46259492804991\ 9729496630965518222224317267286537*c_0101_6^4 + 862571640141684993984968507905143410066146797548327/462594928049919\ 729496630965518222224317267286537*c_0101_6^2 - 38679342756089373615348528720486024592636019852003/4625949280499197\ 29496630965518222224317267286537, c_0101_6^34 + 9/4*c_0101_6^32 + 1673/16*c_0101_6^30 - 23331/16*c_0101_6^28 + 106389/8*c_0101_6^26 - 893863/16*c_0101_6^24 + 1147533/8*c_0101_6^22 - 1915303/8*c_0101_6^20 + 4224175/16*c_0101_6^18 - 1587889/8*c_0101_6^16 + 1631699/16*c_0101_6^14 - 571589/16*c_0101_6^12 + 8853*c_0101_6^10 - 6899/4*c_0101_6^8 + 4695/16*c_0101_6^6 - 643/16*c_0101_6^4 + 55/16*c_0101_6^2 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB