Magma V2.19-8 Tue Aug 20 2013 16:17:01 on localhost [Seed = 880126181] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1271 geometric_solution 5.16891421 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 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 1.047722189704 0.976832689208 0 4 2 3 0132 3120 2031 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489395198787 0.476056979601 5 0 5 1 0132 0132 2310 1302 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 0 0 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.442430770823 0.496250938140 3 3 1 0 1302 2031 2031 0132 0 0 0 0 0 1 0 -1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511692549267 0.524886754205 4 1 0 4 3201 3120 0132 2310 0 0 0 0 0 0 1 -1 1 0 0 -1 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 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.333472293287 0.744066220987 2 2 6 6 0132 3201 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.339766706197 0.444446169517 5 6 6 5 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 -1.198563151261 0.592407093861 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : 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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_0101_5']})} 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_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 85905076526811113902082655893598863/3812522014384173880370151031702\ 72*c_0101_5^25 - 861539707978826391756921479104390427/3812522014384\ 17388037015103170272*c_0101_5^24 - 2685133530866945672586471452611848959/38125220143841738803701510317\ 0272*c_0101_5^23 - 334637610963717392262835960457166097/95313050359\ 604347009253775792568*c_0101_5^22 + 4165619761574150192166138408096902161/38125220143841738803701510317\ 0272*c_0101_5^21 - 9729221580056631604605572753518599297/3812522014\ 38417388037015103170272*c_0101_5^20 - 5448998563775662790269000109039758251/47656525179802173504626887896\ 284*c_0101_5^19 - 19751569765820716753277259327644264267/3812522014\ 38417388037015103170272*c_0101_5^18 + 67801733502996014408496493266279452707/3812522014384173880370151031\ 70272*c_0101_5^17 + 1235437562339464365557561184282477366/119141312\ 94950543376156721974071*c_0101_5^16 - 172988929807538895871603870917905480775/381252201438417388037015103\ 170272*c_0101_5^15 - 110681304073791263603675269739858582147/190626\ 100719208694018507551585136*c_0101_5^14 + 177055809159547285151447383831271183609/381252201438417388037015103\ 170272*c_0101_5^13 + 491133630656451230648753969386923462311/381252\ 201438417388037015103170272*c_0101_5^12 + 28356868810307373083637475841911885779/1906261007192086940185075515\ 85136*c_0101_5^11 - 302154021798146637240137431872130239035/1906261\ 00719208694018507551585136*c_0101_5^10 - 428259340526834672854210237586266026939/381252201438417388037015103\ 170272*c_0101_5^9 + 97474704158779767771375495648152700181/95313050\ 359604347009253775792568*c_0101_5^8 + 28093064223184570671151211151534522403/1657618267123553861030500448\ 5664*c_0101_5^7 + 97367598823458850592753338531572849783/3812522014\ 38417388037015103170272*c_0101_5^6 - 171664983856544094180037178373589235701/190626100719208694018507551\ 585136*c_0101_5^5 - 234456063707984388329238264515238102013/3812522\ 01438417388037015103170272*c_0101_5^4 + 3382213471828644483768438944549800559/19062610071920869401850755158\ 5136*c_0101_5^3 + 31647063835020653767174111359476505881/1906261007\ 19208694018507551585136*c_0101_5^2 + 24602127436121764944382354522709397005/3812522014384173880370151031\ 70272*c_0101_5 + 729835859023225463613386451115067523/9531305035960\ 4347009253775792568, c_0011_0 - 1, c_0011_3 + 171091420470160761218406649/17980215483958929040741358*c_010\ 1_5^25 + 1435114380620160248480631643/17980215483958929040741358*c_\ 0101_5^24 + 2714767963322717812123982725/17980215483958929040741358\ *c_0101_5^23 - 2199075695453041948259057958/89901077419794645203706\ 79*c_0101_5^22 - 8088219805290392740585656397/179802154839589290407\ 41358*c_0101_5^21 + 32829229963485196116048658243/17980215483958929\ 040741358*c_0101_5^20 + 23149294103779583582291176378/8990107741979\ 464520370679*c_0101_5^19 - 76714285110699955988638044807/1798021548\ 3958929040741358*c_0101_5^18 - 124361616220176277927154662217/17980\ 215483958929040741358*c_0101_5^17 + 67760164742502165774207547312/8990107741979464520370679*c_0101_5^16 + 334807403632116931010170182425/17980215483958929040741358*c_0101_\ 5^15 - 58674522005246692174920673224/8990107741979464520370679*c_01\ 01_5^14 - 713785352760600494974543721223/17980215483958929040741358\ *c_0101_5^13 - 166932842436659178575970877929/179802154839589290407\ 41358*c_0101_5^12 + 482380148912571880384244621664/8990107741979464\ 520370679*c_0101_5^11 + 346137509091790840986128451953/899010774197\ 9464520370679*c_0101_5^10 - 787690620222816456219147635617/17980215\ 483958929040741358*c_0101_5^9 - 556961251702349886559286113365/8990\ 107741979464520370679*c_0101_5^8 + 8791651631170044151173117441/781748499302562132206146*c_0101_5^7 + 952172571555073111616050735425/17980215483958929040741358*c_0101_5^\ 6 + 131225905391876026045425266796/8990107741979464520370679*c_0101\ _5^5 - 380587962333779858112899745489/17980215483958929040741358*c_\ 0101_5^4 - 115973181098965819169185449610/8990107741979464520370679\ *c_0101_5^3 + 18261158085267719911910518295/89901077419794645203706\ 79*c_0101_5^2 + 52735182921223808880287091621/179802154839589290407\ 41358*c_0101_5 + 4491162227047253470143991875/899010774197946452037\ 0679, c_0011_4 + 14125447679448903375/2630807165023938806*c_0101_5^25 + 118237814946780894659/2630807165023938806*c_0101_5^24 + 222329954832872591805/2630807165023938806*c_0101_5^23 - 182497817107879189230/1315403582511969403*c_0101_5^22 - 658521301793368714563/2630807165023938806*c_0101_5^21 + 2714267745850875883879/2630807165023938806*c_0101_5^20 + 1884864229457147416399/1315403582511969403*c_0101_5^19 - 6348725134720525285055/2630807165023938806*c_0101_5^18 - 10123715176647062274949/2630807165023938806*c_0101_5^17 + 5624350201631861179462/1315403582511969403*c_0101_5^16 + 27358277983947729400329/2630807165023938806*c_0101_5^15 - 4970895743181349374979/1315403582511969403*c_0101_5^14 - 58450649517236766043493/2630807165023938806*c_0101_5^13 - 13072333018787490047463/2630807165023938806*c_0101_5^12 + 39581913302101852072722/1315403582511969403*c_0101_5^11 + 27969132809385052487552/1315403582511969403*c_0101_5^10 - 64972634184944817643405/2630807165023938806*c_0101_5^9 - 45272029854174477067174/1315403582511969403*c_0101_5^8 + 750441860959964094593/114382920218432122*c_0101_5^7 + 77571722725894669844229/2630807165023938806*c_0101_5^6 + 10426345035008736555973/1315403582511969403*c_0101_5^5 - 31089006112201295193295/2630807165023938806*c_0101_5^4 - 9328200512426238356587/1315403582511969403*c_0101_5^3 + 1519517845878187990075/1315403582511969403*c_0101_5^2 + 4244532321285745356157/2630807165023938806*c_0101_5 + 358071966145060879551/1315403582511969403, c_0011_6 + 18749327934962995883253318/8990107741979464520370679*c_0101_\ 5^25 + 157436289310230578688906761/8990107741979464520370679*c_0101\ _5^24 + 299117545683039166571642734/8990107741979464520370679*c_010\ 1_5^23 - 477366998337948555763585100/8990107741979464520370679*c_01\ 01_5^22 - 885870352825499683718757073/8990107741979464520370679*c_0\ 101_5^21 + 3587168869642175914333839550/8990107741979464520370679*c\ _0101_5^20 + 5093192038863609610186056386/8990107741979464520370679\ *c_0101_5^19 - 8326568713272105797450115977/89901077419794645203706\ 79*c_0101_5^18 - 13619759910185663305787467657/89901077419794645203\ 70679*c_0101_5^17 + 14677364707016998171175234300/89901077419794645\ 20370679*c_0101_5^16 + 36631587382968468483763491552/89901077419794\ 64520370679*c_0101_5^15 - 12462718057867838662131317990/89901077419\ 79464520370679*c_0101_5^14 - 77871791960754605747567512485/89901077\ 41979464520370679*c_0101_5^13 - 18879556788562907342175094976/89901\ 07741979464520370679*c_0101_5^12 + 104716004977436533137920249048/8990107741979464520370679*c_0101_5^1\ 1 + 76132789961352703879288486736/8990107741979464520370679*c_0101_\ 5^10 - 84819680259701075029529226706/8990107741979464520370679*c_01\ 01_5^9 - 121579296767239002482905364412/8990107741979464520370679*c\ _0101_5^8 + 904351102741271880753401746/390874249651281066103073*c_\ 0101_5^7 + 103114824653791424540938759379/8990107741979464520370679\ *c_0101_5^6 + 29187998427987145577651947862/89901077419794645203706\ 79*c_0101_5^5 - 40694005110921650784699346553/899010774197946452037\ 0679*c_0101_5^4 - 25160306768618128103449284607/8990107741979464520\ 370679*c_0101_5^3 + 3743304518989858610304899335/899010774197946452\ 0370679*c_0101_5^2 + 5640699750053020120960199883/89901077419794645\ 20370679*c_0101_5 + 979715984465487273448627943/8990107741979464520\ 370679, c_0101_0 + 338588576997826887154314537102471/47656525179802173504626887\ 896284*c_0101_5^25 + 2849699275012707594350429443270787/47656525179\ 802173504626887896284*c_0101_5^24 + 5448445772309100708193230676773403/47656525179802173504626887896284\ *c_0101_5^23 - 2146360837977691978209778832493454/11914131294950543\ 376156721974071*c_0101_5^22 - 16285608962607471937761057918357945/4\ 7656525179802173504626887896284*c_0101_5^21 + 64698771910066483888044202464678097/4765652517980217350462688789628\ 4*c_0101_5^20 + 23381738943975525743194491516273135/119141312949505\ 43376156721974071*c_0101_5^19 - 15024703495750462610965337787546360\ 9/47656525179802173504626887896284*c_0101_5^18 - 250601943029845395794372263848602855/476565251798021735046268878962\ 84*c_0101_5^17 + 66015010722086061538733872331911297/11914131294950\ 543376156721974071*c_0101_5^16 + 6710662248045282952025433614547958\ 95/47656525179802173504626887896284*c_0101_5^15 - 109568329058079895364330409850521667/238282625899010867523134439481\ 42*c_0101_5^14 - 1423520237670142834362719075393741669/476565251798\ 02173504626887896284*c_0101_5^13 - 360459455447157893350591265260371623/476565251798021735046268878962\ 84*c_0101_5^12 + 956408086848830930859301576410073221/2382826258990\ 1086752313443948142*c_0101_5^11 + 706484736280271558100553312369394\ 331/23828262589901086752313443948142*c_0101_5^10 - 1543095749588282197236451666130807433/47656525179802173504626887896\ 284*c_0101_5^9 - 561209723176253886343532617170569406/1191413129495\ 0543376156721974071*c_0101_5^8 + 1590902025430211917500261740576740\ 1/2072022833904442326288125560708*c_0101_5^7 + 1904064425717958481162404028831759525/47656525179802173504626887896\ 284*c_0101_5^6 + 275352913896236409211471368196074543/2382826258990\ 1086752313443948142*c_0101_5^5 - 7529721730595152863175744011618138\ 07/47656525179802173504626887896284*c_0101_5^4 - 235999148447306633381884724894660759/238282625899010867523134439481\ 42*c_0101_5^3 + 34461577297579317888627081278586465/238282625899010\ 86752313443948142*c_0101_5^2 + 106212382304766468049238194461605107\ /47656525179802173504626887896284*c_0101_5 + 4593895677927625380408966432426370/11914131294950543376156721974071\ , c_0101_2 + 43197275918973765624496837/17980215483958929040741358*c_0101\ _5^25 + 363098047908170707792693229/17980215483958929040741358*c_01\ 01_5^24 + 693074429089509418923498677/17980215483958929040741358*c_\ 0101_5^23 - 543087176989346829971149493/8990107741979464520370679*c\ _0101_5^22 - 2028270582731434868011400399/1798021548395892904074135\ 8*c_0101_5^21 + 8249674695384216545889981805/1798021548395892904074\ 1358*c_0101_5^20 + 5879410672757344830532297121/8990107741979464520\ 370679*c_0101_5^19 - 18971530618938585677520909675/1798021548395892\ 9040741358*c_0101_5^18 - 31158608134319157925139187375/179802154839\ 58929040741358*c_0101_5^17 + 16768683867739945384710630762/89901077\ 41979464520370679*c_0101_5^16 + 83965721091860631305793672977/17980\ 215483958929040741358*c_0101_5^15 - 14008211302126729809084235058/8990107741979464520370679*c_0101_5^14 - 177853222602535946332878066147/17980215483958929040741358*c_0101_\ 5^13 - 43758390478265502645379571563/17980215483958929040741358*c_0\ 101_5^12 + 119125798688505141080345752863/8990107741979464520370679\ *c_0101_5^11 + 86913926725518078509141318733/8990107741979464520370\ 679*c_0101_5^10 - 192237175383197587914999357201/179802154839589290\ 40741358*c_0101_5^9 - 138154377205965436181673924022/89901077419794\ 64520370679*c_0101_5^8 + 2025595498836288149360094687/7817484993025\ 62132206146*c_0101_5^7 + 232923404588422752984249317227/17980215483\ 958929040741358*c_0101_5^6 + 32788222018103589483077345456/89901077\ 41979464520370679*c_0101_5^5 - 91552403672059479537833247369/179802\ 15483958929040741358*c_0101_5^4 - 27990366935060316959041208496/899\ 0107741979464520370679*c_0101_5^3 + 4330484616811434387494226582/8990107741979464520370679*c_0101_5^2 + 12467247254582976211462499187/17980215483958929040741358*c_0101_5 + 1046407592127603987267280611/8990107741979464520370679, c_0101_5^26 + 9*c_0101_5^25 + 21*c_0101_5^24 - 16*c_0101_5^23 - 63*c_0101_5^22 + 163*c_0101_5^21 + 388*c_0101_5^20 - 283*c_0101_5^19 - 1001*c_0101_5^18 + 348*c_0101_5^17 + 2441*c_0101_5^16 + 510*c_0101_5^15 - 4591*c_0101_5^14 - 3525*c_0101_5^13 + 5042*c_0101_5^12 + 7490*c_0101_5^11 - 2131*c_0101_5^10 - 9320*c_0101_5^9 - 2795*c_0101_5^8 + 6283*c_0101_5^7 + 4930*c_0101_5^6 - 1285*c_0101_5^5 - 2710*c_0101_5^4 - 614*c_0101_5^3 + 437*c_0101_5^2 + 240*c_0101_5 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB