Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 1545453705] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1385 geometric_solution 5.23915567 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 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 1 1 -2 -1 0 2 -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.474325691255 0.409409608440 0 2 4 3 0132 2031 0132 0132 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 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.593974199146 0.695635010772 1 0 3 4 1302 0132 2310 2310 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 1 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.593974199146 0.695635010772 5 2 1 5 0132 3201 0132 1023 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 1 -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.411209558669 0.406354330811 2 4 4 1 3201 1230 3012 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.290110345132 0.831389811916 3 6 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.406445776013 0.585087528129 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.656338050298 0.192086656991 ==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' : 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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : 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_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_3'], '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_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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' : 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' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 725784619748296908420512394892256493576942690099548653/378739450311\ 507587979265450100262628829255289866579328*c_0101_6^21 - 460081474252534718426702936322062013934474128221898619/789040521482\ 3074749568030210422138100609485205553736*c_0101_6^20 - 6442647328092642675262043711553785672246187646043161531/23671215644\ 469224248704090631266414301828455616661208*c_0101_6^19 + 838721446415325997472643294646409003024332626731614478429/378739450\ 311507587979265450100262628829255289866579328*c_0101_6^18 + 2189198667600344092398929781734883829090029028125660282023/37873945\ 0311507587979265450100262628829255289866579328*c_0101_6^17 - 3097851789065121381595148908467547002179852640394648610681/37873945\ 0311507587979265450100262628829255289866579328*c_0101_6^16 - 2874895700574649182029363044847936826494894434033988583007/37873945\ 0311507587979265450100262628829255289866579328*c_0101_6^15 + 13702120390238328887081461601335845161896359046781547648349/3787394\ 50311507587979265450100262628829255289866579328*c_0101_6^14 - 69250816659991062292185551243381350734427833569932939945/4734243128\ 8938448497408181262532828603656911233322416*c_0101_6^13 - 3530087924500553941696391251739750384726272999076713318135/47342431\ 288938448497408181262532828603656911233322416*c_0101_6^12 + 41034137298842665842061592593862697867785408315910024085/5410563575\ 8786798282752207157180375547036469980939904*c_0101_6^11 + 4164098229129793516854179545183989589190270276288886152999/54105635\ 758786798282752207157180375547036469980939904*c_0101_6^10 - 4528391831651892116115455343193886087399145322199793652735/37873945\ 0311507587979265450100262628829255289866579328*c_0101_6^9 - 5744679423938205135223304387081229213067165461462696946397/18936972\ 5155753793989632725050131314414627644933289664*c_0101_6^8 + 4307954001445194633465938981047908320460568530379665946705/37873945\ 0311507587979265450100262628829255289866579328*c_0101_6^7 - 77850758762846822133313149972189100943358902555535609685/1262464834\ 37169195993088483366754209609751763288859776*c_0101_6^6 - 601808407660460051954322690236332522857441567622300596851/378739450\ 311507587979265450100262628829255289866579328*c_0101_6^5 + 605818123283027906086149592194483489729325123425620575193/378739450\ 311507587979265450100262628829255289866579328*c_0101_6^4 - 26134913424968251488131019105678075694513342979299081745/3787394503\ 11507587979265450100262628829255289866579328*c_0101_6^3 - 87362555413401643419491783882617362442258680948474589967/3787394503\ 11507587979265450100262628829255289866579328*c_0101_6^2 + 14146171224597233836933366681709202686439970762798150127/1893697251\ 55753793989632725050131314414627644933289664*c_0101_6 - 10234691986839774871893799600720457891269458308094237437/3787394503\ 11507587979265450100262628829255289866579328, c_0011_0 - 1, c_0011_3 - 387059616179803639317844879678262415405665263/74319172347558\ 26961609177249820522859492395232*c_0101_6^21 - 3042983208807087878295192775328469159082386023/18579793086889567404\ 02294312455130714873098808*c_0101_6^20 - 16837566872045498447944128913247362204757908791/1857979308688956740\ 402294312455130714873098808*c_0101_6^19 + 379714144998968285258786802128335952831081008947/743191723475582696\ 1609177249820522859492395232*c_0101_6^18 + 1561937362187494431012504017841832432883892067725/74319172347558269\ 61609177249820522859492395232*c_0101_6^17 - 83863147908872328412623666306329578129318190095/7431917234755826961\ 609177249820522859492395232*c_0101_6^16 - 1802167694339415376104582252557158368100735658509/74319172347558269\ 61609177249820522859492395232*c_0101_6^15 + 5287550249419646861399821644682302903320396086083/74319172347558269\ 61609177249820522859492395232*c_0101_6^14 + 661886104625124978113580705256821873848161351995/928989654344478370\ 201147156227565357436549404*c_0101_6^13 - 1237536040128275355297468408804099621604520152791/92898965434447837\ 0201147156227565357436549404*c_0101_6^12 - 11128834420715213062580849817919200140949584323903/7431917234755826\ 961609177249820522859492395232*c_0101_6^11 + 4518260968409717008913637713915941425307459979199/74319172347558269\ 61609177249820522859492395232*c_0101_6^10 + 4534269305200242134221703226424071731290230486667/74319172347558269\ 61609177249820522859492395232*c_0101_6^9 - 416002584449679147366457946679286817222887104945/371595861737791348\ 0804588624910261429746197616*c_0101_6^8 + 242922146200295782644919594113557304791715311551/743191723475582696\ 1609177249820522859492395232*c_0101_6^7 - 8531292584325474460489800251868507075600161461/74319172347558269616\ 09177249820522859492395232*c_0101_6^6 - 88393891305288553918163973866826265516496724789/7431917234755826961\ 609177249820522859492395232*c_0101_6^5 - 50008228912109243253700437008277255028641131109/7431917234755826961\ 609177249820522859492395232*c_0101_6^4 - 61572797361710239677356920303847667118854716279/7431917234755826961\ 609177249820522859492395232*c_0101_6^3 - 16441767645782842971049505479118762108972188445/7431917234755826961\ 609177249820522859492395232*c_0101_6^2 - 3951350100024470465794389723322035278907316521/37159586173779134808\ 04588624910261429746197616*c_0101_6 - 5990525824959183595767027041069553106408404499/74319172347558269616\ 09177249820522859492395232, c_0101_0 - 60614948804772102447525194781147724774743707/148638344695116\ 53923218354499641045718984790464*c_0101_6^21 - 183276194887954054813106187753097481802004763/185797930868895674040\ 2294312455130714873098808*c_0101_6^20 + 404937581324709596714127550350144195719595577/185797930868895674040\ 2294312455130714873098808*c_0101_6^19 + 134478386510805277445731421529093293566747467395/148638344695116539\ 23218354499641045718984790464*c_0101_6^18 - 195824643360185154532295035579135029058647419983/148638344695116539\ 23218354499641045718984790464*c_0101_6^17 - 1743360636899206039612570258093459767392337158391/14863834469511653\ 923218354499641045718984790464*c_0101_6^16 + 15222891693643954909577952938947669623095974071/1486383446951165392\ 3218354499641045718984790464*c_0101_6^15 + 2932255783656714170279183485772580861101205446179/14863834469511653\ 923218354499641045718984790464*c_0101_6^14 - 663742231815307011111568393971049548863998903787/185797930868895674\ 0402294312455130714873098808*c_0101_6^13 - 869039287164311384340359718903815084379555447437/185797930868895674\ 0402294312455130714873098808*c_0101_6^12 + 10230474133208614929388620149691099046246843018629/1486383446951165\ 3923218354499641045718984790464*c_0101_6^11 + 12580178685599031243319890881639995282575671717519/1486383446951165\ 3923218354499641045718984790464*c_0101_6^10 - 5791359244050683618082520037301240447009858881049/14863834469511653\ 923218354499641045718984790464*c_0101_6^9 - 2760514430321234710708035320438854635060363959079/74319172347558269\ 61609177249820522859492395232*c_0101_6^8 + 1007321484560041321956075294142491381376594368527/14863834469511653\ 923218354499641045718984790464*c_0101_6^7 - 222300964720706243873353308199757534479210065241/148638344695116539\ 23218354499641045718984790464*c_0101_6^6 + 199909719701385619533374343484226146318529827267/148638344695116539\ 23218354499641045718984790464*c_0101_6^5 + 264503062457848675438045250247442585021916597247/148638344695116539\ 23218354499641045718984790464*c_0101_6^4 + 35517960221759331268876756415453796375068677729/1486383446951165392\ 3218354499641045718984790464*c_0101_6^3 - 3231406545352348221899973155248561684348257177/14863834469511653923\ 218354499641045718984790464*c_0101_6^2 + 17786494995533285475410627588253634148204027365/7431917234755826961\ 609177249820522859492395232*c_0101_6 - 1232608515542328579299519115470397423332392355/14863834469511653923\ 218354499641045718984790464, c_0101_1 - 12777666622452935614973436409419433368050053172129/500978108\ 877655539655113029233151625435522870193888*c_0101_6^21 - 92600264953739902699720848228282114751293063763275/1252445272194138\ 84913778257308287906358880717548472*c_0101_6^20 - 310741864596602617348831911673014745262225304199491/125244527219413\ 884913778257308287906358880717548472*c_0101_6^19 + 17759721496501769988605556243881994205059556731802037/5009781088776\ 55539655113029233151625435522870193888*c_0101_6^18 + 19361337088326498611008016274735059570129727703284867/5009781088776\ 55539655113029233151625435522870193888*c_0101_6^17 - 122232211105859634854041652941117546975291444622382185/500978108877\ 655539655113029233151625435522870193888*c_0101_6^16 - 20170960953031650075369830191227012201705569315865331/5009781088776\ 55539655113029233151625435522870193888*c_0101_6^15 + 323683438012949198944431465344027256644054855670725829/500978108877\ 655539655113029233151625435522870193888*c_0101_6^14 - 36943421823347921162941506570775369631018609407062531/6262226360970\ 6942456889128654143953179440358774236*c_0101_6^13 - 82464619471892530054260435502824090225356167984937557/6262226360970\ 6942456889128654143953179440358774236*c_0101_6^12 + 567343092053868652279761789740089541883883159318825103/500978108877\ 655539655113029233151625435522870193888*c_0101_6^11 + 861368543984994945465432311728413327413251864342120713/500978108877\ 655539655113029233151625435522870193888*c_0101_6^10 - 498601433455631696119587599970974158576015199854775035/500978108877\ 655539655113029233151625435522870193888*c_0101_6^9 - 157526091967022169476300429835956415049589685875569387/250489054438\ 827769827556514616575812717761435096944*c_0101_6^8 + 232123151602357655613355463968420278172511291577087561/500978108877\ 655539655113029233151625435522870193888*c_0101_6^7 - 35773509474556869566623566258274916249729575807416187/5009781088776\ 55539655113029233151625435522870193888*c_0101_6^6 - 29346070187397014659303840582037433671960349540361843/5009781088776\ 55539655113029233151625435522870193888*c_0101_6^5 + 17085798148089197821625712545144896700653984882768165/5009781088776\ 55539655113029233151625435522870193888*c_0101_6^4 + 2184226635008972498666753576448768654953259002532639/50097810887765\ 5539655113029233151625435522870193888*c_0101_6^3 - 1394879073296320115598610725657258137431306127565795/50097810887765\ 5539655113029233151625435522870193888*c_0101_6^2 + 954931169271523502620931293579405862986576877455957/250489054438827\ 769827556514616575812717761435096944*c_0101_6 + 36939376327379179932018422159046590217073747535115/5009781088776555\ 39655113029233151625435522870193888, c_0101_4 - 86142041769657592814631119915730173486311664544889/250489054\ 438827769827556514616575812717761435096944*c_0101_6^21 - 669171958505305645906416756145551319393832008887987/626222636097069\ 42456889128654143953179440358774236*c_0101_6^20 - 3493390606783384970006709046375793240359049077589919/62622263609706\ 942456889128654143953179440358774236*c_0101_6^19 + 90170533243458944853908610378996419958601648375747357/2504890544388\ 27769827556514616575812717761435096944*c_0101_6^18 + 316197377111966519188373431936504301652255781924110619/250489054438\ 827769827556514616575812717761435096944*c_0101_6^17 - 151152142744560139976281606134517227752531667768852849/250489054438\ 827769827556514616575812717761435096944*c_0101_6^16 - 397710390412338729415768244762625018357949357078662443/250489054438\ 827769827556514616575812717761435096944*c_0101_6^15 + 1341146136671209501020128966264319815015652670453974717/25048905443\ 8827769827556514616575812717761435096944*c_0101_6^14 + 92605568094511607627349422212138994789796566113726189/3131113180485\ 3471228444564327071976589720179387118*c_0101_6^13 - 336069057766190646288081172781315157031740634528379807/313111318048\ 53471228444564327071976589720179387118*c_0101_6^12 - 1619292628754819991005517704211689598945517000464537673/25048905443\ 8827769827556514616575812717761435096944*c_0101_6^11 + 2017783572712600199688820490113745371291304480632055681/25048905443\ 8827769827556514616575812717761435096944*c_0101_6^10 + 563394998192504640373631919864579147726838299355897645/250489054438\ 827769827556514616575812717761435096944*c_0101_6^9 - 330443182480111157683926010713125698393455737221056619/125244527219\ 413884913778257308287906358880717548472*c_0101_6^8 + 200953303340321083292020937165189028637745783132276305/250489054438\ 827769827556514616575812717761435096944*c_0101_6^7 + 9330021539105788437620283804655269780188843064851245/25048905443882\ 7769827556514616575812717761435096944*c_0101_6^6 - 65158231911792223757750468106182723107548236033779547/2504890544388\ 27769827556514616575812717761435096944*c_0101_6^5 + 11610189292134523983710252998810161412457103223189421/2504890544388\ 27769827556514616575812717761435096944*c_0101_6^4 - 2990634038233229378444492986306667649062254555484569/25048905443882\ 7769827556514616575812717761435096944*c_0101_6^3 - 6475915088244662869086547162539124206848023155121563/25048905443882\ 7769827556514616575812717761435096944*c_0101_6^2 + 437304740647516478145358335988896622419323973267349/125244527219413\ 884913778257308287906358880717548472*c_0101_6 - 303482497121632094988000350551649723473143490188029/250489054438827\ 769827556514616575812717761435096944, c_0101_5 - 556139421022716340130493219746726866186352573/14863834469511\ 653923218354499641045718984790464*c_0101_6^21 - 2208181234422673939320718528609284961338640253/18579793086889567404\ 02294312455130714873098808*c_0101_6^20 - 12789702189827035664079084707211744736076769777/1857979308688956740\ 402294312455130714873098808*c_0101_6^19 + 514951405106552865408703254518334772569403834261/148638344695116539\ 23218354499641045718984790464*c_0101_6^18 + 2418023011140080715908042794559007673468856740823/14863834469511653\ 923218354499641045718984790464*c_0101_6^17 + 592136349855568568838042089008299558853536076799/148638344695116539\ 23218354499641045718984790464*c_0101_6^16 - 2645636643286330335358159962272437291311474462143/14863834469511653\ 923218354499641045718984790464*c_0101_6^15 + 6721825197938838592738612905599740582440231071349/14863834469511653\ 923218354499641045718984790464*c_0101_6^14 + 1249995148112308060849299523578919805851996470923/18579793086889567\ 40402294312455130714873098808*c_0101_6^13 - 1475166320231650829261653634633147879512646791659/18579793086889567\ 40402294312455130714873098808*c_0101_6^12 - 20660476922829604176103761926099049824409964429469/1486383446951165\ 3923218354499641045718984790464*c_0101_6^11 + 1251608239336687684779633560291536046312910722473/14863834469511653\ 923218354499641045718984790464*c_0101_6^10 + 8773157238657025675747124828733988789364261350737/14863834469511653\ 923218354499641045718984790464*c_0101_6^9 + 642126717334990950837070406118055481617920642511/743191723475582696\ 1609177249820522859492395232*c_0101_6^8 + 153337187074170414011768350310764164619665552233/148638344695116539\ 23218354499641045718984790464*c_0101_6^7 + 71016050388719840679580631299609359152303112209/1486383446951165392\ 3218354499641045718984790464*c_0101_6^6 - 293438176304873364858043885761952026233911037419/148638344695116539\ 23218354499641045718984790464*c_0101_6^5 - 229707262778219407204293201317145452568476378951/148638344695116539\ 23218354499641045718984790464*c_0101_6^4 - 120582309029328566704295779380751560180447847385/148638344695116539\ 23218354499641045718984790464*c_0101_6^3 - 23116812847181915967395820566973100126689659439/1486383446951165392\ 3218354499641045718984790464*c_0101_6^2 - 6941349903607313276956199226489513738215978589/74319172347558269616\ 09177249820522859492395232*c_0101_6 - 12099424421794244723520513690426367308264103221/1486383446951165392\ 3218354499641045718984790464, c_0101_6^22 + 31*c_0101_6^21 + 160*c_0101_6^20 - 1057*c_0101_6^19 - 3586*c_0101_6^18 + 1968*c_0101_6^17 + 4302*c_0101_6^16 - 15804*c_0101_6^15 - 7223*c_0101_6^14 + 31024*c_0101_6^13 + 16105*c_0101_6^12 - 23142*c_0101_6^11 - 3904*c_0101_6^10 + 6839*c_0101_6^9 - 3255*c_0101_6^8 + 512*c_0101_6^7 + 692*c_0101_6^6 - 204*c_0101_6^5 + 66*c_0101_6^4 + 70*c_0101_6^3 - 17*c_0101_6^2 + 7*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB