Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 1932718007] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0421 geometric_solution 4.47850526 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 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 -1 0 1 -1 0 0 1 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.662931606651 0.097797964840 0 0 2 2 0132 3201 2310 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 1 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 2.132092627790 0.643062444334 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.192320909892 0.573100788440 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306619008307 0.289964569283 5 3 5 6 2310 0132 3201 0132 0 0 0 0 0 0 1 -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 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.260516824644 1.171688461671 4 6 4 3 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.260516824644 1.171688461671 5 6 4 6 1023 2310 0132 3201 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 -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.180823689682 0.813264291418 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : 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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : negation(d['c_0101_1']), '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_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_5, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 10179681414584482975393339869133908380571262694076805876791045/7716\ 5764851495659310573025985193949526269531621510057536704*c_0110_6^28 + 10393143953492249131461489686973192048110861681557971954648851625\ /617326118811965274484584207881551596210156252972080460293632*c_011\ 0_6^26 - 9851438992528101180667842723416007383215672133967527418784\ 5199855/30866305940598263724229210394077579810507812648604023014681\ 6*c_0110_6^24 + 460904410018887767168496020257777034254760487106810\ 8790794559648865/61732611881196527448458420788155159621015625297208\ 0460293632*c_0110_6^22 - 287527953876806424652550042895378715368189\ 7924951569538031379737855/77165764851495659310573025985193949526269\ 531621510057536704*c_0110_6^20 + 2306232237995075207127468690182090\ 9009131611835938632905694005030837/30866305940598263724229210394077\ 5798105078126486040230146816*c_0110_6^18 - 4113614900217711269212220162757537326001185766961980492761444604977\ /38582882425747829655286512992596974763134765810755028768352*c_0110\ _6^16 + 16262063029168073656860449049940563201492565751681478432553\ 801027639/771657648514956593105730259851939495262695316215100575367\ 04*c_0110_6^14 - 49559724778303441531006896766205419567360525632522\ 850744049555883765/154331529702991318621146051970387899052539063243\ 020115073408*c_0110_6^12 + 1462133997413614309842682433793513360411\ 86006308911028095318901150017/6173261188119652744845842078815515962\ 10156252972080460293632*c_0110_6^10 - 1086221099113308850954698879793763627001924521007391686489686924515\ 7/154331529702991318621146051970387899052539063243020115073408*c_01\ 10_6^8 + 1383148130698032355809328071987618891879115990281826595887\ 247721971/308663059405982637242292103940775798105078126486040230146\ 816*c_0110_6^6 + 19356721398723632623604632451207179740021936186024\ 246290341054403/617326118811965274484584207881551596210156252972080\ 460293632*c_0110_6^4 + 48985041394147488189538934799005413080386256\ 418645218141266296369/617326118811965274484584207881551596210156252\ 972080460293632*c_0110_6^2 - 23530114425422263782129284525831672091\ 06436425525528306703548049/6173261188119652744845842078815515962101\ 56252972080460293632, c_0011_0 - 1, c_0011_2 - 480477169713366492666210729267183589603377201533736591841/96\ 45720606436957413821628248149243690783691452688757192088*c_0110_6^2\ 8 + 490321245126586066676333174001307704118159352921912649453589/77\ 165764851495659310573025985193949526269531621510057536704*c_0110_6^\ 26 - 4635097637113901783113482482933292918696024298842775011079825/\ 38582882425747829655286512992596974763134765810755028768352*c_0110_\ 6^24 + 216988949328685964642356661396187882286917384007906728860941\ 353/77165764851495659310573025985193949526269531621510057536704*c_0\ 110_6^22 - 13408386851844806442921606849747236008280723599267416275\ 0732577/9645720606436957413821628248149243690783691452688757192088*\ c_0110_6^20 + 10566102393208776697646115921991397492582830249509722\ 34969411593/3858288242574782965528651299259697476313476581075502876\ 8352*c_0110_6^18 - 372876134263827210778575960411073005375733397137\ 102056056432895/964572060643695741382162824814924369078369145268875\ 7192088*c_0110_6^16 + 372996792820870455300049176778732588863011812\ 077482390452304493/482286030321847870691081412407462184539184572634\ 4378596044*c_0110_6^14 - 225160655504031076907529918100947982043839\ 2389958476114115706387/19291441212873914827643256496298487381567382\ 905377514384176*c_0110_6^12 + 6378222851254916834686840932076176179\ 624430413145864912588854389/771657648514956593105730259851939495262\ 69531621510057536704*c_0110_6^10 - 211990371564525581451771227719410482959865703818478885578228335/964\ 5720606436957413821628248149243690783691452688757192088*c_0110_6^8 + 22259255964493173721921187583540708839825410666822482931514045/3858\ 2882425747829655286512992596974763134765810755028768352*c_0110_6^6 + 1867972723861011071268733773255570005959094037318044614687099/77165\ 764851495659310573025985193949526269531621510057536704*c_0110_6^4 + 2233831680750554752758786101444598816662000955491098177018733/77165\ 764851495659310573025985193949526269531621510057536704*c_0110_6^2 - 33389808465537618436016403223850404595667213462936480037257/7716576\ 4851495659310573025985193949526269531621510057536704, c_0011_5 + 32146874061210830509301302772554634199553809040218883723/120\ 5715075804619676727703531018655461347961431586094649011*c_0110_6^28 - 32807661715597220149328472744127958441372005806103767916527/96457\ 20606436957413821628248149243690783691452688757192088*c_0110_6^26 + 620509714679096952079124971478263583981065203242443540688103/964572\ 0606436957413821628248149243690783691452688757192088*c_0110_6^24 - 1815409069379301909810539621244158892837984186138527157088568/12057\ 15075804619676727703531018655461347961431586094649011*c_0110_6^22 + 17973336669876476934234792565191822187854182107537878936953791/2411\ 430151609239353455407062037310922695922863172189298022*c_0110_6^20 - 71032736565851126847972345096380848018923725833945891481548457/4822\ 860303218478706910814124074621845391845726344378596044*c_0110_6^18 + 100560079412747343884538043123003042939135797896294618686234447/482\ 2860303218478706910814124074621845391845726344378596044*c_0110_6^16 - 200796794960875686820704400454222780065967204730769628330552397/4\ 822860303218478706910814124074621845391845726344378596044*c_0110_6^\ 14 + 30339996828541258809797692963245483252267743338154357863325146\ 5/4822860303218478706910814124074621845391845726344378596044*c_0110\ _6^12 - 43365169740373645962967326608853703468300923513217382050775\ 1477/9645720606436957413821628248149243690783691452688757192088*c_0\ 110_6^10 + 11962972196983302403105998062962443538769251983900069135\ 5824731/9645720606436957413821628248149243690783691452688757192088*\ c_0110_6^8 - 542450990954069462989555701918338962258133019132899729\ 4813711/9645720606436957413821628248149243690783691452688757192088*\ c_0110_6^6 + 444949321182694474130114597552548587273285293604883324\ 71787/2411430151609239353455407062037310922695922863172189298022*c_\ 0110_6^4 - 14788486588755868869086228024975645822081026067686860988\ 7743/9645720606436957413821628248149243690783691452688757192088*c_0\ 110_6^2 + 501909189010413730458450992258681867252935834838018383783\ /2411430151609239353455407062037310922695922863172189298022, c_0101_0 - 1057472676568632374342547606549265470086166385108707323541/9\ 645720606436957413821628248149243690783691452688757192088*c_0110_6^\ 29 + 1080129216896274109996307232225117182663107861950359964909977/\ 77165764851495659310573025985193949526269531621510057536704*c_0110_\ 6^27 - 102645000987802865338233909519110158594013944678470580528377\ 21/38582882425747829655286512992596974763134765810755028768352*c_01\ 10_6^25 + 479957696846325359768383722606871368222309659971136003353\ 752149/77165764851495659310573025985193949526269531621510057536704*\ c_0110_6^23 - 30209751164430997100386130286352006463478252401310164\ 5868855953/96457206064369574138216282481492436907836914526887571920\ 88*c_0110_6^21 + 24639950183544993636971110405940597916120200422831\ 03056181076269/3858288242574782965528651299259697476313476581075502\ 8768352*c_0110_6^19 - 888995110325326988105600137331885964840105072\ 279738587971137081/964572060643695741382162824814924369078369145268\ 8757192088*c_0110_6^17 + 217292007036959780658079600091058995159526\ 296616252713238960818/120571507580461967672770353101865546134796143\ 1586094649011*c_0110_6^15 - 534156862954275842505846687851520136619\ 7495535832691647798369291/19291441212873914827643256496298487381567\ 382905377514384176*c_0110_6^13 + 1637039999498664840582377835314701\ 2142206074537553277866356831241/77165764851495659310573025985193949\ 526269531621510057536704*c_0110_6^11 - 336816475386826336682084689272816031800468451572370935210951457/482\ 2860303218478706910814124074621845391845726344378596044*c_0110_6^9 + 273148049486813904906888984109761527488635736665917063601746829/385\ 82882425747829655286512992596974763134765810755028768352*c_0110_6^7 - 13137190971845272713360117633769300891511455564352051418792305/77\ 165764851495659310573025985193949526269531621510057536704*c_0110_6^\ 5 + 5346320304443064981355585243058669083700935308315104613289537/7\ 7165764851495659310573025985193949526269531621510057536704*c_0110_6\ ^3 - 649313765098338640819943926407864797822353317758596370383189/7\ 7165764851495659310573025985193949526269531621510057536704*c_0110_6\ , c_0101_1 + 373300159627729745671381324314381468909992877684118239415/12\ 05715075804619676727703531018655461347961431586094649011*c_0110_6^2\ 9 - 381181265034251169053750000590538585569818645142544370952695/96\ 45720606436957413821628248149243690783691452688757192088*c_0110_6^2\ 7 + 14464100400196015708305061781159491390836422352290830834196573/\ 19291441212873914827643256496298487381567382905377514384176*c_0110_\ 6^25 - 338294379192387713476224904926890282557338843141767325388915\ 823/19291441212873914827643256496298487381567382905377514384176*c_0\ 110_6^23 + 42326162173382030459547536922444388807284763570975485920\ 4926121/4822860303218478706910814124074621845391845726344378596044*\ c_0110_6^21 - 21329401715077918673886173023521193239464301971859226\ 3735426028/12057150758046196767277035310186554613479614315860946490\ 11*c_0110_6^19 + 24431088629896381589305877568805437988669724210487\ 09051918076395/9645720606436957413821628248149243690783691452688757\ 192088*c_0110_6^17 - 4812408536390435210974971007557391364310569691\ 222182054524390473/964572060643695741382162824814924369078369145268\ 8757192088*c_0110_6^15 + 735281521508746395618038329766075234781842\ 3072448681404493300475/96457206064369574138216282481492436907836914\ 52688757192088*c_0110_6^13 - 27438928549246423546876952316392776278\ 59852549338721342410869549/4822860303218478706910814124074621845391\ 845726344378596044*c_0110_6^11 + 3365936819234581771581615313062844\ 532407007316900988978443921355/192914412128739148276432564962984873\ 81567382905377514384176*c_0110_6^9 - 251400936425252706152897714601380097279587243955581633073257457/192\ 91441212873914827643256496298487381567382905377514384176*c_0110_6^7 + 956205680546780229519590212624631114777472922724868519813803/1929\ 1441212873914827643256496298487381567382905377514384176*c_0110_6^5 - 2015855817705750424420449480422669005152980595691364391640937/96457\ 20606436957413821628248149243690783691452688757192088*c_0110_6^3 + 243646380894291982586231087695380529294725880050266508756115/192914\ 41212873914827643256496298487381567382905377514384176*c_0110_6, c_0101_3 - 27378180801101868479396050979534258840030942037208289494/120\ 5715075804619676727703531018655461347961431586094649011*c_0110_6^29 + 13993058525082056735688260441494123411958645167081917710407/48228\ 60303218478706910814124074621845391845726344378596044*c_0110_6^27 - 133556166047168278966064162482652284155452713582438924221901/241143\ 0151609239353455407062037310922695922863172189298022*c_0110_6^25 + 6238901523918502674547790424025304879731590643423515594047291/48228\ 60303218478706910814124074621845391845726344378596044*c_0110_6^23 - 7972304590712458232117612902580604679480424562534149659381439/12057\ 15075804619676727703531018655461347961431586094649011*c_0110_6^21 + 33398286214660809988185729821183130454918914322081443487615311/2411\ 430151609239353455407062037310922695922863172189298022*c_0110_6^19 - 24519415582583567355572471949724656225784076624040827328972526/1205\ 715075804619676727703531018655461347961431586094649011*c_0110_6^17 + 47167208170857550366688716886587745721852975423823315564742612/1205\ 715075804619676727703531018655461347961431586094649011*c_0110_6^15 - 73423403517201642112419268940640543734616809187360397352225816/1205\ 715075804619676727703531018655461347961431586094649011*c_0110_6^13 + 237833518929980739613209978150307531676388873515104431159472547/482\ 2860303218478706910814124074621845391845726344378596044*c_0110_6^11 - 22274721384467479306122177073180927271001012296458155256901549/12\ 05715075804619676727703531018655461347961431586094649011*c_0110_6^9 + 6651951254586225412790813971850581080834781648391288419467293/241\ 1430151609239353455407062037310922695922863172189298022*c_0110_6^7 - 758338160558387998583874188286903702802627631069189402093767/482286\ 0303218478706910814124074621845391845726344378596044*c_0110_6^5 + 39190599446378158378574867964770966095309629753331576728947/4822860\ 303218478706910814124074621845391845726344378596044*c_0110_6^3 - 18178363415700831604009149569120880706014055752814272867187/4822860\ 303218478706910814124074621845391845726344378596044*c_0110_6, c_0110_6^30 - 1021/8*c_0110_6^28 + 19359/8*c_0110_6^26 - 452843/8*c_0110_6^24 + 2261353/8*c_0110_6^22 - 2269869/4*c_0110_6^20 + 3241613/4*c_0110_6^18 - 1600669*c_0110_6^16 + 4880927/2*c_0110_6^14 - 14439457/8*c_0110_6^12 + 4325877/8*c_0110_6^10 - 145121/4*c_0110_6^8 - 97/8*c_0110_6^6 - 2453/4*c_0110_6^4 + 127/4*c_0110_6^2 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB