Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 526287826] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0354 geometric_solution 4.38107541 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 3.622039011688 0.755761516721 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.517124652940 0.053375903089 0 3 3 0 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.413666873483 0.401201447850 2 2 4 5 2310 0132 0132 0132 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 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.190526945728 0.791237875976 6 5 5 3 0132 3012 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 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.091913777533 0.780348413809 4 6 3 4 1230 0132 0132 3012 0 0 0 0 0 0 -1 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 -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 1.091913777533 0.780348413809 4 5 6 6 0132 0132 1230 3012 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769330425898 0.793065437109 ==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' : d['c_0101_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 54519391354472749991266492/2738546934923881213271695*c_0101_4^17 - 9649242425226739316590093/144134049206520063856405*c_0101_4^16 + 803031836041350769609413076/2738546934923881213271695*c_0101_4^15 + 939772296614882620115142747/547709386984776242654339*c_0101_4^14 + 11997206830238532269596113501/2738546934923881213271695*c_0101_4^13 + 12319648163253735786980533427/2738546934923881213271695*c_0101_4^\ 12 - 28565128020743939233898477001/2738546934923881213271695*c_0101\ _4^11 - 89746938739733612361129382688/2738546934923881213271695*c_0\ 101_4^10 - 27135226414710422210990650993/2738546934923881213271695*\ c_0101_4^9 + 25744288883210143585270123115/547709386984776242654339\ *c_0101_4^8 + 101256201352261145426043026681/2738546934923881213271\ 695*c_0101_4^7 - 10176057645075072692731023561/54770938698477624265\ 4339*c_0101_4^6 - 63832465133448528937560396353/2738546934923881213\ 271695*c_0101_4^5 - 5228892864966536838765979463/273854693492388121\ 3271695*c_0101_4^4 + 2387381582069982850707294018/27385469349238812\ 13271695*c_0101_4^3 - 2490051645162567748750327079/2738546934923881\ 213271695*c_0101_4^2 - 280095451096244707069107044/2738546934923881\ 213271695*c_0101_4 + 97948974027120143394874274/2738546934923881213\ 271695, c_0011_0 - 1, c_0011_2 - 153915824405267856866805/547709386984776242654339*c_0101_4^1\ 7 - 23840093262706206896751/28826809841304012771281*c_0101_4^16 + 2473280550082797670192532/547709386984776242654339*c_0101_4^15 + 12280078157084326808065464/547709386984776242654339*c_0101_4^14 + 28474955393479031902651755/547709386984776242654339*c_0101_4^13 + 21461351225940457599355067/547709386984776242654339*c_0101_4^12 - 93099546428720715600973920/547709386984776242654339*c_0101_4^11 - 217761056601282340412314184/547709386984776242654339*c_0101_4^10 + 23230072692291950066765021/547709386984776242654339*c_0101_4^9 + 379182266621614279949095342/547709386984776242654339*c_0101_4^8 + 133250687808992231412832111/547709386984776242654339*c_0101_4^7 - 235905248997138327799744812/547709386984776242654339*c_0101_4^6 - 106927328812007589975484799/547709386984776242654339*c_0101_4^5 + 43953879702625709534657552/547709386984776242654339*c_0101_4^4 + 2557311918097294161464568/547709386984776242654339*c_0101_4^3 - 6724774314921696008836672/547709386984776242654339*c_0101_4^2 + 2590932551809266442504914/547709386984776242654339*c_0101_4 + 190803888678788057631907/547709386984776242654339, c_0011_4 + 16500651648717808432978/547709386984776242654339*c_0101_4^17 + 811648289704136892776/28826809841304012771281*c_0101_4^16 - 369327881335716271167699/547709386984776242654339*c_0101_4^15 - 802380460988435128957798/547709386984776242654339*c_0101_4^14 - 300938147665460525469732/547709386984776242654339*c_0101_4^13 + 4339167915650404218928322/547709386984776242654339*c_0101_4^12 + 15789567849872621744282978/547709386984776242654339*c_0101_4^11 + 4127346520296259157980165/547709386984776242654339*c_0101_4^10 - 53386267109196422919858311/547709386984776242654339*c_0101_4^9 - 44619302461950827837166766/547709386984776242654339*c_0101_4^8 + 68288740566283386704240373/547709386984776242654339*c_0101_4^7 + 69400552887936032264802863/547709386984776242654339*c_0101_4^6 - 32361026118395940957275608/547709386984776242654339*c_0101_4^5 - 36567735384878101333686860/547709386984776242654339*c_0101_4^4 + 2900911648385760296127133/547709386984776242654339*c_0101_4^3 + 3020135263979064526537412/547709386984776242654339*c_0101_4^2 - 1312150149687993897256005/547709386984776242654339*c_0101_4 + 128541178087251001554658/547709386984776242654339, c_0101_0 - 60979236322056807233583/547709386984776242654339*c_0101_4^17 - 14243480825525016366139/28826809841304012771281*c_0101_4^16 + 743388355973295437673100/547709386984776242654339*c_0101_4^15 + 6412458447108884950522692/547709386984776242654339*c_0101_4^14 + 18024840848463032709313341/547709386984776242654339*c_0101_4^13 + 23049351457890963045102045/547709386984776242654339*c_0101_4^12 - 29395105785795023563222621/547709386984776242654339*c_0101_4^11 - 144778703129447846394874289/547709386984776242654339*c_0101_4^10 - 101155515497483359250534366/547709386984776242654339*c_0101_4^9 + 200953168200532540504945486/547709386984776242654339*c_0101_4^8 + 265211337100057388815423434/547709386984776242654339*c_0101_4^7 - 75594001950225082067393209/547709386984776242654339*c_0101_4^6 - 190616635919837279151080921/547709386984776242654339*c_0101_4^5 - 15885189653379358662329674/547709386984776242654339*c_0101_4^4 + 34681047778454064601286124/547709386984776242654339*c_0101_4^3 + 363335013792874713496308/547709386984776242654339*c_0101_4^2 - 1016711431651408355045943/547709386984776242654339*c_0101_4 + 531815993976175002208359/547709386984776242654339, c_0101_1 - 89666202813548592996615/547709386984776242654339*c_0101_4^17 - 15015187532450634857229/28826809841304012771281*c_0101_4^16 + 1396126010028768603487027/547709386984776242654339*c_0101_4^15 + 7546518790695003330409117/547709386984776242654339*c_0101_4^14 + 17993732792900844343472517/547709386984776242654339*c_0101_4^13 + 15102220781235079893973300/547709386984776242654339*c_0101_4^12 - 54330361664560187793680812/547709386984776242654339*c_0101_4^11 - 141800424037142489469748054/547709386984776242654339*c_0101_4^10 - 5730156867654548430531678/547709386984776242654339*c_0101_4^9 + 246885957939892993046309074/547709386984776242654339*c_0101_4^8 + 124786681689303888010568648/547709386984776242654339*c_0101_4^7 - 156941250623793093589210100/547709386984776242654339*c_0101_4^6 - 104686198245722887930918277/547709386984776242654339*c_0101_4^5 + 29690603402214800628523147/547709386984776242654339*c_0101_4^4 + 15571969175114269308694486/547709386984776242654339*c_0101_4^3 - 3186227406062455857730898/547709386984776242654339*c_0101_4^2 + 1296155415573725985216699/547709386984776242654339*c_0101_4 - 49137653457552182566129/547709386984776242654339, c_0101_3 - 35706753830295321308177/547709386984776242654339*c_0101_4^17 - 9541886318520859015086/28826809841304012771281*c_0101_4^16 + 366317138396345905228315/547709386984776242654339*c_0101_4^15 + 4111206373753486967760222/547709386984776242654339*c_0101_4^14 + 12388875418214561960120180/547709386984776242654339*c_0101_4^13 + 17944913281403704697761420/547709386984776242654339*c_0101_4^12 - 13274349208685597923998081/547709386984776242654339*c_0101_4^11 - 97320933860365019328799908/547709386984776242654339*c_0101_4^10 - 91736969710344461718832863/547709386984776242654339*c_0101_4^9 + 115639491388659694285456658/547709386984776242654339*c_0101_4^8 + 204254741238227538199350649/547709386984776242654339*c_0101_4^7 - 20308683266098934260487323/547709386984776242654339*c_0101_4^6 - 133389565466133815149476335/547709386984776242654339*c_0101_4^5 - 23075049383428324834597235/547709386984776242654339*c_0101_4^4 + 19696261141556898771623766/547709386984776242654339*c_0101_4^3 - 1242754831931755129759674/547709386984776242654339*c_0101_4^2 - 1074562509096599977985484/547709386984776242654339*c_0101_4 + 468114194706392322219002/547709386984776242654339, c_0101_4^18 + 3*c_0101_4^17 - 16*c_0101_4^16 - 81*c_0101_4^15 - 188*c_0101_4^14 - 142*c_0101_4^13 + 616*c_0101_4^12 + 1465*c_0101_4^11 - 128*c_0101_4^10 - 2617*c_0101_4^9 - 1008*c_0101_4^8 + 1724*c_0101_4^7 + 899*c_0101_4^6 - 383*c_0101_4^5 - 126*c_0101_4^4 + 59*c_0101_4^3 - 9*c_0101_4^2 - 3*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB