Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 678016020] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0187 geometric_solution 3.99827580 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 1.313088495107 0.073553721912 0 2 2 0 3201 0132 1023 0132 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 -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.099235016417 0.055795652514 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -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 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 1.141125851283 0.126005029204 2 4 4 2 0132 0132 1023 1023 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 0 0 1 -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 1.091877527330 0.390641840579 5 3 3 6 0132 0132 1023 0132 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 0 0 1 -1 1 0 -1 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507826641310 0.299957788737 4 6 6 6 0132 0321 1302 3201 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 0 0 0 0 -1 0 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.511853265163 0.882992635388 5 5 4 5 2031 2310 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511853265163 0.882992635388 ==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' : 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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_1, c_0011_6, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 87590599506012218751252639324447287/3731199022472888653952052560176\ 313*c_0101_4^20 - 528115527633445534827299201046409586/373119902247\ 2888653952052560176313*c_0101_4^19 - 1451504926017005881023778498667980909/37311990224728886539520525601\ 76313*c_0101_4^18 + 10760728612045513000437762279421314707/37311990\ 22472888653952052560176313*c_0101_4^17 - 7183601352734333357808458705368052359/37311990224728886539520525601\ 76313*c_0101_4^16 - 66315922555316192803980759873939090246/37311990\ 22472888653952052560176313*c_0101_4^15 + 84845224839429054935698390270657492120/3731199022472888653952052560\ 176313*c_0101_4^14 + 28427005039480244490975827416825960700/5330284\ 31781841236278864651453759*c_0101_4^13 - 303704253484464640804284956822906800968/373119902247288865395205256\ 0176313*c_0101_4^12 - 394892802951699531868058230913820677682/37311\ 99022472888653952052560176313*c_0101_4^11 + 589210110578640812518439352657260957278/373119902247288865395205256\ 0176313*c_0101_4^10 + 526827968471141777567480712251330534569/37311\ 99022472888653952052560176313*c_0101_4^9 - 577398827542454184600866619255567237535/373119902247288865395205256\ 0176313*c_0101_4^8 - 459435370840642727803868403140947660723/373119\ 9022472888653952052560176313*c_0101_4^7 + 229022725798728486224442292300905142038/373119902247288865395205256\ 0176313*c_0101_4^6 + 2622019389001532320475370556365698141/41002187\ 060141633559912665496443*c_0101_4^5 - 6013625256089104605994750631525763454/37311990224728886539520525601\ 76313*c_0101_4^4 - 57837661482100619820279639325527410433/373119902\ 2472888653952052560176313*c_0101_4^3 - 7663284689148873059052615306909366971/37311990224728886539520525601\ 76313*c_0101_4^2 + 3673496334735702164259753375006835081/3731199022\ 472888653952052560176313*c_0101_4 + 721863483413026312189397414846522639/373119902247288865395205256017\ 6313, c_0011_0 - 1, c_0011_1 + 42448519710493415733697546925123/410021870601416335599126654\ 96443*c_0101_4^20 - 287913598612041588381704777986881/4100218706014\ 1633559912665496443*c_0101_4^19 - 482133355398545946362825094222086\ /41002187060141633559912665496443*c_0101_4^18 + 5549603693495273137199459101598663/41002187060141633559912665496443\ *c_0101_4^17 - 7718357105399032549469684916646933/41002187060141633\ 559912665496443*c_0101_4^16 - 25785450793140949076173234326855497/4\ 1002187060141633559912665496443*c_0101_4^15 + 59875480249853418590957860763388872/4100218706014163355991266549644\ 3*c_0101_4^14 + 48809660334276496903356218175133658/410021870601416\ 33559912665496443*c_0101_4^13 - 17898927690462070054131155460550907\ 4/41002187060141633559912665496443*c_0101_4^12 - 51732032732117683826809456482172821/4100218706014163355991266549644\ 3*c_0101_4^11 + 310928333465731168292856676843360365/41002187060141\ 633559912665496443*c_0101_4^10 + 1536764154747731299215650294627362\ 6/41002187060141633559912665496443*c_0101_4^9 - 270928602914697528345422434074345361/410021870601416335599126654964\ 43*c_0101_4^8 - 16169991398866838918057360325184108/410021870601416\ 33559912665496443*c_0101_4^7 + 111843977984655756965864110877965434\ /41002187060141633559912665496443*c_0101_4^6 + 30697332091103473116006890051457077/4100218706014163355991266549644\ 3*c_0101_4^5 - 25603771599777107625853553135758182/4100218706014163\ 3559912665496443*c_0101_4^4 - 8319561185556259262551125333515985/41\ 002187060141633559912665496443*c_0101_4^3 + 2462277343762628592914140158018642/41002187060141633559912665496443\ *c_0101_4^2 + 517234761468112161288617350468545/4100218706014163355\ 9912665496443*c_0101_4 - 71640433192043200877551123473812/410021870\ 60141633559912665496443, c_0011_6 + 21699325736038525320303061746260/410021870601416335599126654\ 96443*c_0101_4^20 - 148537147686004125882356897605383/4100218706014\ 1633559912665496443*c_0101_4^19 - 238268782007710895684003074851709\ /41002187060141633559912665496443*c_0101_4^18 + 2858831388321177897981270011361733/41002187060141633559912665496443\ *c_0101_4^17 - 4109054822309749399568778810827350/41002187060141633\ 559912665496443*c_0101_4^16 - 13061127926365921735279735943026451/4\ 1002187060141633559912665496443*c_0101_4^15 + 31569008048885074747490365609351910/4100218706014163355991266549644\ 3*c_0101_4^14 + 23695558071132624263862836034627888/410021870601416\ 33559912665496443*c_0101_4^13 - 94224069077450332317241886184520787\ /41002187060141633559912665496443*c_0101_4^12 - 22274823726353935527238844227149894/4100218706014163355991266549644\ 3*c_0101_4^11 + 164190884473798419077265723047947245/41002187060141\ 633559912665496443*c_0101_4^10 + 338829548826246677355981054812128/\ 41002187060141633559912665496443*c_0101_4^9 - 145204480406049151418799940333587963/410021870601416335599126654964\ 43*c_0101_4^8 - 1944227036047256311930563682590387/4100218706014163\ 3559912665496443*c_0101_4^7 + 62766271300704411940991226368535223/4\ 1002187060141633559912665496443*c_0101_4^6 + 13895983611165793718450801943249838/4100218706014163355991266549644\ 3*c_0101_4^5 - 15664548768756497948891811208764607/4100218706014163\ 3559912665496443*c_0101_4^4 - 4365510951887953662485171808291455/41\ 002187060141633559912665496443*c_0101_4^3 + 1648013080600178414342634403469369/41002187060141633559912665496443\ *c_0101_4^2 + 339700462621543522718594219744435/4100218706014163355\ 9912665496443*c_0101_4 - 50564814490450936820110985057250/410021870\ 60141633559912665496443, c_0101_0 + 87755832048417061364639878664262/410021870601416335599126654\ 96443*c_0101_4^20 - 596570243743976307794412250425798/4100218706014\ 1633559912665496443*c_0101_4^19 - 993953847505051655784125490546840\ /41002187060141633559912665496443*c_0101_4^18 + 11530120686199056274797790472329042/4100218706014163355991266549644\ 3*c_0101_4^17 - 16052555398422277050785270816316453/410021870601416\ 33559912665496443*c_0101_4^16 - 53865290571307679871638565613058911\ /41002187060141633559912665496443*c_0101_4^15 + 125600776274184098016206056819032872/410021870601416335599126654964\ 43*c_0101_4^14 + 102888481629959113660730055097992170/4100218706014\ 1633559912665496443*c_0101_4^13 - 379435318587987482500483775142837\ 357/41002187060141633559912665496443*c_0101_4^12 - 109249755276049051404649754883047298/410021870601416335599126654964\ 43*c_0101_4^11 + 667546692771810476734806817733615688/4100218706014\ 1633559912665496443*c_0101_4^10 + 322066086193404435828000894305836\ 78/41002187060141633559912665496443*c_0101_4^9 - 599227449776324803938334585818067336/410021870601416335599126654964\ 43*c_0101_4^8 - 31369553416794386533789758254782033/410021870601416\ 33559912665496443*c_0101_4^7 + 261714742034242076474291906491076412\ /41002187060141633559912665496443*c_0101_4^6 + 64343856517424466151600433731128995/4100218706014163355991266549644\ 3*c_0101_4^5 - 63516224147830706813449630932537868/4100218706014163\ 3559912665496443*c_0101_4^4 - 19822893648353343362495836969380912/4\ 1002187060141633559912665496443*c_0101_4^3 + 7187616714145791582159444458056269/41002187060141633559912665496443\ *c_0101_4^2 + 1442060837141663093501859162929862/410021870601416335\ 59912665496443*c_0101_4 - 300701560085827473746176383758340/4100218\ 7060141633559912665496443, c_0101_2 + 70226377644008163037841111768598/410021870601416335599126654\ 96443*c_0101_4^20 - 477819426920087312252997387327585/4100218706014\ 1633559912665496443*c_0101_4^19 - 793934257461017820227344755949404\ /41002187060141633559912665496443*c_0101_4^18 + 9238830915715786872596218881879326/41002187060141633559912665496443\ *c_0101_4^17 - 12873834974779072217258923885687584/4100218706014163\ 3559912665496443*c_0101_4^16 - 43172089800736073046061462360514064/\ 41002187060141633559912665496443*c_0101_4^15 + 100789022548460819757275076655194358/410021870601416335599126654964\ 43*c_0101_4^14 + 82697844731650012258772457728141240/41002187060141\ 633559912665496443*c_0101_4^13 - 3047191111856491985399540577550738\ 13/41002187060141633559912665496443*c_0101_4^12 - 88600132744652879406963199835819793/4100218706014163355991266549644\ 3*c_0101_4^11 + 536819467489804991351175932366623933/41002187060141\ 633559912665496443*c_0101_4^10 + 2867021142539406058999139316826901\ 3/41002187060141633559912665496443*c_0101_4^9 - 482895007344747045765251460662893800/410021870601416335599126654964\ 43*c_0101_4^8 - 29685607671242287427139661633724111/410021870601416\ 33559912665496443*c_0101_4^7 + 210693922045691808493792744159992403\ /41002187060141633559912665496443*c_0101_4^6 + 54538207404235691117797884238895956/4100218706014163355991266549644\ 3*c_0101_4^5 - 50176138987737440170708740625293087/4100218706014163\ 3559912665496443*c_0101_4^4 - 16376371387012838934351837521828931/4\ 1002187060141633559912665496443*c_0101_4^3 + 5465566623657330151717993063008848/41002187060141633559912665496443\ *c_0101_4^2 + 1148981375822369172132121961909279/410021870601416335\ 59912665496443*c_0101_4 - 227475511087457111861671034835105/4100218\ 7060141633559912665496443, c_0101_3 - 9786471446874425449654233530377/4100218706014163355991266549\ 6443*c_0101_4^20 + 59528860355813106104303444562261/410021870601416\ 33559912665496443*c_0101_4^19 + 162395714862426026854440288943163/4\ 1002187060141633559912665496443*c_0101_4^18 - 1233060064194344734093062287101970/41002187060141633559912665496443\ *c_0101_4^17 + 824697299050097691484831740388245/410021870601416335\ 59912665496443*c_0101_4^16 + 7791231419634636681121880610172219/410\ 02187060141633559912665496443*c_0101_4^15 - 10411489702309522190156926913311760/4100218706014163355991266549644\ 3*c_0101_4^14 - 23765625240851908903588797762035602/410021870601416\ 33559912665496443*c_0101_4^13 + 39327059598434532162561305428172284\ /41002187060141633559912665496443*c_0101_4^12 + 46379661713593054621970226580596365/4100218706014163355991266549644\ 3*c_0101_4^11 - 80577227652919046300013632414754486/410021870601416\ 33559912665496443*c_0101_4^10 - 60224036035413551722202976265103116\ /41002187060141633559912665496443*c_0101_4^9 + 88367253666115867589638721107601301/4100218706014163355991266549644\ 3*c_0101_4^8 + 50148045062870603736221673903435998/4100218706014163\ 3559912665496443*c_0101_4^7 - 44583091313408703947025979299890948/4\ 1002187060141633559912665496443*c_0101_4^6 - 26286325493688227865407311180524847/4100218706014163355991266549644\ 3*c_0101_4^5 + 7580175071830815946952422066950716/41002187060141633\ 559912665496443*c_0101_4^4 + 7784512632019684834826906168602448/410\ 02187060141633559912665496443*c_0101_4^3 - 785046922671428626888865730936912/41002187060141633559912665496443*\ c_0101_4^2 - 711944563129424135698368265990720/41002187060141633559\ 912665496443*c_0101_4 + 107417395201974287582370005375610/410021870\ 60141633559912665496443, c_0101_4^21 - 7*c_0101_4^20 - 10*c_0101_4^19 + 134*c_0101_4^18 - 209*c_0101_4^17 - 583*c_0101_4^16 + 1565*c_0101_4^15 + 909*c_0101_4^14 - 4631*c_0101_4^13 - 407*c_0101_4^12 + 8058*c_0101_4^11 - 1164*c_0101_4^10 - 7233*c_0101_4^9 + 1092*c_0101_4^8 + 3320*c_0101_4^7 + 73*c_0101_4^6 - 974*c_0101_4^5 - 82*c_0101_4^4 + 157*c_0101_4^3 + c_0101_4^2 - 10*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB