Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 981182204] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0277 geometric_solution 4.32269261 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 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.304031828884 0.205580375854 0 2 2 0 0132 0132 3201 1023 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 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.913266226264 0.743902116567 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 1 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.102459592591 0.212623958635 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 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 -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 0 0 0 0 0 0 1.668076797361 1.957506893938 3 6 5 5 0132 0132 2310 1230 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 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.163251977708 1.169711096882 4 4 6 3 3012 3201 3201 0132 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 1 0 -1 -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 0.163251977708 1.169711096882 5 4 6 6 2310 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 1 -1 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.387346985410 0.246677313207 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(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_0101_2'], 'c_1100_5' : negation(d['c_0011_3']), '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_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], '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_3']), 'c_0011_6' : d['c_0011_3'], '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_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], '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_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 180833036257699360326815454582197684565729/927215833177008922672326\ 4213021491965008*c_0101_5^20 - 226202616041158598379247159823375119\ 21373/356621474298849585643202469731595844808*c_0101_5^19 - 532244520540946329544989784076042897476459/579509895735630576670204\ 013313843247813*c_0101_5^18 + 1967283646528766250655074637168962211\ 2287013/4636079165885044613361632106510745982504*c_0101_5^17 + 87181166416717106477801823314437658711531751/9272158331770089226723\ 264213021491965008*c_0101_5^16 - 1754725484649873711319294625603586\ 0285546353/356621474298849585643202469731595844808*c_0101_5^15 - 221079888669775210055327515808307423626227949/463607916588504461336\ 1632106510745982504*c_0101_5^14 + 121002314725388322936664997204318\ 6686339848815/4636079165885044613361632106510745982504*c_0101_5^13 + 377898931901314209679782883219480205737642471/231803958294252230668\ 0816053255372991252*c_0101_5^12 - 845004912552126128994853479373612\ 794347906633/1159019791471261153340408026627686495626*c_0101_5^11 - 337919781227031083766955630185849863238291/781734957572724831525441\ 717647878928*c_0101_5^10 + 2509162031045921361319233351948303925924\ 515909/2318039582942522306680816053255372991252*c_0101_5^9 + 140106104510347255205063586260280879821471307/178310737149424792821\ 601234865797922404*c_0101_5^8 - 62155897119327437360992421135995666\ 66508831445/9272158331770089226723264213021491965008*c_0101_5^7 - 5419198890143376056157998103035160813323793073/92721583317700892267\ 23264213021491965008*c_0101_5^6 + 824414317090126776275964136392154\ 301852871511/4636079165885044613361632106510745982504*c_0101_5^5 + 14851454571414690533752709932012493403093303/7662940770057924980763\ 0282752243735248*c_0101_5^4 - 1923791601608539990372191492106773621\ 3131007/1159019791471261153340408026627686495626*c_0101_5^3 - 256891739700876947802144191690156502711038295/927215833177008922672\ 3264213021491965008*c_0101_5^2 - 1657495947064917211156186844993853\ 059875225/9272158331770089226723264213021491965008*c_0101_5 + 11003452939941042681828996255185029160070545/9272158331770089226723\ 264213021491965008, c_0011_0 - 1, c_0011_3 - 977064515035397395295872888191117975/15371615271502137312207\ 00300567223469*c_0101_5^20 + 4512299283412423342840078129058637505/\ 1537161527150213731220700300567223469*c_0101_5^19 + 40192158729156813634527595261476685573/1537161527150213731220700300\ 567223469*c_0101_5^18 - 269050400096632037005081287269135910437/153\ 7161527150213731220700300567223469*c_0101_5^17 - 117709323438451563649063221146980629853/153716152715021373122070030\ 0567223469*c_0101_5^16 + 2719154394718369653693951408138550351228/1\ 537161527150213731220700300567223469*c_0101_5^15 - 1279962974662235604407465564076517508620/15371615271502137312207003\ 00567223469*c_0101_5^14 - 12265499533994639130148755886732057327801\ /1537161527150213731220700300567223469*c_0101_5^13 + 8984137172708637716345258608189169563977/15371615271502137312207003\ 00567223469*c_0101_5^12 + 28447488123624622728382509626528809555800\ /1537161527150213731220700300567223469*c_0101_5^11 - 49008240541088738537121808663433805984/3758341142176561690026162104\ 076341*c_0101_5^10 - 36403176175949617126144316360279398447894/1537\ 161527150213731220700300567223469*c_0101_5^9 + 16441184628393318931042640106779619053234/1537161527150213731220700\ 300567223469*c_0101_5^8 + 22897406699612200392407285925358675321480\ /1537161527150213731220700300567223469*c_0101_5^7 - 6305278807594831402267992276737620212233/15371615271502137312207003\ 00567223469*c_0101_5^6 - 6924623689263037739309721593538351611316/1\ 537161527150213731220700300567223469*c_0101_5^5 + 104301038840494900307846107628020903209/139741957013655793747336390\ 960656679*c_0101_5^4 + 922183295665456673427436887492390429345/1537\ 161527150213731220700300567223469*c_0101_5^3 - 77660755120304762909807996168748039011/1537161527150213731220700300\ 567223469*c_0101_5^2 - 37825795516287890865169468208089784573/15371\ 61527150213731220700300567223469*c_0101_5 + 1375860419988054568539478839760389305/15371615271502137312207003005\ 67223469, c_0011_5 - 261109791212564772438055407070109047/15371615271502137312207\ 00300567223469*c_0101_5^20 + 1138631478846547095893117665971593886/\ 1537161527150213731220700300567223469*c_0101_5^19 + 11061037509584964684570926617425358265/1537161527150213731220700300\ 567223469*c_0101_5^18 - 69201034299961719226564032606741054679/1537\ 161527150213731220700300567223469*c_0101_5^17 - 50266517028780026232302660553743524702/1537161527150213731220700300\ 567223469*c_0101_5^16 + 722087743917333417160382101677311236864/153\ 7161527150213731220700300567223469*c_0101_5^15 - 159689150124384046282907969511681403644/153716152715021373122070030\ 0567223469*c_0101_5^14 - 3394844080763971088832957141026389519178/1\ 537161527150213731220700300567223469*c_0101_5^13 + 1627851622593858175792322213758560859655/15371615271502137312207003\ 00567223469*c_0101_5^12 + 8310297093933214098552276002643088146984/\ 1537161527150213731220700300567223469*c_0101_5^11 - 9149338925199749731466221526634819133/37583411421765616900261621040\ 76341*c_0101_5^10 - 11185438567484097198199331326793445890379/15371\ 61527150213731220700300567223469*c_0101_5^9 + 2643122911940672705782405563222462498034/15371615271502137312207003\ 00567223469*c_0101_5^8 + 7182524416893398756351654602120060597505/1\ 537161527150213731220700300567223469*c_0101_5^7 - 918228916610632619489682780772351644378/153716152715021373122070030\ 0567223469*c_0101_5^6 - 2200572139504623246688873797851681713466/15\ 37161527150213731220700300567223469*c_0101_5^5 + 19834593803371705699142196382475238669/1397419570136557937473363909\ 60656679*c_0101_5^4 + 298290307223228113336586865387218157644/15371\ 61527150213731220700300567223469*c_0101_5^3 - 29580587429649668117715903208076634867/1537161527150213731220700300\ 567223469*c_0101_5^2 - 12860009887180819206818986807704108328/15371\ 61527150213731220700300567223469*c_0101_5 + 1006355829996801337034017257351528105/15371615271502137312207003005\ 67223469, c_0101_0 - 361901004593941819545586601276255528/15371615271502137312207\ 00300567223469*c_0101_5^20 + 1837037342342980667468029071752282693/\ 1537161527150213731220700300567223469*c_0101_5^19 + 14097461262367792170979401387695087567/1537161527150213731220700300\ 567223469*c_0101_5^18 - 106355580216406751674143634551010847918/153\ 7161527150213731220700300567223469*c_0101_5^17 + 3009202850275651681749488081376770082/15371615271502137312207003005\ 67223469*c_0101_5^16 + 1020301645533718494414620822303055391262/153\ 7161527150213731220700300567223469*c_0101_5^15 - 937010878709151729011318928710372186241/153716152715021373122070030\ 0567223469*c_0101_5^14 - 4258933497708810931022569665389674568353/1\ 537161527150213731220700300567223469*c_0101_5^13 + 5364527314439659973416182775601771835073/15371615271502137312207003\ 00567223469*c_0101_5^12 + 8724066137455249442133474515072497158767/\ 1537161527150213731220700300567223469*c_0101_5^11 - 29279535376197805024060289996654178986/3758341142176561690026162104\ 076341*c_0101_5^10 - 9467929154376203211937878423920693233738/15371\ 61527150213731220700300567223469*c_0101_5^9 + 11652446141288404759409218495351747691746/1537161527150213731220700\ 300567223469*c_0101_5^8 + 5016117971750186221707183274905438976104/\ 1537161527150213731220700300567223469*c_0101_5^7 - 5661557133340918260616062364783862059695/15371615271502137312207003\ 00567223469*c_0101_5^6 - 1195234165435844080849801814539398489851/1\ 537161527150213731220700300567223469*c_0101_5^5 + 119520805714857052480920497296366993796/139741957013655793747336390\ 960656679*c_0101_5^4 + 98650973957493427605975755106961072462/15371\ 61527150213731220700300567223469*c_0101_5^3 - 114035890473550442200717117248316724993/153716152715021373122070030\ 0567223469*c_0101_5^2 + 236589556243458218753777389604411697/153716\ 1527150213731220700300567223469*c_0101_5 + 1884888877115089737619783467530001571/15371615271502137312207003005\ 67223469, c_0101_1 + 138889929863997537461143863613509598/15371615271502137312207\ 00300567223469*c_0101_5^20 - 582612716442300007304097702869887237/1\ 537161527150213731220700300567223469*c_0101_5^19 - 6043797506097931688681593621846874212/15371615271502137312207003005\ 67223469*c_0101_5^18 + 36140229673047710478109980181086908452/15371\ 61527150213731220700300567223469*c_0101_5^17 + 35138158305673373173376443779048421517/1537161527150213731220700300\ 567223469*c_0101_5^16 - 397287698641768296041211946617567458223/153\ 7161527150213731220700300567223469*c_0101_5^15 + 23339271339606129370974798835213437424/1537161527150213731220700300\ 567223469*c_0101_5^14 + 1984193335518782864508678899180490097333/15\ 37161527150213731220700300567223469*c_0101_5^13 - 729343266606366663787524030478304969975/153716152715021373122070030\ 0567223469*c_0101_5^12 - 5222301863671919548286365863547081039838/1\ 537161527150213731220700300567223469*c_0101_5^11 + 5212243424046194637952093105080212977/37583411421765616900261621040\ 76341*c_0101_5^10 + 7543666698454182726675894452360728610838/153716\ 1527150213731220700300567223469*c_0101_5^9 - 2210406076226485913908635156322893645807/15371615271502137312207003\ 00567223469*c_0101_5^8 - 5329856487116283864238153108918021230145/1\ 537161527150213731220700300567223469*c_0101_5^7 + 1310590256867956938771767544480622096985/15371615271502137312207003\ 00567223469*c_0101_5^6 + 1893603112291492170832410210396340009954/1\ 537161527150213731220700300567223469*c_0101_5^5 - 36820450325448147336571441082676125653/1397419570136557937473363909\ 60656679*c_0101_5^4 - 308885167208651330637913902301433116140/15371\ 61527150213731220700300567223469*c_0101_5^3 + 44956550287209646468529808071754181086/1537161527150213731220700300\ 567223469*c_0101_5^2 + 18505759497021623033229804615497344374/15371\ 61527150213731220700300567223469*c_0101_5 - 1115738095290003789877098167305103788/15371615271502137312207003005\ 67223469, c_0101_2 + 1490630709727990366001167281321179632/1537161527150213731220\ 700300567223469*c_0101_5^20 - 6757112276885341177175117011900607804\ /1537161527150213731220700300567223469*c_0101_5^19 - 61926710178735797790183705892391289141/1537161527150213731220700300\ 567223469*c_0101_5^18 + 405395023654983669156616471891906398215/153\ 7161527150213731220700300567223469*c_0101_5^17 + 215245863829178783891422425534433822735/153716152715021373122070030\ 0567223469*c_0101_5^16 - 4141061117303672225498825234946067441976/1\ 537161527150213731220700300567223469*c_0101_5^15 + 1609244651351262195497978647834081456867/15371615271502137312207003\ 00567223469*c_0101_5^14 + 18943912315220427858762277593705350414130\ /1537161527150213731220700300567223469*c_0101_5^13 - 12262738034103371661275927988297205028270/1537161527150213731220700\ 300567223469*c_0101_5^12 - 4476910912292862794909755018992880154784\ 9/1537161527150213731220700300567223469*c_0101_5^11 + 67479013596485458671878176809076268432/3758341142176561690026162104\ 076341*c_0101_5^10 + 58320923200535394675445290408259962743678/1537\ 161527150213731220700300567223469*c_0101_5^9 - 21872565984939332254068814288872189845382/1537161527150213731220700\ 300567223469*c_0101_5^8 - 36942363778275431693754636913183801158555\ /1537161527150213731220700300567223469*c_0101_5^7 + 8184523675938510046685624846240170545408/15371615271502137312207003\ 00567223469*c_0101_5^6 + 11219816428195346803967816833129828595725/\ 1537161527150213731220700300567223469*c_0101_5^5 - 140712037763896254068189276466808798048/139741957013655793747336390\ 960656679*c_0101_5^4 - 1494027351196294288988893573474026164509/153\ 7161527150213731220700300567223469*c_0101_5^3 + 128170728442216114404329931312923753710/153716152715021373122070030\ 0567223469*c_0101_5^2 + 60555661200832058356661531769886101419/1537\ 161527150213731220700300567223469*c_0101_5 - 3221094626446354630665834504978473261/15371615271502137312207003005\ 67223469, c_0101_5^21 - 4*c_0101_5^20 - 44*c_0101_5^19 + 250*c_0101_5^18 + 291*c_0101_5^17 - 2712*c_0101_5^16 - 406*c_0101_5^15 + 13394*c_0101_5^14 - 1504*c_0101_5^13 - 34912*c_0101_5^12 + 2865*c_0101_5^11 + 50130*c_0101_5^10 + 5396*c_0101_5^9 - 34045*c_0101_5^8 - 7111*c_0101_5^7 + 11344*c_0101_5^6 + 2771*c_0101_5^5 - 1814*c_0101_5^4 - 423*c_0101_5^3 + 117*c_0101_5^2 + 19*c_0101_5 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB