Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 2530675322] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1955 geometric_solution 5.53853355 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 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 1 -1 1 0 0 -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.782823424942 1.545329357082 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 -1 0 0 0 0 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.371920525302 0.525688818164 3 1 4 5 2310 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.258595548549 0.977368699213 4 5 2 1 2310 2310 3201 0132 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 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 -0.258595548549 0.977368699213 6 6 3 2 0132 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.374219818182 1.781646985971 5 5 2 3 1302 2031 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 0 0 0 -1 0 0 1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356108321587 0.402480318798 4 6 6 4 0132 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.088156908401 0.456989052767 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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' : 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_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), '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_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_3, c_0011_4, c_0011_5, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 45521148900502179783845246798200357185592773/2226265105104361651902\ 9998524676281931321875*c_0110_5^21 + 9694489168169886960600177691085107716015417/44525302102087233038059\ 99704935256386264375*c_0110_5^20 - 130918140773639856339924939815732894200854354/445253021020872330380\ 5999704935256386264375*c_0110_5^19 + 1024970128537315069674797453459967764145987474/22262651051043616519\ 029998524676281931321875*c_0110_5^18 + 3392040681712980430459106447322799864284563/62711693101531314138112\ 671900496568820625*c_0110_5^17 - 3501503285519609825980083147023508\ 112305706099/22262651051043616519029998524676281931321875*c_0110_5^\ 16 - 4166570498618107978598525013082328462677928687/222626510510436\ 16519029998524676281931321875*c_0110_5^15 + 22205419087636860115062039454472824562284579443/2226265105104361651\ 9029998524676281931321875*c_0110_5^14 - 21851262636075476327933877543183147244834707156/2226265105104361651\ 9029998524676281931321875*c_0110_5^13 - 36495499765081657995455212510840455369024835537/2226265105104361651\ 9029998524676281931321875*c_0110_5^12 - 5624322163435808764853591926194679060623254593/22262651051043616519\ 029998524676281931321875*c_0110_5^11 + 10129111115421139763417804380246655148416680181/8905060420417446607\ 61199940987051277252875*c_0110_5^10 - 78338069999688690330333489723391257435870309387/2226265105104361651\ 9029998524676281931321875*c_0110_5^9 - 13795070786012463426263637437828961668471917276/5429914890498443053\ 42195085967714193446875*c_0110_5^8 + 429809991014476258983230030339584714012778968307/222626510510436165\ 19029998524676281931321875*c_0110_5^7 + 412379492058182063879676679125729252607977176591/222626510510436165\ 19029998524676281931321875*c_0110_5^6 - 114678924771500155810556136549197979129668835469/445253021020872330\ 3805999704935256386264375*c_0110_5^5 + 20235291801678616893209839581983121453596691247/2226265105104361651\ 9029998524676281931321875*c_0110_5^4 + 51558007658304718742614806378580393956345292226/4452530210208723303\ 805999704935256386264375*c_0110_5^3 - 92939604407121261274859796555419502516847728328/2226265105104361651\ 9029998524676281931321875*c_0110_5^2 - 5900857343633156566697069218366474601377560791/44525302102087233038\ 05999704935256386264375*c_0110_5 + 552399837997097135609935021231171736722589762/890506042041744660761\ 199940987051277252875, c_0011_0 - 1, c_0011_1 - 53172334076225075559872118/421505355908055732787023625*c_011\ 0_5^21 - 7607732110240568678460762/84301071181611146557404725*c_011\ 0_5^20 + 154009414220125485842130314/84301071181611146557404725*c_0\ 110_5^19 - 1469596385673896710891153209/421505355908055732787023625\ *c_0110_5^18 - 155982791878750524684221738/843010711816111465574047\ 25*c_0110_5^17 + 4109003470309959035112015459/421505355908055732787\ 023625*c_0110_5^16 + 3414178765766728435181066217/42150535590805573\ 2787023625*c_0110_5^15 - 26552634359131531182671917538/421505355908\ 055732787023625*c_0110_5^14 + 35097875536284041607584991421/4215053\ 55908055732787023625*c_0110_5^13 + 26443728509242180475039416617/421505355908055732787023625*c_0110_5^\ 12 + 3844294586483422502720923913/421505355908055732787023625*c_011\ 0_5^11 - 11835964834449828318266343568/16860214236322229311480945*c\ _0110_5^10 + 195849305340639554745462832942/42150535590805573278702\ 3625*c_0110_5^9 + 549173911730009429287966060106/421505355908055732\ 787023625*c_0110_5^8 - 650984963191259530917876538387/4215053559080\ 55732787023625*c_0110_5^7 - 194179351113637063484146107131/42150535\ 5908055732787023625*c_0110_5^6 + 125030799817039371916718311049/843\ 01071181611146557404725*c_0110_5^5 - 222224347414514714842214636452/421505355908055732787023625*c_0110_5\ ^4 - 29672743460677170900059235076/84301071181611146557404725*c_011\ 0_5^3 + 98123142189358772528973140623/421505355908055732787023625*c\ _0110_5^2 + 1563597905353879044062355496/84301071181611146557404725\ *c_0110_5 - 377576056558895079031439662/16860214236322229311480945, c_0011_3 - 278382036609072439031970704796860454789/15295534902812515643\ 44211509768208995625*c_0110_5^21 - 54144363891560805200199197677498579271/3059106980562503128688423019\ 53641799125*c_0110_5^20 + 782741868342676660729614084173119472897/3\ 05910698056250312868842301953641799125*c_0110_5^19 - 6771428024242806363125845761179013632407/15295534902812515643442115\ 09768208995625*c_0110_5^18 - 10415721669361734582436179363305834784\ 59/305910698056250312868842301953641799125*c_0110_5^17 + 19470842608480621205012535989563876625157/1529553490281251564344211\ 509768208995625*c_0110_5^16 + 2142260936103694920184861863029652649\ 7466/1529553490281251564344211509768208995625*c_0110_5^15 - 131206881891562204044899824823629135506424/152955349028125156434421\ 1509768208995625*c_0110_5^14 + 155511881377904813157319046114047426\ 782108/1529553490281251564344211509768208995625*c_0110_5^13 + 159777648768477527957407091303680896471816/152955349028125156434421\ 1509768208995625*c_0110_5^12 + 738444482388622356592595421456882565\ 27599/1529553490281251564344211509768208995625*c_0110_5^11 - 11937546394144259250739307601080067386784/1223642792225001251475369\ 2078145671965*c_0110_5^10 + 682641310822937120814726968090628849864\ 966/1529553490281251564344211509768208995625*c_0110_5^9 + 2822428468225385704567437998597576595878363/15295534902812515643442\ 11509768208995625*c_0110_5^8 - 273887024747745130674763375909133715\ 7407376/1529553490281251564344211509768208995625*c_0110_5^7 - 1266580861910569099102454981670509590549813/15295534902812515643442\ 11509768208995625*c_0110_5^6 + 563084920288052851671875488509855814\ 624987/305910698056250312868842301953641799125*c_0110_5^5 - 773119456560513353405127843336187379899446/152955349028125156434421\ 1509768208995625*c_0110_5^4 - 1459402847938587476884247571356935600\ 44653/305910698056250312868842301953641799125*c_0110_5^3 + 383573218041143651439665848203636731102404/152955349028125156434421\ 1509768208995625*c_0110_5^2 + 9824275944733010184074664212033435500\ 403/305910698056250312868842301953641799125*c_0110_5 - 1504385443518713162204419675696489277901/61182139611250062573768460\ 390728359825, c_0011_4 - 481508229997084912652618297073891007677/15295534902812515643\ 44211509768208995625*c_0110_5^21 - 93427656344130392117098033256536285743/3059106980562503128688423019\ 53641799125*c_0110_5^20 + 1353979174076202112764757015035107210721/\ 305910698056250312868842301953641799125*c_0110_5^19 - 11728206688342215134439650730500910568251/1529553490281251564344211\ 509768208995625*c_0110_5^18 - 1794563729245663113148050399685330691\ 782/305910698056250312868842301953641799125*c_0110_5^17 + 33674413552432788399826445646102231394626/1529553490281251564344211\ 509768208995625*c_0110_5^16 + 3698480405215782884530614774984540271\ 7013/1529553490281251564344211509768208995625*c_0110_5^15 - 226987208807879594301118198508146105002432/152955349028125156434421\ 1509768208995625*c_0110_5^14 + 269496115490744856093199348187069856\ 757944/1529553490281251564344211509768208995625*c_0110_5^13 + 275411083285206226717156625934233800124113/152955349028125156434421\ 1509768208995625*c_0110_5^12 + 127736906275878525478784301707446889\ 962557/1529553490281251564344211509768208995625*c_0110_5^11 - 103258722950429745857886061187222646672082/611821396112500625737684\ 60390728359825*c_0110_5^10 + 11866979494255720572094565266180421867\ 26413/1529553490281251564344211509768208995625*c_0110_5^9 + 4876273793136888275171854303402954167401034/15295534902812515643442\ 11509768208995625*c_0110_5^8 - 474264299538552599924863348806340234\ 3683018/1529553490281251564344211509768208995625*c_0110_5^7 - 2176998449333327117713262432597375716482759/15295534902812515643442\ 11509768208995625*c_0110_5^6 + 972187726966009939149648330651313314\ 891086/305910698056250312868842301953641799125*c_0110_5^5 - 1344366217473488082465920232518562806116928/15295534902812515643442\ 11509768208995625*c_0110_5^4 - 250034882675885552212511123120805016\ 372339/305910698056250312868842301953641799125*c_0110_5^3 + 662138815342999279896749723992910751409622/152955349028125156434421\ 1509768208995625*c_0110_5^2 + 1646614770579598609973338097687524026\ 8444/305910698056250312868842301953641799125*c_0110_5 - 2614985932827865161320887830726400682528/61182139611250062573768460\ 390728359825, c_0011_5 + 1475110990942120854623418429692747036236/1529553490281251564\ 344211509768208995625*c_0110_5^21 + 270836634991573787288128405858614315454/305910698056250312868842301\ 953641799125*c_0110_5^20 - 4178671203907509636961151934694438071178\ /305910698056250312868842301953641799125*c_0110_5^19 + 36861273765542701027002286197834672865918/1529553490281251564344211\ 509768208995625*c_0110_5^18 + 5319395262218359054349046823436829410\ 066/305910698056250312868842301953641799125*c_0110_5^17 - 105597278801382176944390168864174832043168/152955349028125156434421\ 1509768208995625*c_0110_5^16 - 110432554002410258198527076327133557\ 714509/1529553490281251564344211509768208995625*c_0110_5^15 + 704613186633558380613801721993137105096226/152955349028125156434421\ 1509768208995625*c_0110_5^14 - 852445397329012251948146126635363949\ 833567/1529553490281251564344211509768208995625*c_0110_5^13 - 829616363950763657847613410144860949867034/152955349028125156434421\ 1509768208995625*c_0110_5^12 - 330859100233044292296339396525728120\ 187551/1529553490281251564344211509768208995625*c_0110_5^11 + 63939522192497714081583452952587615150481/1223642792225001251475369\ 2078145671965*c_0110_5^10 - 396998979322009872907052862100228315693\ 4509/1529553490281251564344211509768208995625*c_0110_5^9 - 15107848026089748097689087856189030442505937/1529553490281251564344\ 211509768208995625*c_0110_5^8 + 15162854312680006791203402672804088\ 055571849/1529553490281251564344211509768208995625*c_0110_5^7 + 6618164585914698980017308502745031157196987/15295534902812515643442\ 11509768208995625*c_0110_5^6 - 307004204522188959446130013476840081\ 1375213/305910698056250312868842301953641799125*c_0110_5^5 + 4357662721707404476433068350186844550934279/15295534902812515643442\ 11509768208995625*c_0110_5^4 + 785893718429740336856034782301561685\ 932022/305910698056250312868842301953641799125*c_0110_5^3 - 2100365309352677637528890670491123434720121/15295534902812515643442\ 11509768208995625*c_0110_5^2 - 538531518154052944723720817894727922\ 42647/305910698056250312868842301953641799125*c_0110_5 + 7982935481406683434224877706246440914074/61182139611250062573768460\ 390728359825, c_0101_1 - 483482613034095524724714282718998056251/30591069805625031286\ 8842301953641799125*c_0110_5^21 - 882395529354647302223397513964573\ 64359/61182139611250062573768460390728359825*c_0110_5^20 + 1369743415692199760025511163395823552298/61182139611250062573768460\ 390728359825*c_0110_5^19 - 1212375100746264263614575968134624621711\ 3/305910698056250312868842301953641799125*c_0110_5^18 - 1726694737790443097811821964569799209391/61182139611250062573768460\ 390728359825*c_0110_5^17 + 3464954221111595023588873404794115687423\ 8/305910698056250312868842301953641799125*c_0110_5^16 + 35947147623803453313525903717368885405094/3059106980562503128688423\ 01953641799125*c_0110_5^15 - 23111992361191266999518712632320884041\ 3191/305910698056250312868842301953641799125*c_0110_5^14 + 280884171241439994008789264538802391592547/305910698056250312868842\ 301953641799125*c_0110_5^13 + 2699304046013945378808029930023775208\ 55769/305910698056250312868842301953641799125*c_0110_5^12 + 106979732520277964316862230854858032035316/305910698056250312868842\ 301953641799125*c_0110_5^11 - 1047554074864068824094321616546962315\ 16441/12236427922250012514753692078145671965*c_0110_5^10 + 1318395490594904222714602557378296693161544/30591069805625031286884\ 2301953641799125*c_0110_5^9 + 4938972395504603774622732958850638112\ 430592/305910698056250312868842301953641799125*c_0110_5^8 - 5004177482346532672753261210089607455285909/30591069805625031286884\ 2301953641799125*c_0110_5^7 - 2132908217806242308258909465849469007\ 268892/305910698056250312868842301953641799125*c_0110_5^6 + 1009661746775896871280930760142729477678093/61182139611250062573768\ 460390728359825*c_0110_5^5 - 14624667011695836025440254098553309320\ 12364/305910698056250312868842301953641799125*c_0110_5^4 - 256245764502283333908384878705611364132532/611821396112500625737684\ 60390728359825*c_0110_5^3 + 698043644130710165722329023816279199044\ 911/305910698056250312868842301953641799125*c_0110_5^2 + 17129480936926066137176483299062353757372/6118213961125006257376846\ 0390728359825*c_0110_5 - 2669312450556280342956916400662074445509/1\ 2236427922250012514753692078145671965, c_0110_5^22 - 15*c_0110_5^20 + 38*c_0110_5^19 - 5*c_0110_5^18 - 88*c_0110_5^17 - 9*c_0110_5^16 + 546*c_0110_5^15 - 1017*c_0110_5^14 - 29*c_0110_5^13 + 289*c_0110_5^12 + 5620*c_0110_5^11 - 7669*c_0110_5^10 - 7737*c_0110_5^9 + 19674*c_0110_5^8 - 5013*c_0110_5^7 - 14480*c_0110_5^6 + 12539*c_0110_5^5 - 95*c_0110_5^4 - 3861*c_0110_5^3 + 1135*c_0110_5^2 + 300*c_0110_5 - 125 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB