Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 2446331229] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0368 geometric_solution 4.41980015 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 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 2.282319515218 0.174108218787 0 2 2 0 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 -1 0 1 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 -1.065252954801 0.774656041930 1 1 3 3 2310 0132 0132 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 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.095608932011 0.232970257921 4 2 5 2 0132 2310 0132 0132 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 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 1.776160203408 1.917019002943 3 5 5 6 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 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.118918191499 0.753185862075 6 4 4 3 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 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.118918191499 0.753185862075 6 5 4 6 3012 1023 0132 1230 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 -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.721160172579 1.197975528888 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : d['1'], 's_2_3' : negation(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' : 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' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(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_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_3']), 'c_0011_6' : 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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 2763254816619288843257297580/190670646037491858132497207*c_0101_3^1\ 5 - 52657904867834770363696614102/190670646037491858132497207*c_010\ 1_3^14 + 389793866760991244497689771004/190670646037491858132497207\ *c_0101_3^13 - 1458246197627664366733969078496/19067064603749185813\ 2497207*c_0101_3^12 + 3283093840309026944943615219975/1906706460374\ 91858132497207*c_0101_3^11 - 6107831447163371040227231474049/190670\ 646037491858132497207*c_0101_3^10 + 9272574588685465065095376278994/190670646037491858132497207*c_0101_\ 3^9 - 1966634116136402004479461941753/190670646037491858132497207*c\ _0101_3^8 - 12822400892339164720254479214266/1906706460374918581324\ 97207*c_0101_3^7 + 2172699468010517124200242890269/1906706460374918\ 58132497207*c_0101_3^6 + 5676408968507243763103046821627/1906706460\ 37491858132497207*c_0101_3^5 + 2825351594239018894477358978398/1906\ 70646037491858132497207*c_0101_3^4 + 823066679247952278677198916093/190670646037491858132497207*c_0101_3\ ^3 + 792872174200023110230659018894/190670646037491858132497207*c_0\ 101_3^2 + 294238899307847626315368510445/19067064603749185813249720\ 7*c_0101_3 - 170110126070725146008744727377/19067064603749185813249\ 7207, c_0011_0 - 1, c_0011_3 - 3612426155068885254668/368802023283349822306571*c_0101_3^15 + 70663559577931232746384/368802023283349822306571*c_0101_3^14 - 545388353631963760358582/368802023283349822306571*c_0101_3^13 + 2184732022581830135598890/368802023283349822306571*c_0101_3^12 - 5421567064585366605116393/368802023283349822306571*c_0101_3^11 + 10842623302116014316841396/368802023283349822306571*c_0101_3^10 - 17926729473835046091975028/368802023283349822306571*c_0101_3^9 + 12325023087855439586314812/368802023283349822306571*c_0101_3^8 + 9232591426413654830049890/368802023283349822306571*c_0101_3^7 - 6156921850402535932549114/368802023283349822306571*c_0101_3^6 - 4460875280227352564493084/368802023283349822306571*c_0101_3^5 - 1448823380946704811166782/368802023283349822306571*c_0101_3^4 - 292698303908909409125577/368802023283349822306571*c_0101_3^3 - 1213950909059080070076172/368802023283349822306571*c_0101_3^2 + 74990228800347324036496/368802023283349822306571*c_0101_3 - 151554298107790100285731/368802023283349822306571, c_0011_5 + 69915178837058004797777/17333695094317441648408837*c_0101_3^\ 15 - 1276224380958592862240744/17333695094317441648408837*c_0101_3^\ 14 + 8773580485418138109876211/17333695094317441648408837*c_0101_3^\ 13 - 28520554022277443544413229/17333695094317441648408837*c_0101_3\ ^12 + 49206226877595433282986873/17333695094317441648408837*c_0101_\ 3^11 - 67988951105752329875076734/17333695094317441648408837*c_0101\ _3^10 + 56867304458509029488345082/17333695094317441648408837*c_010\ 1_3^9 + 245779176029906105859173842/17333695094317441648408837*c_01\ 01_3^8 - 558132381966582639749087496/17333695094317441648408837*c_0\ 101_3^7 - 27665581391455901486324186/17333695094317441648408837*c_0\ 101_3^6 + 286656275102572533403966892/17333695094317441648408837*c_\ 0101_3^5 + 73868819079159882972665323/17333695094317441648408837*c_\ 0101_3^4 + 13712207578178951241303601/17333695094317441648408837*c_\ 0101_3^3 + 21682338132288005919259292/17333695094317441648408837*c_\ 0101_3^2 + 24717301188906766074898979/17333695094317441648408837*c_\ 0101_3 - 7294608061600054803613778/17333695094317441648408837, c_0101_0 - 902094456771475301804393/17333695094317441648408837*c_0101_3\ ^15 + 17117965205554789211468728/17333695094317441648408837*c_0101_\ 3^14 - 125842904021191344394964892/17333695094317441648408837*c_010\ 1_3^13 + 465499830767717858349779740/17333695094317441648408837*c_0\ 101_3^12 - 1032425665619264464827551648/17333695094317441648408837*\ c_0101_3^11 + 1908643074198645196642250131/173336950943174416484088\ 37*c_0101_3^10 - 2875691352218015449350257419/173336950943174416484\ 08837*c_0101_3^9 + 415383030854430556645692354/17333695094317441648\ 408837*c_0101_3^8 + 4175398098981054277117484597/173336950943174416\ 48408837*c_0101_3^7 - 259679311131737022992457286/17333695094317441\ 648408837*c_0101_3^6 - 1871923109248980955099729881/173336950943174\ 41648408837*c_0101_3^5 - 1101577370721241224798568062/1733369509431\ 7441648408837*c_0101_3^4 - 383388233194932663834641797/173336950943\ 17441648408837*c_0101_3^3 - 302745385450773836840792218/17333695094\ 317441648408837*c_0101_3^2 - 147165085136859752701571746/1733369509\ 4317441648408837*c_0101_3 + 23242245011503963702151484/173336950943\ 17441648408837, c_0101_1 + 5045165753028824007905/368802023283349822306571*c_0101_3^15 - 98609384220259283669045/368802023283349822306571*c_0101_3^14 + 759833560132574599547941/368802023283349822306571*c_0101_3^13 - 3032624171175077310448961/368802023283349822306571*c_0101_3^12 + 7466095064317777841602341/368802023283349822306571*c_0101_3^11 - 14760208567133223590021874/368802023283349822306571*c_0101_3^10 + 24066975609626433760006237/368802023283349822306571*c_0101_3^9 - 15258567794893383656320248/368802023283349822306571*c_0101_3^8 - 16040636564400502259758738/368802023283349822306571*c_0101_3^7 + 11395149163593547304899930/368802023283349822306571*c_0101_3^6 + 6053465009792276023224464/368802023283349822306571*c_0101_3^5 + 1532627024452493850236875/368802023283349822306571*c_0101_3^4 + 899351482669762868830019/368802023283349822306571*c_0101_3^3 + 1506834128687335216462668/368802023283349822306571*c_0101_3^2 - 461439334174978897123158/368802023283349822306571*c_0101_3 - 265915937118762073240312/368802023283349822306571, c_0101_2 - 358418778959851250500206/17333695094317441648408837*c_0101_3\ ^15 + 6836439279972681253454170/17333695094317441648408837*c_0101_3\ ^14 - 50766717404776076851841051/17333695094317441648408837*c_0101_\ 3^13 + 191629558421175773078621440/17333695094317441648408837*c_010\ 1_3^12 - 440461578397432346509099153/17333695094317441648408837*c_0\ 101_3^11 + 841175439619343246892166280/17333695094317441648408837*c\ _0101_3^10 - 1315700099524675952395756010/1733369509431744164840883\ 7*c_0101_3^9 + 479018552491745557527683634/173336950943174416484088\ 37*c_0101_3^8 + 1345226522944163229956602740/1733369509431744164840\ 8837*c_0101_3^7 - 127591917129931322041446297/173336950943174416484\ 08837*c_0101_3^6 - 638170463372509676687267159/17333695094317441648\ 408837*c_0101_3^5 - 431573635912101237798796519/1733369509431744164\ 8408837*c_0101_3^4 - 111745022840951822882268112/173336950943174416\ 48408837*c_0101_3^3 - 119808434215097507639077217/17333695094317441\ 648408837*c_0101_3^2 - 38920522226509384026919428/17333695094317441\ 648408837*c_0101_3 + 7639708363608989593205870/17333695094317441648\ 408837, c_0101_3^16 - 19*c_0101_3^15 + 140*c_0101_3^14 - 520*c_0101_3^13 + 1160*c_0101_3^12 - 2149*c_0101_3^11 + 3242*c_0101_3^10 - 541*c_0101_3^9 - 4656*c_0101_3^8 + 545*c_0101_3^7 + 2026*c_0101_3^6 + 1121*c_0101_3^5 + 386*c_0101_3^4 + 327*c_0101_3^3 + 137*c_0101_3^2 - 48*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB