Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 3515895048] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1827 geometric_solution 5.48383004 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.689060942052 0.324777284868 0 0 3 2 2310 0132 0132 0132 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 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.096794495705 1.329199557345 4 5 1 3 0132 0132 0132 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 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.882683953013 0.809126935648 5 4 2 1 3201 2310 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 -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.882683953013 0.809126935648 2 6 6 3 0132 0132 3201 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 0 0 0 0 1 -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.316990825737 0.468334663927 5 2 5 3 2031 0132 1302 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.587108865008 0.425166718152 4 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 0 0 0 -1 0 0 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.723888101213 1.754364551671 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : negation(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' : 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_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(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_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : 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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 39700070784585922428387263691598843597042579505/1285032056146468066\ 32120244529484903509175296*c_0101_6^28 + 14438888556267733372711759791053950052052531841/4431145021194717470\ 073111880327065638247424*c_0101_6^26 - 900895494382458716742772428247719734013012770453/160629007018308508\ 29015030566185612938646912*c_0101_6^24 - 4946420733035026929819176405962604868038957521735/16062900701830850\ 829015030566185612938646912*c_0101_6^22 + 22646325771526947205064407927477098932918983698539/1606290070183085\ 0829015030566185612938646912*c_0101_6^20 + 448843464043587932188568029719431473638016280441479/128503205614646\ 806632120244529484903509175296*c_0101_6^18 - 1034735021287946698051673126796205777602657230889335/64251602807323\ 403316060122264742451754587648*c_0101_6^16 + 326940978152418685865455864555895034258295272441849/642516028073234\ 03316060122264742451754587648*c_0101_6^14 + 1688624468013973497687705829649713191745871118347825/64251602807323\ 403316060122264742451754587648*c_0101_6^12 - 175865046127823698982472331777809921230665345936343/160629007018308\ 50829015030566185612938646912*c_0101_6^10 - 559039311752461539647383943227570905911631889899065/321258014036617\ 01658030061132371225877293824*c_0101_6^8 + 42995394725707519812886244408087393816348498373635/1285032056146468\ 06632120244529484903509175296*c_0101_6^6 + 26082035315688814323977305917677815578513138145355/3212580140366170\ 1658030061132371225877293824*c_0101_6^4 + 10630591476271606671559558452442771748937012051059/1285032056146468\ 06632120244529484903509175296*c_0101_6^2 + 238224275451348017672068494250867198512272804159/128503205614646806\ 632120244529484903509175296, c_0011_0 - 1, c_0011_2 + 1822096685961859645740621540398929306610085/2769465638246698\ 41879569492520441602390464*c_0101_6^29 + 19206270096592039195903635745814077081811393/2769465638246698418795\ 69492520441602390464*c_0101_6^27 - 41363599818790276288510281436349905334643831/3461832047808373023494\ 6186565055200298808*c_0101_6^25 - 226752889653868079284638892388910\ 916401491321/34618320478083730234946186565055200298808*c_0101_6^23 + 1040854806855008766295131556566663096469407229/34618320478083730234\ 946186565055200298808*c_0101_6^21 + 20545416612637238267727341947988731195233620963/2769465638246698418\ 79569492520441602390464*c_0101_6^19 - 47556442812300945181383571921210744730176237387/1384732819123349209\ 39784746260220801195232*c_0101_6^17 + 15319196634844931341774638651105181681144797053/1384732819123349209\ 39784746260220801195232*c_0101_6^15 + 77386157276825319148567388472065015607797797629/1384732819123349209\ 39784746260220801195232*c_0101_6^13 - 8196243791155216774974542241920339642166507167/34618320478083730234\ 946186565055200298808*c_0101_6^11 - 25538815960807617052637578799986647921069462673/6923664095616746046\ 9892373130110400597616*c_0101_6^9 + 2613874032060689403369807520215397946014740447/27694656382466984187\ 9569492520441602390464*c_0101_6^7 + 1185465167471800529749887216432022849596479483/69236640956167460469\ 892373130110400597616*c_0101_6^5 + 460796313535971295135791636264911487828475167/276946563824669841879\ 569492520441602390464*c_0101_6^3 + 8615854835748623318329384256862269511658363/27694656382466984187956\ 9492520441602390464*c_0101_6, c_0101_0 - 1477503554768972540204314674634931873643199/6923664095616746\ 0469892373130110400597616*c_0101_6^29 - 7787560415158206848418193726269642357317409/34618320478083730234946\ 186565055200298808*c_0101_6^27 + 1676974359133293484104436525848424\ 6488717300/4327290059760466279368273320631900037351*c_0101_6^25 + 183895159469344202541851344359290253947151983/865458011952093255873\ 6546641263800074702*c_0101_6^23 - 843871303547944434600837291005595\ 822275485243/8654580119520932558736546641263800074702*c_0101_6^21 - 16665082322814370940885259808877077157495578305/6923664095616746046\ 9892373130110400597616*c_0101_6^19 + 77112870052997168545503348180972953339817312057/6923664095616746046\ 9892373130110400597616*c_0101_6^17 - 24784811846422833695578404462610198555470987527/6923664095616746046\ 9892373130110400597616*c_0101_6^15 - 125524069722822057594145501479766586427498331655/692366409561674604\ 69892373130110400597616*c_0101_6^13 + 53075665529200341502675182433195719367348608255/6923664095616746046\ 9892373130110400597616*c_0101_6^11 + 82880697262775282782967185834058361781519102249/6923664095616746046\ 9892373130110400597616*c_0101_6^9 - 1029903781003985757698081174651681576142753773/34618320478083730234\ 946186565055200298808*c_0101_6^7 - 481087588132237912119027821868219741668213201/865458011952093255873\ 6546641263800074702*c_0101_6^5 - 3759145044281201904092414455192168\ 94279758389/69236640956167460469892373130110400597616*c_0101_6^3 - 3768669653082198390356445656780546913710599/34618320478083730234946\ 186565055200298808*c_0101_6, c_0101_1 + 6480381557128602768313319357637764143402253/2769465638246698\ 41879569492520441602390464*c_0101_6^29 + 68308441643773122777775195700782236539584201/2769465638246698418795\ 69492520441602390464*c_0101_6^27 - 147111376133247219325554937022480662345412171/346183204780837302349\ 46186565055200298808*c_0101_6^25 - 806466640361471948807782423537609110074409789/346183204780837302349\ 46186565055200298808*c_0101_6^23 + 3701817970298986499349592032372478748269060589/34618320478083730234\ 946186565055200298808*c_0101_6^21 + 73072714519009211172148046987918139360316754747/2769465638246698418\ 79569492520441602390464*c_0101_6^19 - 169135631173265760744319092075624460656945692627/138473281912334920\ 939784746260220801195232*c_0101_6^17 + 54472985669298838210254668316755274763234322837/1384732819123349209\ 39784746260220801195232*c_0101_6^15 + 275237778494032139290043385774615356422855030645/138473281912334920\ 939784746260220801195232*c_0101_6^13 - 29147609578595540485559369939953614687666735851/3461832047808373023\ 4946186565055200298808*c_0101_6^11 - 90837848416041619887727287873781201610423479793/6923664095616746046\ 9892373130110400597616*c_0101_6^9 + 9291663146257623524340156841421198351545064695/27694656382466984187\ 9569492520441602390464*c_0101_6^7 + 4217969924456701148528914893955138238985718859/69236640956167460469\ 892373130110400597616*c_0101_6^5 + 1635927616435128785406385480071236192748515543/27694656382466984187\ 9569492520441602390464*c_0101_6^3 + 32372349921958518084502504881757875324482675/2769465638246698418795\ 69492520441602390464*c_0101_6, c_0101_3 + 35751356411210070643626772377624930249277/173091602390418651\ 17473093282527600149404*c_0101_6^28 + 754735232565561107346967376227446990234275/346183204780837302349461\ 86565055200298808*c_0101_6^26 - 16218319290885368748199806780546086\ 38107763/4327290059760466279368273320631900037351*c_0101_6^24 - 8922072186139552619952687271955517326673814/43272900597604662793682\ 73320631900037351*c_0101_6^22 + 40718330738456055347468381553133998\ 468363442/4327290059760466279368273320631900037351*c_0101_6^20 + 405564794653949408068999306148751614723137241/173091602390418651174\ 73093282527600149404*c_0101_6^18 - 3721262065637554628881112105690576900243288049/34618320478083730234\ 946186565055200298808*c_0101_6^16 + 1146552349616612130281460998891797252591300571/34618320478083730234\ 946186565055200298808*c_0101_6^14 + 6097965346769144479729179208039210340020854103/34618320478083730234\ 946186565055200298808*c_0101_6^12 - 2487690897434930756754280449803442614661747473/34618320478083730234\ 946186565055200298808*c_0101_6^10 - 4056758919674372528005106551378891843768758879/34618320478083730234\ 946186565055200298808*c_0101_6^8 + 50157015883374280763381919329162908632196161/3461832047808373023494\ 6186565055200298808*c_0101_6^6 + 2425689067575931102779383826024446\ 4907039025/4327290059760466279368273320631900037351*c_0101_6^4 + 9939683007954285554943858138191981145864339/17309160239041865117473\ 093282527600149404*c_0101_6^2 + 39835962140376663977912197099614012\ 5620533/34618320478083730234946186565055200298808, c_0101_4 + 358724000427577644001368256554698625214673/27694656382466984\ 1879569492520441602390464*c_0101_6^28 + 3787332552183641291315169289109107913348289/27694656382466984187956\ 9492520441602390464*c_0101_6^26 - 813547159658218851082390663588762\ 4457165133/34618320478083730234946186565055200298808*c_0101_6^24 - 44781557549548987124317713634612955754959335/3461832047808373023494\ 6186565055200298808*c_0101_6^22 + 204174138555663854430228565435036\ 363562301003/34618320478083730234946186565055200298808*c_0101_6^20 + 4073548880831222144899967257657812573729432263/27694656382466984187\ 9569492520441602390464*c_0101_6^18 - 9329890331664903715502466710381885642201400569/13847328191233492093\ 9784746260220801195232*c_0101_6^16 + 2852282673945605544739994753999618011600668103/13847328191233492093\ 9784746260220801195232*c_0101_6^14 + 15306208297476271291856151153622395501927263343/1384732819123349209\ 39784746260220801195232*c_0101_6^12 - 3101276790233164529636565220034553971656848679/69236640956167460469\ 892373130110400597616*c_0101_6^10 - 1274454885773867826447881779931398160245779345/17309160239041865117\ 473093282527600149404*c_0101_6^8 + 202685335604941375344355129228170740247892847/276946563824669841879\ 569492520441602390464*c_0101_6^6 + 244598744920572030676297908231802114556091999/692366409561674604698\ 92373130110400597616*c_0101_6^4 + 101949969034743840766772764307019\ 983166633875/276946563824669841879569492520441602390464*c_0101_6^2 + 2100341887055794471826905666442662656032235/27694656382466984187956\ 9492520441602390464, c_0101_6^30 + 74/7*c_0101_6^28 - 1269/7*c_0101_6^26 - 7008/7*c_0101_6^24 + 31776/7*c_0101_6^22 + 79913/7*c_0101_6^20 - 51855*c_0101_6^18 + 106476/7*c_0101_6^16 + 598300/7*c_0101_6^14 - 233706/7*c_0101_6^12 - 400324/7*c_0101_6^10 - 273*c_0101_6^8 + 18609/7*c_0101_6^6 + 2313/7*c_0101_6^4 + 86/7*c_0101_6^2 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB