Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 762098165] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1810 geometric_solution 5.47368625 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 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 -1 0 1 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.117563776997 1.284170886644 0 3 2 4 0132 0132 0213 0132 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 0 0 0 0 0 0 0 0.597130090686 0.513313044332 4 1 3 0 1023 0213 3201 0132 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 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.597130090686 0.513313044332 2 1 5 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.896951140352 1.216152676722 6 2 1 6 0132 1023 0132 3201 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519057921540 0.207069736967 3 5 5 3 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.726133480426 0.366717274586 4 4 6 6 0132 2310 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928586473839 1.185798381933 ==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' : negation(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' : negation(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_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], '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_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_2, c_0011_5, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 284945121457819481246695081891837456988/916148054010055359242042297\ 88057705955*c_0101_6^24 - 1199088939155421133682996749927191267141/\ 91614805401005535924204229788057705955*c_0101_6^23 - 8498531822301760501563414310735949712658/91614805401005535924204229\ 788057705955*c_0101_6^22 + 1719984582779381241654599274920002185071\ 4/91614805401005535924204229788057705955*c_0101_6^21 + 127861000852001542558039658454584625330859/916148054010055359242042\ 29788057705955*c_0101_6^20 - 48393753234055044726148724446004438661\ 202/91614805401005535924204229788057705955*c_0101_6^19 - 958406177110713070772540441441245172658788/916148054010055359242042\ 29788057705955*c_0101_6^18 - 26855896455062955153283775169832908248\ 4149/91614805401005535924204229788057705955*c_0101_6^17 + 3379424312590897687732171335830500974208322/91614805401005535924204\ 229788057705955*c_0101_6^16 + 2516688457572358605903875963218536849\ 706332/91614805401005535924204229788057705955*c_0101_6^15 - 5730998667502729427171629493797513395814177/91614805401005535924204\ 229788057705955*c_0101_6^14 - 7553629389222152104257601925270823669\ 257851/91614805401005535924204229788057705955*c_0101_6^13 + 3284230751812372460217304812067055408463783/91614805401005535924204\ 229788057705955*c_0101_6^12 + 1098764190218375547903582081636241478\ 6121999/91614805401005535924204229788057705955*c_0101_6^11 + 3354215785548851328521688930978559763687729/91614805401005535924204\ 229788057705955*c_0101_6^10 - 8174172979563784215838602166141116956\ 440082/91614805401005535924204229788057705955*c_0101_6^9 - 6470657157175901598733102731873995193388172/91614805401005535924204\ 229788057705955*c_0101_6^8 + 27995015246310961443555106365466558561\ 63887/91614805401005535924204229788057705955*c_0101_6^7 + 3985075412366451306142206113725625234088981/91614805401005535924204\ 229788057705955*c_0101_6^6 - 39307010169551637685488954602038138269\ 794/18322961080201107184840845957611541191*c_0101_6^5 - 1060822655292863267780214211988939932004661/91614805401005535924204\ 229788057705955*c_0101_6^4 - 10103479828264970143061215425032932144\ 4763/91614805401005535924204229788057705955*c_0101_6^3 + 105210482983734186796548992510013129778049/916148054010055359242042\ 29788057705955*c_0101_6^2 + 249947757136321658184541721481769769360\ 19/91614805401005535924204229788057705955*c_0101_6 - 1173513733510398542935185713749914570637/18322961080201107184840845\ 957611541191, c_0011_0 - 1, c_0011_2 + 6285359460389415443876234058853066058/1832296108020110718484\ 0845957611541191*c_0101_6^24 - 110718418669859820321669651363154739\ 42/18322961080201107184840845957611541191*c_0101_6^23 - 221195930479918711086610418036363616428/183229610802011071848408459\ 57611541191*c_0101_6^22 - 149660251212892856527028581285041218339/1\ 8322961080201107184840845957611541191*c_0101_6^21 + 2686386989509783227573885068701889067357/18322961080201107184840845\ 957611541191*c_0101_6^20 + 5650584100119543335558058865947120623210\ /18322961080201107184840845957611541191*c_0101_6^19 - 10133878078561017328401215533602443181101/1832296108020110718484084\ 5957611541191*c_0101_6^18 - 364958621711655203686160969458096863199\ 10/18322961080201107184840845957611541191*c_0101_6^17 - 4034406562262111356108397949852114284457/18322961080201107184840845\ 957611541191*c_0101_6^16 + 8278705413355066894020763846082158988550\ 2/18322961080201107184840845957611541191*c_0101_6^15 + 79223397421707753622744161269132784244748/1832296108020110718484084\ 5957611541191*c_0101_6^14 - 560463808891595024694740679815925223393\ 17/18322961080201107184840845957611541191*c_0101_6^13 - 141318256170062045184431597093150835451313/183229610802011071848408\ 45957611541191*c_0101_6^12 - 47113259813891973768325937904385645106\ 536/18322961080201107184840845957611541191*c_0101_6^11 + 92993938202296763501395684391536592622970/1832296108020110718484084\ 5957611541191*c_0101_6^10 + 888174269026164989414622507308515472956\ 89/18322961080201107184840845957611541191*c_0101_6^9 - 12240770919008782890890234512987971177736/1832296108020110718484084\ 5957611541191*c_0101_6^8 - 4579626123817992339476713657964061466474\ 7/18322961080201107184840845957611541191*c_0101_6^7 - 10088028326225977894639880377434157487618/1832296108020110718484084\ 5957611541191*c_0101_6^6 + 8838842426302739818426049023688305543195\ /18322961080201107184840845957611541191*c_0101_6^5 + 3395658873149507577601321625687314982817/18322961080201107184840845\ 957611541191*c_0101_6^4 - 577214991572873669229333324956473142407/1\ 8322961080201107184840845957611541191*c_0101_6^3 - 331775596234715153867042494288826874791/183229610802011071848408459\ 57611541191*c_0101_6^2 + 43759102990354693050878624169639118629/183\ 22961080201107184840845957611541191*c_0101_6 + 15423920865723149266799371069447971446/1832296108020110718484084595\ 7611541191, c_0011_5 + 35283719417252169760419556161330396528/183229610802011071848\ 40845957611541191*c_0101_6^24 - 64063521159361694119828591759408168\ 260/18322961080201107184840845957611541191*c_0101_6^23 - 1247737163327458707305312509480183169085/18322961080201107184840845\ 957611541191*c_0101_6^22 - 757569349123235895417950895598120170201/\ 18322961080201107184840845957611541191*c_0101_6^21 + 15456079138006972478891786014545192045385/1832296108020110718484084\ 5957611541191*c_0101_6^20 + 311716280814594806830471704229077272018\ 59/18322961080201107184840845957611541191*c_0101_6^19 - 62504317624201493697888257440137700906573/1832296108020110718484084\ 5957611541191*c_0101_6^18 - 210625372011323226931555335559040839820\ 167/18322961080201107184840845957611541191*c_0101_6^17 + 1560897751167572478279981707112936862394/18322961080201107184840845\ 957611541191*c_0101_6^16 + 5195751762522610494121367646003210396321\ 06/18322961080201107184840845957611541191*c_0101_6^15 + 434649840933454853414948579808734280379772/183229610802011071848408\ 45957611541191*c_0101_6^14 - 44589642788232063270867178927063676858\ 4234/18322961080201107184840845957611541191*c_0101_6^13 - 899837997885148275120875835957925443335218/183229610802011071848408\ 45957611541191*c_0101_6^12 - 17911506584567660693913861828882127515\ 9327/18322961080201107184840845957611541191*c_0101_6^11 + 715109093757988198551224229978218223013120/183229610802011071848408\ 45957611541191*c_0101_6^10 + 56594933950030565449775917144916561331\ 5569/18322961080201107184840845957611541191*c_0101_6^9 - 178044082090171924915476487362263165787206/183229610802011071848408\ 45957611541191*c_0101_6^8 - 364934796197846110677303679057495185405\ 627/18322961080201107184840845957611541191*c_0101_6^7 - 52650141231635704823830078354344965633090/1832296108020110718484084\ 5957611541191*c_0101_6^6 + 9230073877812295466205195312436165248682\ 2/18322961080201107184840845957611541191*c_0101_6^5 + 31963290923141118170601195973807711948095/1832296108020110718484084\ 5957611541191*c_0101_6^4 - 7621921949377959768754282529158028018634\ /18322961080201107184840845957611541191*c_0101_6^3 - 4823787556435332707004532404950275914555/18322961080201107184840845\ 957611541191*c_0101_6^2 - 63925208155501111397345792799941448611/18\ 322961080201107184840845957611541191*c_0101_6 + 218488200086256202549103427230543917306/183229610802011071848408459\ 57611541191, c_0101_0 + 7324325417741507390356994923639368246/1832296108020110718484\ 0845957611541191*c_0101_6^24 - 116063369866808486652991831555904527\ 09/18322961080201107184840845957611541191*c_0101_6^23 - 260416980176814460017307420521923315159/183229610802011071848408459\ 57611541191*c_0101_6^22 - 219600646236243200557079775576606961505/1\ 8322961080201107184840845957611541191*c_0101_6^21 + 3113141428830112284593057208673673345737/18322961080201107184840845\ 957611541191*c_0101_6^20 + 7156409955754416157056741292995834310193\ /18322961080201107184840845957611541191*c_0101_6^19 - 10793041023047365448045600286577538808626/1832296108020110718484084\ 5957611541191*c_0101_6^18 - 450499396407713095428421225762682840894\ 70/18322961080201107184840845957611541191*c_0101_6^17 - 11902124267567419942870078517391854059313/1832296108020110718484084\ 5957611541191*c_0101_6^16 + 979563672737676550820771974634521164741\ 57/18322961080201107184840845957611541191*c_0101_6^15 + 111012297939099480838192921669688341907231/183229610802011071848408\ 45957611541191*c_0101_6^14 - 52401188984669897274579695586577521477\ 037/18322961080201107184840845957611541191*c_0101_6^13 - 182311228576755734405378373172736587823638/183229610802011071848408\ 45957611541191*c_0101_6^12 - 85311024721538264516063675006512517507\ 195/18322961080201107184840845957611541191*c_0101_6^11 + 104172571414830030866572236881967303572902/183229610802011071848408\ 45957611541191*c_0101_6^10 + 12847678561093577497412192187271252837\ 2333/18322961080201107184840845957611541191*c_0101_6^9 + 4143685292823680427460996411575428059309/18322961080201107184840845\ 957611541191*c_0101_6^8 - 59100811332420475740439112513538169181115\ /18322961080201107184840845957611541191*c_0101_6^7 - 22881065085810380170872581507475275680435/1832296108020110718484084\ 5957611541191*c_0101_6^6 + 8272159638276557658570289806038203680044\ /18322961080201107184840845957611541191*c_0101_6^5 + 6128110769612419263071725284046706692335/18322961080201107184840845\ 957611541191*c_0101_6^4 + 237807986515067987929088153876805116582/1\ 8322961080201107184840845957611541191*c_0101_6^3 - 501523963808998614392245633458431566644/183229610802011071848408459\ 57611541191*c_0101_6^2 - 50768144605064542801077955703404687239/183\ 22961080201107184840845957611541191*c_0101_6 + 8839684067879734668762561752673185851/18322961080201107184840845957\ 611541191, c_0101_2 + 20877285687691426409727173651431660984/183229610802011071848\ 40845957611541191*c_0101_6^24 - 35929123011434194284682855360614611\ 896/18322961080201107184840845957611541191*c_0101_6^23 - 741102986689591602454808034979192282751/183229610802011071848408459\ 57611541191*c_0101_6^22 - 518196406185134231294329954891153002450/1\ 8322961080201107184840845957611541191*c_0101_6^21 + 9072738874557624829308137955957068596660/18322961080201107184840845\ 957611541191*c_0101_6^20 + 1924699873747140411562493132637490381021\ 1/18322961080201107184840845957611541191*c_0101_6^19 - 34916315940295944557167792792568967883430/1832296108020110718484084\ 5957611541191*c_0101_6^18 - 126869756648651933771119844449437164283\ 630/18322961080201107184840845957611541191*c_0101_6^17 - 11218111351064514673330786368233824239939/1832296108020110718484084\ 5957611541191*c_0101_6^16 + 300500145858310079244998261798719049789\ 243/18322961080201107184840845957611541191*c_0101_6^15 + 279412875338191740728364939989921857651483/183229610802011071848408\ 45957611541191*c_0101_6^14 - 22737009136702292124850809370976365713\ 0334/18322961080201107184840845957611541191*c_0101_6^13 - 531504910641922360868303534004040136392046/183229610802011071848408\ 45957611541191*c_0101_6^12 - 15323396514118943962784509798798000147\ 2990/18322961080201107184840845957611541191*c_0101_6^11 + 380865250094557182380820391725872280756447/183229610802011071848408\ 45957611541191*c_0101_6^10 + 34535412041624767960453778642336490511\ 0471/18322961080201107184840845957611541191*c_0101_6^9 - 64876504595879334124912036573444599430829/1832296108020110718484084\ 5957611541191*c_0101_6^8 - 1962079438009049850551259476793841537305\ 48/18322961080201107184840845957611541191*c_0101_6^7 - 40293573913660547610792538261102614313015/1832296108020110718484084\ 5957611541191*c_0101_6^6 + 4180937290374171890840579414057717487906\ 4/18322961080201107184840845957611541191*c_0101_6^5 + 15877372050099791031678348303016203149237/1832296108020110718484084\ 5957611541191*c_0101_6^4 - 2747274750346840032752927274175905175874\ /18322961080201107184840845957611541191*c_0101_6^3 - 1875054480577492625028176045759993442407/18322961080201107184840845\ 957611541191*c_0101_6^2 + 6809520230143264297706458330297041418/183\ 22961080201107184840845957611541191*c_0101_6 + 96783805417697359053743119488855703567/1832296108020110718484084595\ 7611541191, c_0101_3 + 8488260423840321478201818118299082377/1832296108020110718484\ 0845957611541191*c_0101_6^24 - 144929934318737490658938498779306428\ 42/18322961080201107184840845957611541191*c_0101_6^23 - 304419979425806668984547880828699629753/183229610802011071848408459\ 57611541191*c_0101_6^22 - 208745960097411047604034079234948420761/1\ 8322961080201107184840845957611541191*c_0101_6^21 + 3785788915873065564369692352685278788766/18322961080201107184840845\ 957611541191*c_0101_6^20 + 7915092403759733256092470931033414823081\ /18322961080201107184840845957611541191*c_0101_6^19 - 15328421443526271681156175142698353301127/1832296108020110718484084\ 5957611541191*c_0101_6^18 - 540150811415457122926188250618542127563\ 59/18322961080201107184840845957611541191*c_0101_6^17 - 98541243797238320437547213062390394064/1832296108020110718484084595\ 7611541191*c_0101_6^16 + 137250182120201642028817264160592428932312\ /18322961080201107184840845957611541191*c_0101_6^15 + 113762788663470151341209528893409324320919/183229610802011071848408\ 45957611541191*c_0101_6^14 - 12713996115450186260189654981190122719\ 5988/18322961080201107184840845957611541191*c_0101_6^13 - 245936296938846182010136149613817461846793/183229610802011071848408\ 45957611541191*c_0101_6^12 - 36516331251417328017798209324971919738\ 866/18322961080201107184840845957611541191*c_0101_6^11 + 211888323209508217525296861585756987682434/183229610802011071848408\ 45957611541191*c_0101_6^10 + 15652976090299880988342564477866199039\ 6428/18322961080201107184840845957611541191*c_0101_6^9 - 65781579384475330265008107982513217236465/1832296108020110718484084\ 5957611541191*c_0101_6^8 - 1148295025618744238641191626076924378648\ 46/18322961080201107184840845957611541191*c_0101_6^7 - 10977814852696592196931269725557232361818/1832296108020110718484084\ 5957611541191*c_0101_6^6 + 3494890285494429561971550248960871865873\ 5/18322961080201107184840845957611541191*c_0101_6^5 + 11051154715207849117129355163674202691828/1832296108020110718484084\ 5957611541191*c_0101_6^4 - 3949895594753227666461849696874457919123\ /18322961080201107184840845957611541191*c_0101_6^3 - 2212439094552698272714369899079358386891/18322961080201107184840845\ 957611541191*c_0101_6^2 + 23784818572432127761693151011376125712/18\ 322961080201107184840845957611541191*c_0101_6 + 124446934704978595900393747336593100907/183229610802011071848408459\ 57611541191, c_0101_6^25 - 2*c_0101_6^24 - 35*c_0101_6^23 - 15*c_0101_6^22 + 441*c_0101_6^21 + 802*c_0101_6^20 - 1922*c_0101_6^19 - 5617*c_0101_6^18 + 1097*c_0101_6^17 + 14549*c_0101_6^16 + 9597*c_0101_6^15 - 14521*c_0101_6^14 - 22841*c_0101_6^13 - 664*c_0101_6^12 + 20586*c_0101_6^11 + 12149*c_0101_6^10 - 7569*c_0101_6^9 - 9062*c_0101_6^8 + 321*c_0101_6^7 + 2707*c_0101_6^6 + 405*c_0101_6^5 - 348*c_0101_6^4 - 90*c_0101_6^3 + 21*c_0101_6^2 + 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB