Magma V2.19-8 Tue Aug 20 2013 16:19:15 on localhost [Seed = 1343343961] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3367 geometric_solution 6.53161421 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 0 0 0 0 0 -1 0 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 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.376307518909 0.750419345677 0 4 3 5 0132 0132 3012 0132 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 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.308097141654 0.860543859338 4 0 5 3 3201 0132 3201 3012 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.308097141654 0.860543859338 0 1 2 0 3201 1230 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512921137232 0.933179843558 4 1 4 2 2310 0132 3201 2310 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 1 0 -1 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.247961353729 1.168042608687 2 6 1 6 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.897093031264 1.511716478833 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279906836473 0.274215291057 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], '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_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), '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_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 662592824906074161022830221966260436600819853915738071/309258687786\ 556810533544920990523869239277533273760*c_0110_6^30 + 13956834553558925960122640706129141483501810397098703547/1443207209\ 670598449156542964622444723116628488610880*c_0110_6^28 - 66835935721817150884515614503293994024743542129092093111/8659243258\ 02359069493925778773466833869977093166528*c_0110_6^26 + 483984085267745246916232929269108942718216791811668816853/144320720\ 9670598449156542964622444723116628488610880*c_0110_6^24 - 1449980214298160288386679312700885157482823974369040154791/14432072\ 09670598449156542964622444723116628488610880*c_0110_6^22 + 258299893302832498527673206728252935635034745904995297857/721603604\ 83529922457827148231122236155831424430544*c_0110_6^20 - 11093727964104027795878841964704422705040321889361123319669/1443207\ 209670598449156542964622444723116628488610880*c_0110_6^18 + 462846124147197529787752235358905943689580467004817777543/656003277\ 12299929507115589301020214687119476755040*c_0110_6^16 - 4085796984762529628624911874679838039636846220815198029641/10824054\ 07252948836867407223466833542337471366458160*c_0110_6^14 + 8855011403486475518397020946393312102926773374393817064737/43296216\ 29011795347469628893867334169349885465832640*c_0110_6^12 - 1543256461883541439346502892094249697725516526354713959969/21648108\ 14505897673734814446933667084674942732916320*c_0110_6^10 + 80208853729088521942926835489684808667930137847761650595/4329621629\ 01179534746962889386733416934988546583264*c_0110_6^8 - 49718050371802196014133920876638378852555476113503251697/1443207209\ 670598449156542964622444723116628488610880*c_0110_6^6 + 453019405762209758481398439075322908512358896551955383/984004915684\ 49894260673383951530322030679215132560*c_0110_6^4 - 129244137095668625792186275522739771245211543443279153/309258687786\ 556810533544920990523869239277533273760*c_0110_6^2 + 89283095159953272423544876742880029551916621990943491/4329621629011\ 795347469628893867334169349885465832640, c_0011_0 - 1, c_0011_3 + 612565651093837814690869526224497663346419539771231/37485901\ 54988567400406605102915440839263970100288*c_0110_6^30 - 1382471252046711687951095519554884974004921534703327/18742950774942\ 83700203302551457720419631985050144*c_0110_6^28 + 5508446233997698692401329188692794041134252984496221/93714753874714\ 1850101651275728860209815992525072*c_0110_6^26 - 23933682203443501212693297669840751425200876847386607/9371475387471\ 41850101651275728860209815992525072*c_0110_6^24 + 286061365554271274398717874073247163154843526564575917/374859015498\ 8567400406605102915440839263970100288*c_0110_6^22 - 1018374033522402287268082448891995826974009869937717357/37485901549\ 88567400406605102915440839263970100288*c_0110_6^20 + 2182993179505780529542539816734553897193860417118156191/37485901549\ 88567400406605102915440839263970100288*c_0110_6^18 - 245503187589682568856900819367612644448821469202753671/468573769373\ 570925050825637864430104907996262536*c_0110_6^16 + 969917254297482999206281740089596653918101460893774775/374859015498\ 8567400406605102915440839263970100288*c_0110_6^14 - 499775036448585769902308630143516377155938414305054065/374859015498\ 8567400406605102915440839263970100288*c_0110_6^12 + 84176571492301227513508334668063839202749595870118845/1874295077494\ 283700203302551457720419631985050144*c_0110_6^10 - 32995109338384161807416485443028688964343821771685931/3748590154988\ 567400406605102915440839263970100288*c_0110_6^8 + 5088192485734574940364513781570527723457944418763537/37485901549885\ 67400406605102915440839263970100288*c_0110_6^6 - 148346100879291735273153987617309868689839770500485/937147538747141\ 850101651275728860209815992525072*c_0110_6^4 + 56699048863334903932533234044435254526546078324799/3748590154988567\ 400406605102915440839263970100288*c_0110_6^2 - 8357897488407928949985259876313778226033128693201/37485901549885674\ 00406605102915440839263970100288, c_0011_5 + 238209010497195679291901514937808420711334452473293/93714753\ 8747141850101651275728860209815992525072*c_0110_6^31 - 15507608217110861375065223353435262488393600650041815/1312006554245\ 9985901423117860204042937423895351008*c_0110_6^29 + 122215240927367205780371562226212510774646179157994311/131200655424\ 59985901423117860204042937423895351008*c_0110_6^27 - 538455515816174987702687281273739362266066386866420869/131200655424\ 59985901423117860204042937423895351008*c_0110_6^25 + 1635733004533649103552827629222349177390166213694306885/13120065542\ 459985901423117860204042937423895351008*c_0110_6^23 - 723468385828723176406034799500049118140441984238875355/164000819280\ 7498237677889732525505367177986918876*c_0110_6^21 + 12732329490164941641233931044863094171455595639653543601/1312006554\ 2459985901423117860204042937423895351008*c_0110_6^19 - 3160625083217824389751211642010233923519814150359515485/32800163856\ 14996475355779465051010734355973837752*c_0110_6^17 + 3712177204196177857442372835435883946334085539219189975/65600327712\ 29992950711558930102021468711947675504*c_0110_6^15 - 3999221563698975295711359302610723266138571995238877529/13120065542\ 459985901423117860204042937423895351008*c_0110_6^13 + 765124298367683786956348681975597172854969904893241097/656003277122\ 9992950711558930102021468711947675504*c_0110_6^11 - 217227576599155825005882568558417931431482087409500041/656003277122\ 9992950711558930102021468711947675504*c_0110_6^9 + 87045640493025592941747568391804792347216542831750925/1312006554245\ 9985901423117860204042937423895351008*c_0110_6^7 - 6012958457792542795730355142658948730260791868999311/65600327712299\ 92950711558930102021468711947675504*c_0110_6^5 + 10065999215140556124128632085784146781385070586801/1171434423433927\ 31262706409466107526226999065634*c_0110_6^3 - 72893158464879039686534215295198256524447095471231/1312006554245998\ 5901423117860204042937423895351008*c_0110_6, c_0101_0 + 2803403702464330985422552598749646188276385100540937/3748590\ 154988567400406605102915440839263970100288*c_0110_6^31 - 46010943026827906985699769854134753125294168218364807/1312006554245\ 9985901423117860204042937423895351008*c_0110_6^29 + 22579103479727189692506500261718098558366361945914939/8200040964037\ 49118838944866262752683588993459438*c_0110_6^27 - 798935800448745096473726552880395614980440582413713563/656003277122\ 9992950711558930102021468711947675504*c_0110_6^25 + 9742146752055391992368741238911243616901674508275602273/26240131084\ 919971802846235720408085874847790702016*c_0110_6^23 - 34402638054103626376876120757512888866961986126694041813/2624013108\ 4919971802846235720408085874847790702016*c_0110_6^21 + 76161548157545767926997742820123126322367780897859641407/2624013108\ 4919971802846235720408085874847790702016*c_0110_6^19 - 19247697058495835293263894188570025413787115753156590713/6560032771\ 229992950711558930102021468711947675504*c_0110_6^17 + 45872391194578684591947931287748611365699367645438767723/2624013108\ 4919971802846235720408085874847790702016*c_0110_6^15 - 24577900707585659978363607618045275203252854745736652285/2624013108\ 4919971802846235720408085874847790702016*c_0110_6^13 + 4793434886988647904034213309635954313487135089367498077/13120065542\ 459985901423117860204042937423895351008*c_0110_6^11 - 2733085774242510909700865115756429649425406674845493603/26240131084\ 919971802846235720408085874847790702016*c_0110_6^9 + 551743101832416747716312256982590432528014484934366361/262401310849\ 19971802846235720408085874847790702016*c_0110_6^7 - 9618462847294516578031761915706468549355391966202723/32800163856149\ 96475355779465051010734355973837752*c_0110_6^5 + 1026747767104606409944218943197034842776240500756357/37485901549885\ 67400406605102915440839263970100288*c_0110_6^3 - 329652480770096431547990651917977843009378841689589/262401310849199\ 71802846235720408085874847790702016*c_0110_6, c_0101_1 - 1054814588986314911448816579490686416623914790477763/9371475\ 38747141850101651275728860209815992525072*c_0110_6^31 + 67459642379183138513400548447035938357297264675417103/1312006554245\ 9985901423117860204042937423895351008*c_0110_6^29 - 535557714656676603351368965086844790410257285060591753/131200655424\ 59985901423117860204042937423895351008*c_0110_6^27 + 2340109812750473113311391577224779194101398770758861637/13120065542\ 459985901423117860204042937423895351008*c_0110_6^25 - 7048352708002695901577749030300000982018658847186310887/13120065542\ 459985901423117860204042937423895351008*c_0110_6^23 + 782471565378005086663054570742731069193958668767993279/410002048201\ 874559419472433131376341794496729719*c_0110_6^21 - 54296286722410211250670085158214270298244130781162764861/1312006554\ 2459985901423117860204042937423895351008*c_0110_6^19 + 25705136373069468317101876360960400008105065839089630783/6560032771\ 229992950711558930102021468711947675504*c_0110_6^17 - 3556754100151825540169667491623307432873927857305120413/16400081928\ 07498237677889732525505367177986918876*c_0110_6^15 + 15357297916845892872239115468705697711922095706171296207/1312006554\ 2459985901423117860204042937423895351008*c_0110_6^13 - 2806805803899577709642598969178144331224233485322541049/65600327712\ 29992950711558930102021468711947675504*c_0110_6^11 + 751395358615853883711944878075786684153312772153280037/656003277122\ 9992950711558930102021468711947675504*c_0110_6^9 - 298205406945539264758856145233643322410152330126249685/131200655424\ 59985901423117860204042937423895351008*c_0110_6^7 + 10486594164806023956251739434842212882688554911429751/3280016385614\ 996475355779465051010734355973837752*c_0110_6^5 - 308255436068533294689334595976967055110606449686499/937147538747141\ 850101651275728860209815992525072*c_0110_6^3 + 237948624019262716730516652870643286707215649417737/131200655424599\ 85901423117860204042937423895351008*c_0110_6, c_0101_2 + 200197199097372657314234832620572479505907470605703/18742950\ 77494283700203302551457720419631985050144*c_0110_6^30 - 6842766275597194693391091446154154029446132820075771/13120065542459\ 985901423117860204042937423895351008*c_0110_6^28 + 52781645495811203233920492275728466408713635334634567/1312006554245\ 9985901423117860204042937423895351008*c_0110_6^26 - 237798598242253608860845820798427800606241878191383691/131200655424\ 59985901423117860204042937423895351008*c_0110_6^24 + 368343089833046693411561758530721370720531437714299395/656003277122\ 9992950711558930102021468711947675504*c_0110_6^22 - 2577417465218875703911021512901013149942913815408818041/13120065542\ 459985901423117860204042937423895351008*c_0110_6^20 + 2936081167556984069840873085841323534992962572342057697/65600327712\ 29992950711558930102021468711947675504*c_0110_6^18 - 3200533707504322995105520462966122007100268398907339625/65600327712\ 29992950711558930102021468711947675504*c_0110_6^16 + 4013905243431053114517089736904619966266766891613226699/13120065542\ 459985901423117860204042937423895351008*c_0110_6^14 - 1039926561590900136219702815045001147054171887616515661/65600327712\ 29992950711558930102021468711947675504*c_0110_6^12 + 107482334132972478813950952404981471159954743251608991/164000819280\ 7498237677889732525505367177986918876*c_0110_6^10 - 243281710356039115726170539763452417143447117067108469/131200655424\ 59985901423117860204042937423895351008*c_0110_6^8 + 11710523228395605670667857674272178559267643942986045/3280016385614\ 996475355779465051010734355973837752*c_0110_6^6 - 198577621476357036535102969853105898291215032785670/410002048201874\ 559419472433131376341794496729719*c_0110_6^4 + 72124728614607183257955340932593680353462413717343/1874295077494283\ 700203302551457720419631985050144*c_0110_6^2 - 1314073188303695173905720700967904498902714147717/82000409640374911\ 8838944866262752683588993459438, c_0110_6^32 - 3901/833*c_0110_6^30 + 4378/119*c_0110_6^28 - 135468/833*c_0110_6^26 + 412715/833*c_0110_6^24 - 1457928/833*c_0110_6^22 + 3224554/833*c_0110_6^20 - 3250103/833*c_0110_6^18 + 1934321/833*c_0110_6^16 - 1046818/833*c_0110_6^14 + 413663/833*c_0110_6^12 - 119583/833*c_0110_6^10 + 218/7*c_0110_6^8 - 4085/833*c_0110_6^6 + 461/833*c_0110_6^4 - 2/49*c_0110_6^2 + 1/833 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB