Magma V2.19-8 Tue Aug 20 2013 16:18:44 on localhost [Seed = 3987501209] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2897 geometric_solution 6.10541361 oriented_manifold CS_known -0.0000000000000001 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 -1 1 -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 0 1 -1 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.602225472554 0.909595209218 0 4 3 5 0132 0132 3012 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 -1 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.093154122089 1.074456568005 4 0 5 3 0132 0132 3201 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.093154122089 1.074456568005 0 1 2 0 3201 1230 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -1 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 1 0 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.811152293478 0.619104138985 2 1 6 6 0132 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 -1 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.541683123199 0.572454526457 2 5 1 5 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579474489273 1.009755291771 6 4 6 4 2310 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -0.445393376417 1.034637893509 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_6']), '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' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], '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' : d['c_0011_6'], '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' : d['c_0011_3'], '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' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], '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_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 671677801618605748146095030883540988010873640292255049114658053/242\ 91516182089216167666266617986941874354677162726394363790*c_0101_2^1\ 9 - 163552917297564693935952701078085804311962679191841147462969998\ 9/639250425844453057043849121525972154588280977966484062205*c_0101_\ 2^18 + 252063713282635376000865268627606448838994061485402600425591\ 984501/24291516182089216167666266617986941874354677162726394363790*\ c_0101_2^17 + 89010086447275879220384136054243354577556266871473272\ 6290779572/24291516182089216167666266617986941874354677162726394363\ 79*c_0101_2^16 - 21122820740687763354159488024705689838833048833271\ 3253892149414511/24291516182089216167666266617986941874354677162726\ 394363790*c_0101_2^15 + 3857323632108819207718611758725827822970583\ 4704316058546060447099/48583032364178432335332533235973883748709354\ 32545278872758*c_0101_2^14 - 14822048030714913230525316488319470997\ 5335500008202332223770183802/12145758091044608083833133308993470937\ 177338581363197181895*c_0101_2^13 - 16079304255147387268203415427889018155564195146955680748577455569/1\ 2145758091044608083833133308993470937177338581363197181895*c_0101_2\ ^12 - 5582998231417526286351536684823127903368586317451125961733706\ 2648/12145758091044608083833133308993470937177338581363197181895*c_\ 0101_2^11 - 8317391117620856755294404387063418103105614927054528920\ 6760058031/24291516182089216167666266617986941874354677162726394363\ 790*c_0101_2^10 - 1323727962921172599713486656059593909108030872001\ 9186564371489781/24291516182089216167666266617986941874354677162726\ 394363790*c_0101_2^9 - 24149336653485002116723913679639390413046821\ 066537793801865396913/121457580910446080838331333089934709371773385\ 81363197181895*c_0101_2^8 + 167337678969708760296322973164997976077\ 9931559556880038158636345/48583032364178432335332533235973883748709\ 35432545278872758*c_0101_2^7 - 488976668983910669838135901315807262\ 702054776619451957825719451/127850085168890611408769824305194430917\ 6561955932968124410*c_0101_2^6 + 2782378099760823356583360206372277\ 17797302250915835565776637541/4858303236417843233533253323597388374\ 870935432545278872758*c_0101_2^5 + 764617868694018915003812151223546137768497533379618069630916963/242\ 91516182089216167666266617986941874354677162726394363790*c_0101_2^4 + 73532563411188337684773142969887548593079462681330643472985429/24\ 291516182089216167666266617986941874354677162726394363790*c_0101_2^\ 3 + 509969194145697915179854281518783227723383492267012413944155653\ /24291516182089216167666266617986941874354677162726394363790*c_0101\ _2^2 - 370612151162727114246618678860034734331867538502612772083223\ 97/24291516182089216167666266617986941874354677162726394363790*c_01\ 01_2 + 792875852944018159344426714090004662225802382846191199492355\ 77/24291516182089216167666266617986941874354677162726394363790, c_0011_0 - 1, c_0011_3 + 347117582091131036741369256899775996141976107499/13547518659\ 809220778611150537045627735741876473*c_0101_2^19 - 32032010532227787202083856611691114351852906978253/1354751865980922\ 0778611150537045627735741876473*c_0101_2^18 + 122190331909177371266082374257052555333501533635694/135475186598092\ 20778611150537045627735741876473*c_0101_2^17 + 42256909781840375164506903020809467623976234794128/1354751865980922\ 0778611150537045627735741876473*c_0101_2^16 - 125977750920260363335730001128155692744472522287132/135475186598092\ 20778611150537045627735741876473*c_0101_2^15 + 58949298379516151536254054883477872256432913542821/1354751865980922\ 0778611150537045627735741876473*c_0101_2^14 - 109854490353091510926171711211775194414182521447810/135475186598092\ 20778611150537045627735741876473*c_0101_2^13 - 56333626263445570966090358124141546441558710313994/1354751865980922\ 0778611150537045627735741876473*c_0101_2^12 - 47357910754569396516979943361375316457682126090497/1354751865980922\ 0778611150537045627735741876473*c_0101_2^11 - 43210028731954471039604220735176753065672326408681/1354751865980922\ 0778611150537045627735741876473*c_0101_2^10 - 7554564463625954052979462521791185007014123477785/13547518659809220\ 778611150537045627735741876473*c_0101_2^9 - 18498335790139691610971035590781162217473926900644/1354751865980922\ 0778611150537045627735741876473*c_0101_2^8 + 738803323337844178194488996354850396758301368723/135475186598092207\ 78611150537045627735741876473*c_0101_2^7 - 1208760899680689770301329272749099140228603282502/13547518659809220\ 778611150537045627735741876473*c_0101_2^6 - 37850682539148502059026337087168085755856075009/1354751865980922077\ 8611150537045627735741876473*c_0101_2^5 + 527539653978662331325152111133688967246283550235/135475186598092207\ 78611150537045627735741876473*c_0101_2^4 + 86163702783117647678294428204120849991363938564/1354751865980922077\ 8611150537045627735741876473*c_0101_2^3 + 181378164910294985895585732531849293131971976559/135475186598092207\ 78611150537045627735741876473*c_0101_2^2 - 6171250003070473867053504435369221567778821672/13547518659809220778\ 611150537045627735741876473*c_0101_2 + 13784176416797413368094557304137628191355318679/1354751865980922077\ 8611150537045627735741876473, c_0011_5 + 3397283557813330956454372236257815538526871425951074669716/1\ 27850085168890611408769824305194430917656195593296812441*c_0101_2^1\ 9 - 310408585884380162992764756353196201879039381572999125948269/12\ 7850085168890611408769824305194430917656195593296812441*c_0101_2^18 + 910452522966595693016698640623166229539527983720477313081798/1278\ 50085168890611408769824305194430917656195593296812441*c_0101_2^17 + 1505754039776427291380050186912044940509420795503756223096929/12785\ 0085168890611408769824305194430917656195593296812441*c_0101_2^16 - 840061379074483376340522172552998686754239788179838283175024/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^15 - 656317823163743684927688022843948021876925656316226650283228/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^14 - 623569297780089205683109531859517418247630021276084372033957/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^13 - 1441428067277843252947659805008592510211238309585454199196062/12785\ 0085168890611408769824305194430917656195593296812441*c_0101_2^12 - 958140122241781635200529044002723669642853141138282146867150/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^11 - 740232507253300993229196173117679123512144983355678048658740/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^10 - 357673634378998601565047477425970649432046900676806782109250/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^9 - 167984124483466253618381047917717136849385931205214201937846/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^8 - 96587505893308595195876894798825882076101895543479293033282/1278500\ 85168890611408769824305194430917656195593296812441*c_0101_2^7 + 16339198714816041414896354197597721552124676445462595764537/1278500\ 85168890611408769824305194430917656195593296812441*c_0101_2^6 + 6668861719273186381606306920591972305984870542239315102769/12785008\ 5168890611408769824305194430917656195593296812441*c_0101_2^5 + 7726326839407428885445240372090277086376209213597853468816/12785008\ 5168890611408769824305194430917656195593296812441*c_0101_2^4 + 5301687368753661955677945181614496227694063258517218291167/12785008\ 5168890611408769824305194430917656195593296812441*c_0101_2^3 + 1880271251175091935524026848797120447605908741667651956952/12785008\ 5168890611408769824305194430917656195593296812441*c_0101_2^2 + 996059711277501994123814206768829036550688133934024017997/127850085\ 168890611408769824305194430917656195593296812441*c_0101_2 - 48607304257638705979613000069434588393507363560312220043/1278500851\ 68890611408769824305194430917656195593296812441, c_0011_6 + 93248499325155680280260179997828519137085818386/135475186598\ 09220778611150537045627735741876473*c_0101_2^19 - 8558251775509784775101746721016866109114516360752/13547518659809220\ 778611150537045627735741876473*c_0101_2^18 + 28488906221322253049724795090563678466105737528672/1354751865980922\ 0778611150537045627735741876473*c_0101_2^17 + 30057004978164096678135735883908173393752212840158/1354751865980922\ 0778611150537045627735741876473*c_0101_2^16 - 35859720660887840870368121892038570147953257430803/1354751865980922\ 0778611150537045627735741876473*c_0101_2^15 - 7756658653426051832292210954090688121649441317740/13547518659809220\ 778611150537045627735741876473*c_0101_2^14 - 14110511175510173268256541004821584603965632480240/1354751865980922\ 0778611150537045627735741876473*c_0101_2^13 - 29420463010912307696348422548984071326338706678621/1354751865980922\ 0778611150537045627735741876473*c_0101_2^12 - 13777971396307661845612462952805823813717540857842/1354751865980922\ 0778611150537045627735741876473*c_0101_2^11 - 11757655218749741328085709473265132099859600571701/1354751865980922\ 0778611150537045627735741876473*c_0101_2^10 - 2674843795460152064765217322773811430943789413825/13547518659809220\ 778611150537045627735741876473*c_0101_2^9 - 2193163224993999367118023201416111936137916734054/13547518659809220\ 778611150537045627735741876473*c_0101_2^8 - 1096912362286091871503425007629363948237882365590/13547518659809220\ 778611150537045627735741876473*c_0101_2^7 + 957538495781404733159665359005985885001960775939/135475186598092207\ 78611150537045627735741876473*c_0101_2^6 + 20554962245171588173576426904468756414805735126/1354751865980922077\ 8611150537045627735741876473*c_0101_2^5 + 138453969959813256839770746853503701691088787469/135475186598092207\ 78611150537045627735741876473*c_0101_2^4 + 32596593991686500713736638269999417965631872454/1354751865980922077\ 8611150537045627735741876473*c_0101_2^3 + 30949900715439075302085801313223008111045985432/1354751865980922077\ 8611150537045627735741876473*c_0101_2^2 + 7510097915977528835586543012269049326934784475/13547518659809220778\ 611150537045627735741876473*c_0101_2 - 14371453645924136946954030400483538105201426334/1354751865980922077\ 8611150537045627735741876473, c_0101_0 + 5322002176597986855055637870338734746921823660367077875801/1\ 27850085168890611408769824305194430917656195593296812441*c_0101_2^1\ 9 - 485991827245668101913538432303523723370468424405100481538581/12\ 7850085168890611408769824305194430917656195593296812441*c_0101_2^18 + 1401286077513717254483897159407760007638670464336395590850136/127\ 850085168890611408769824305194430917656195593296812441*c_0101_2^17 + 2397932436769990701937728001378563567499710858759021892634162/12785\ 0085168890611408769824305194430917656195593296812441*c_0101_2^16 - 1080906637295332045882222494918637875787613509074874587994992/12785\ 0085168890611408769824305194430917656195593296812441*c_0101_2^15 - 949892782604627309091884824216686539443788731443568934705348/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^14 - 1170379404776164814463147138222641410912809537647546593455817/12785\ 0085168890611408769824305194430917656195593296812441*c_0101_2^13 - 2384713991917827924349007748352864063538227788301437612906055/12785\ 0085168890611408769824305194430917656195593296812441*c_0101_2^12 - 1673824519444686882195717325945601812609631507750380154089788/12785\ 0085168890611408769824305194430917656195593296812441*c_0101_2^11 - 1358993977906670802706521120574906887325734134952988967426662/12785\ 0085168890611408769824305194430917656195593296812441*c_0101_2^10 - 683987336147903356919724217774297299563774006274649611347925/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^9 - 331555400422717321670513884935112720478136857031006526506064/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^8 - 173508057551600006334291589283942650271809521280293285788807/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^7 + 17426156197644627242000359114982357056922575881402118711426/1278500\ 85168890611408769824305194430917656195593296812441*c_0101_2^6 + 10083666027934347485394601880956000560248177188890471746577/1278500\ 85168890611408769824305194430917656195593296812441*c_0101_2^5 + 16342222518768871865573477935749796200697390836767553886297/1278500\ 85168890611408769824305194430917656195593296812441*c_0101_2^4 + 10026533911712473132237094647534476386647172322663083411395/1278500\ 85168890611408769824305194430917656195593296812441*c_0101_2^3 + 3597072834206701233927914867028984228134592230453507974920/12785008\ 5168890611408769824305194430917656195593296812441*c_0101_2^2 + 1810168635823261203137665071153870745694458932905559392225/12785008\ 5168890611408769824305194430917656195593296812441*c_0101_2 - 57890276940894421304378185862143669020948178136381461946/1278500851\ 68890611408769824305194430917656195593296812441, c_0101_1 + 2627327480570448198810758083980873439082262476328372421223/1\ 27850085168890611408769824305194430917656195593296812441*c_0101_2^1\ 9 - 242110941168497050768727010807249212290239419772954485811221/12\ 7850085168890611408769824305194430917656195593296812441*c_0101_2^18 + 894094783358884143727609059614444863880764979928146844953072/1278\ 50085168890611408769824305194430917656195593296812441*c_0101_2^17 + 392127038588500877603115479602662452701002717166945338885554/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^16 - 708359574591489789517110499072531339452729274846288003779316/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^15 + 305773791203699862707020534112121525861916623357079095024409/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^14 - 1067621970766075771881861182642310463407703087234697474350105/12785\ 0085168890611408769824305194430917656195593296812441*c_0101_2^13 - 377463197956308996288087696232399945030212130644991790592310/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^12 - 528292529114923671730543500128226399314069735527212199842817/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^11 - 385915651031031639168700113182256659648367993200246498282388/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^10 - 67636876903592353930920025708829689076688243315762963446464/1278500\ 85168890611408769824305194430917656195593296812441*c_0101_2^9 - 140874558639031094542536867454164587579635049620331640887768/127850\ 085168890611408769824305194430917656195593296812441*c_0101_2^8 + 26867715101818503910753140514932909332658069218720480520225/1278500\ 85168890611408769824305194430917656195593296812441*c_0101_2^7 - 16170382530549430762313923689466210272274496451512991825542/1278500\ 85168890611408769824305194430917656195593296812441*c_0101_2^6 + 7106407877229850804546470043112771319090209990068856312083/12785008\ 5168890611408769824305194430917656195593296812441*c_0101_2^5 + 4828396369843041175956562592722903927292069064564979313726/12785008\ 5168890611408769824305194430917656195593296812441*c_0101_2^4 - 824866769448334717706880603418257768694272958665875480119/127850085\ 168890611408769824305194430917656195593296812441*c_0101_2^3 + 1257871536090881523378307080191569667775051455677944976393/12785008\ 5168890611408769824305194430917656195593296812441*c_0101_2^2 - 333432792615785568779452362669429354059180494395761833087/127850085\ 168890611408769824305194430917656195593296812441*c_0101_2 + 140364245703141122161506575487764377315494310267990557944/127850085\ 168890611408769824305194430917656195593296812441, c_0101_2^20 - 18796/203*c_0101_2^19 + 77332/203*c_0101_2^18 - 1643/203*c_0101_2^17 - 65931/203*c_0101_2^16 + 64223/203*c_0101_2^15 - 91569/203*c_0101_2^14 - 7151/203*c_0101_2^13 - 30517/203*c_0101_2^12 - 3574/29*c_0101_2^11 - 2223/203*c_0101_2^10 - 14908/203*c_0101_2^9 + 3043/203*c_0101_2^8 - 2794/203*c_0101_2^7 + 41/29*c_0101_2^6 + 333/203*c_0101_2^5 - 50/203*c_0101_2^4 + 181/203*c_0101_2^3 - 26/203*c_0101_2^2 + 4/29*c_0101_2 - 1/203 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB