Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 2000087953] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0761 geometric_solution 4.70217128 oriented_manifold CS_known 0.0000000000000002 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 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.354787491479 0.201433655102 2 0 3 0 0132 2310 0132 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 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.513712536611 1.008743818748 1 3 4 3 0132 3201 0132 2310 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 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.292143226262 1.351804149692 2 4 2 1 3201 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.292143226262 1.351804149692 3 5 5 2 1023 0132 1023 0132 0 0 0 0 0 0 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 -1 0 0 1 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.352444931404 0.230158385895 6 4 4 6 0132 0132 1023 1023 0 0 0 0 0 0 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 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 1.299808774496 0.784847153044 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.703397802770 0.241986554675 ==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' : 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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0101_1'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], '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_0011_3, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 267832786769249236001660284958297271276455223573888/761170565435067\ 201937998370311464155996846009885*c_0101_6^21 - 1300450770322598758720393429385049503434399716419401/76117056543506\ 7201937998370311464155996846009885*c_0101_6^20 - 3134750404226606710648471890156205802266103008581791/76117056543506\ 7201937998370311464155996846009885*c_0101_6^19 + 7584917947198000663716110333169454121388627130636732/76117056543506\ 7201937998370311464155996846009885*c_0101_6^18 - 1493433158120343903126287198645832968802500786006924/15223411308701\ 3440387599674062292831199369201977*c_0101_6^17 + 10403490794515362869847955265299836003862218578772909/1087386522050\ 09600276856910044494879428120858555*c_0101_6^16 + 7597896316056241759525037555361348487252782885490866/76117056543506\ 7201937998370311464155996846009885*c_0101_6^15 - 19687143540399710767600368682630473178698846689721304/1522341130870\ 13440387599674062292831199369201977*c_0101_6^14 + 366580260491451220595465641416284614182886657378524426/108738652205\ 009600276856910044494879428120858555*c_0101_6^13 + 3558085521341289793300546971994970550688996097068509113/76117056543\ 5067201937998370311464155996846009885*c_0101_6^12 - 3060264483406098471646831986514878493804674891214022268/76117056543\ 5067201937998370311464155996846009885*c_0101_6^11 - 523279048932069353995882703169276241000131057067255547/108738652205\ 009600276856910044494879428120858555*c_0101_6^10 + 2464697721180763849924680291975013171957755958066801298/76117056543\ 5067201937998370311464155996846009885*c_0101_6^9 + 477327242005259823439084057713668670324291703513823817/761170565435\ 067201937998370311464155996846009885*c_0101_6^8 - 336416447817985996272215602736384838665545789901423921/152234113087\ 013440387599674062292831199369201977*c_0101_6^7 + 924236785032844326201397793144333880013684588049358524/761170565435\ 067201937998370311464155996846009885*c_0101_6^6 + 555078677355132322633928947180733749379108634003237683/761170565435\ 067201937998370311464155996846009885*c_0101_6^5 - 415051225117387987798178981867087252341518988136179766/761170565435\ 067201937998370311464155996846009885*c_0101_6^4 - 81994759914040463408340813325995161672152371263547149/7611705654350\ 67201937998370311464155996846009885*c_0101_6^3 + 5376606509402888950391378967844165378502643207490919/10873865220500\ 9600276856910044494879428120858555*c_0101_6^2 + 4510794588624250324755386989726593136768730724348837/76117056543506\ 7201937998370311464155996846009885*c_0101_6 + 1823723011154515266268757460635037720165113808609006/76117056543506\ 7201937998370311464155996846009885, c_0011_0 - 1, c_0011_1 + 72365328481156951384323760473808498460445954/114461739163168\ 0002914283263626261888717061669*c_0101_6^21 - 317655899524293079036028486698077693110318933/114461739163168000291\ 4283263626261888717061669*c_0101_6^20 - 1008146985829735312749229421142119805663140173/11446173916316800029\ 14283263626261888717061669*c_0101_6^19 + 1651054858991169979507805575602787127593365109/11446173916316800029\ 14283263626261888717061669*c_0101_6^18 - 1133467808271559665257234925194645814437349295/11446173916316800029\ 14283263626261888717061669*c_0101_6^17 + 18712934993629028607781827986087443651329459169/1144617391631680002\ 914283263626261888717061669*c_0101_6^16 + 11377530199277430034858913589240640481171350922/1144617391631680002\ 914283263626261888717061669*c_0101_6^15 - 25225875906037024586900587955858950582580906544/1144617391631680002\ 914283263626261888717061669*c_0101_6^14 + 683372983282394222188055573674451549942170905176/114461739163168000\ 2914283263626261888717061669*c_0101_6^13 + 1283461955968762098524334262700733022050683312145/11446173916316800\ 02914283263626261888717061669*c_0101_6^12 - 357260547424363797626417150607830251223237021898/114461739163168000\ 2914283263626261888717061669*c_0101_6^11 - 1260995068520839758049202309371209817059742273320/11446173916316800\ 02914283263626261888717061669*c_0101_6^10 + 285348164049706826180682249714276785376870117616/114461739163168000\ 2914283263626261888717061669*c_0101_6^9 + 328944762585812762191243576447879328514202200798/114461739163168000\ 2914283263626261888717061669*c_0101_6^8 - 454821003599855188810795644246858597271684063466/114461739163168000\ 2914283263626261888717061669*c_0101_6^7 + 103728728691084132781319858219764421205400339054/114461739163168000\ 2914283263626261888717061669*c_0101_6^6 + 239174637770665775626042532151249385920851098075/114461739163168000\ 2914283263626261888717061669*c_0101_6^5 - 74582968767190779488157018339416584824120252560/1144617391631680002\ 914283263626261888717061669*c_0101_6^4 - 38744640609366311787145621082421004743249790132/1144617391631680002\ 914283263626261888717061669*c_0101_6^3 + 3679583120821861533556099651307766559579794861/11446173916316800029\ 14283263626261888717061669*c_0101_6^2 - 1192505404671156713343505363457036843255854437/11446173916316800029\ 14283263626261888717061669*c_0101_6 + 1087128548380479053959780754756811949172908727/11446173916316800029\ 14283263626261888717061669, c_0011_3 + 66285493652905670528455753196660186731175524/114461739163168\ 0002914283263626261888717061669*c_0101_6^21 - 288142343437863977434427730371125801533697711/114461739163168000291\ 4283263626261888717061669*c_0101_6^20 - 935272852033794112542205188249671299468025594/114461739163168000291\ 4283263626261888717061669*c_0101_6^19 + 1469971831925290096931798182199135730575714295/11446173916316800029\ 14283263626261888717061669*c_0101_6^18 - 978513274993921740330661337103196711326420305/114461739163168000291\ 4283263626261888717061669*c_0101_6^17 + 17110640308588606686544093345110196312550782570/1144617391631680002\ 914283263626261888717061669*c_0101_6^16 + 11117293616410985611225708770258838738812825921/1144617391631680002\ 914283263626261888717061669*c_0101_6^15 - 22472393213802031977169752752973081515096700939/1144617391631680002\ 914283263626261888717061669*c_0101_6^14 + 624910545052328187158242361339715985353641960837/114461739163168000\ 2914283263626261888717061669*c_0101_6^13 + 1202346340301728375440536359232050751649357684490/11446173916316800\ 02914283263626261888717061669*c_0101_6^12 - 271416520175524868458782468751271003421067711870/114461739163168000\ 2914283263626261888717061669*c_0101_6^11 - 1163790311455285087959206015974811830151767033163/11446173916316800\ 02914283263626261888717061669*c_0101_6^10 + 212524587182762718239870459780679233046397504751/114461739163168000\ 2914283263626261888717061669*c_0101_6^9 + 322369669521247668811091251941617648104401082418/114461739163168000\ 2914283263626261888717061669*c_0101_6^8 - 405894001406820622717607786408409935415756416762/114461739163168000\ 2914283263626261888717061669*c_0101_6^7 + 64996940741362793754941410470203915371552836458/1144617391631680002\ 914283263626261888717061669*c_0101_6^6 + 235764752848915991196454576227124357137606039948/114461739163168000\ 2914283263626261888717061669*c_0101_6^5 - 54217272208938343502674298666250372583640053904/1144617391631680002\ 914283263626261888717061669*c_0101_6^4 - 49064480024278033701905217837757870890824846063/1144617391631680002\ 914283263626261888717061669*c_0101_6^3 + 4590669914501328704195703791742852265766247902/11446173916316800029\ 14283263626261888717061669*c_0101_6^2 - 98604716281771154435855862147123349136862490/1144617391631680002914\ 283263626261888717061669*c_0101_6 - 9879471530425687701686608960816955570768645/11446173916316800029142\ 83263626261888717061669, c_0101_0 - 68035955351998408039546638390196952021813775/114461739163168\ 0002914283263626261888717061669*c_0101_6^21 + 319721761739811582160243271748128925405438501/114461739163168000291\ 4283263626261888717061669*c_0101_6^20 + 834652819821070574691479764659266192223414000/114461739163168000291\ 4283263626261888717061669*c_0101_6^19 - 1738755545310534842621858470177517638519566487/11446173916316800029\ 14283263626261888717061669*c_0101_6^18 + 1749016695606468732209185522320807881527394475/11446173916316800029\ 14283263626261888717061669*c_0101_6^17 - 18545129178400434624741742046389572664700352351/1144617391631680002\ 914283263626261888717061669*c_0101_6^16 - 4425516892076164355989453717560458897851536367/11446173916316800029\ 14283263626261888717061669*c_0101_6^15 + 20974520641765291269291971844532637755873086594/1144617391631680002\ 914283263626261888717061669*c_0101_6^14 - 648265018905400837124844319169208613497587231371/114461739163168000\ 2914283263626261888717061669*c_0101_6^13 - 1002224733152692695998721375746055329528110662809/11446173916316800\ 02914283263626261888717061669*c_0101_6^12 + 510383904771110750493113297372455760090876748536/114461739163168000\ 2914283263626261888717061669*c_0101_6^11 + 871218227415040484217125320135911329507848387000/114461739163168000\ 2914283263626261888717061669*c_0101_6^10 - 382889939400358832558765313449548151713052612572/114461739163168000\ 2914283263626261888717061669*c_0101_6^9 - 71562332283305685985296920642589257306347960687/1144617391631680002\ 914283263626261888717061669*c_0101_6^8 + 358907312282306606984717515750406722341550084160/114461739163168000\ 2914283263626261888717061669*c_0101_6^7 - 163123180378179383027182483493120900431782064970/114461739163168000\ 2914283263626261888717061669*c_0101_6^6 - 134925174737473940574575409934236269578137753061/114461739163168000\ 2914283263626261888717061669*c_0101_6^5 + 53357047508723484911809871015462262361426558999/1144617391631680002\ 914283263626261888717061669*c_0101_6^4 + 22346754503512357831199727486022253098914127585/1144617391631680002\ 914283263626261888717061669*c_0101_6^3 - 3479720875672297160812800111395755712701593111/11446173916316800029\ 14283263626261888717061669*c_0101_6^2 + 772865311848681929624106119544645370827605544/114461739163168000291\ 4283263626261888717061669*c_0101_6 + 446082768905260090064266075084008540481724990/114461739163168000291\ 4283263626261888717061669, c_0101_1 - 52660744548151606348466562108653943227818591/114461739163168\ 0002914283263626261888717061669*c_0101_6^21 + 235534645492033173142595892586497259028173332/114461739163168000291\ 4283263626261888717061669*c_0101_6^20 + 719840271398699421888428889201497606570170972/114461739163168000291\ 4283263626261888717061669*c_0101_6^19 - 1290331125015631283662815547644142341721023831/11446173916316800029\ 14283263626261888717061669*c_0101_6^18 + 870518342470806324321476253088715015014814417/114461739163168000291\ 4283263626261888717061669*c_0101_6^17 - 13519274250853183560647267840203560518854984356/1144617391631680002\ 914283263626261888717061669*c_0101_6^16 - 7358000934243799258997185115585191913422872790/11446173916316800029\ 14283263626261888717061669*c_0101_6^15 + 20602053117913495940902115162176544919757539789/1144617391631680002\ 914283263626261888717061669*c_0101_6^14 - 499165206648825186176648649884389264138388760391/114461739163168000\ 2914283263626261888717061669*c_0101_6^13 - 894413533824126677727939205591005768959956035113/114461739163168000\ 2914283263626261888717061669*c_0101_6^12 + 389983576045436400446746687545597706847128434797/114461739163168000\ 2914283263626261888717061669*c_0101_6^11 + 951172853107106901255110722122276268218478865906/114461739163168000\ 2914283263626261888717061669*c_0101_6^10 - 355991671492160064742470813845499921597856298478/114461739163168000\ 2914283263626261888717061669*c_0101_6^9 - 267350512683713898255502052373082222957616871263/114461739163168000\ 2914283263626261888717061669*c_0101_6^8 + 401555132073422659366507170145929069115557297352/114461739163168000\ 2914283263626261888717061669*c_0101_6^7 - 112187380224707437379973556245258169313452669662/114461739163168000\ 2914283263626261888717061669*c_0101_6^6 - 190944956553959450376554171485176922199222036852/114461739163168000\ 2914283263626261888717061669*c_0101_6^5 + 88484690858981639191990718658851352393125509330/1144617391631680002\ 914283263626261888717061669*c_0101_6^4 + 26693648999335795669606390051106280165694385007/1144617391631680002\ 914283263626261888717061669*c_0101_6^3 - 9331368552082854675195235145412849317133920366/11446173916316800029\ 14283263626261888717061669*c_0101_6^2 + 1669793826621530794304392587539834065354895725/11446173916316800029\ 14283263626261888717061669*c_0101_6 - 536692882357104776212076692287856916981142514/114461739163168000291\ 4283263626261888717061669, c_0101_5 + 98091359283303371602924609764937627594946208/114461739163168\ 0002914283263626261888717061669*c_0101_6^21 - 438720672968899996714397274250415105507971303/114461739163168000291\ 4283263626261888717061669*c_0101_6^20 - 1329567458276411514537256894256315426873360197/11446173916316800029\ 14283263626261888717061669*c_0101_6^19 + 2343146816078747262582957013217475724382210891/11446173916316800029\ 14283263626261888717061669*c_0101_6^18 - 1724864163262924751517647454418041515926569719/11446173916316800029\ 14283263626261888717061669*c_0101_6^17 + 25543058488100037788394444368234739361889926483/1144617391631680002\ 914283263626261888717061669*c_0101_6^16 + 13216809613549950998311940166999087247932182112/1144617391631680002\ 914283263626261888717061669*c_0101_6^15 - 35014100695192685130521632799760222581112344944/1144617391631680002\ 914283263626261888717061669*c_0101_6^14 + 928505339876429338954220744636093812934936744995/114461739163168000\ 2914283263626261888717061669*c_0101_6^13 + 1662942066228556545544221467771701727959328887983/11446173916316800\ 02914283263626261888717061669*c_0101_6^12 - 616526980419659571196418331279766397175675624015/114461739163168000\ 2914283263626261888717061669*c_0101_6^11 - 1672417404525160707702482523891810516802272014189/11446173916316800\ 02914283263626261888717061669*c_0101_6^10 + 500800939407660174757640727284179335329075268447/114461739163168000\ 2914283263626261888717061669*c_0101_6^9 + 423313520417978102394249114643657068637629944090/114461739163168000\ 2914283263626261888717061669*c_0101_6^8 - 644767322748216071493428115883836584889085119616/114461739163168000\ 2914283263626261888717061669*c_0101_6^7 + 167202724047266227386761554602794180897561633447/114461739163168000\ 2914283263626261888717061669*c_0101_6^6 + 327042339203900643181202288119137638646316787997/114461739163168000\ 2914283263626261888717061669*c_0101_6^5 - 114054427843842707464634322087276345338240246139/114461739163168000\ 2914283263626261888717061669*c_0101_6^4 - 59176271958344334454099684102130263133619419684/1144617391631680002\ 914283263626261888717061669*c_0101_6^3 + 10928448614146464036591189094859270203919324741/1144617391631680002\ 914283263626261888717061669*c_0101_6^2 + 244057768399583786899766146715225460366696769/114461739163168000291\ 4283263626261888717061669*c_0101_6 + 200386176413834121441705806013523255408853969/114461739163168000291\ 4283263626261888717061669, c_0101_6^22 - 5*c_0101_6^21 - 11*c_0101_6^20 + 30*c_0101_6^19 - 32*c_0101_6^18 + 276*c_0101_6^17 - 11*c_0101_6^16 - 371*c_0101_6^15 + 9634*c_0101_6^14 + 11899*c_0101_6^13 - 13324*c_0101_6^12 - 11995*c_0101_6^11 + 11150*c_0101_6^10 + 421*c_0101_6^9 - 6512*c_0101_6^8 + 4363*c_0101_6^7 + 1557*c_0101_6^6 - 1840*c_0101_6^5 - 77*c_0101_6^4 + 180*c_0101_6^3 - 4*c_0101_6^2 + 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB