Christian Wolinski

MaplePrimes Activity


These are questions asked by Christian Wolinski

Is there a Maple function that given a set of substitutions in form object=set of substitute objects produces a sequence of sets, each a product of substitution from the next, remove repetitions. An example:

 

#Substitutions
a = {b, c, d}, b = {a, b, e}, c = {a, d, f};
#Result
a = ({e, f}, {b, c, d}), b = ({f}, {c, d}, {a, b, e}), c = ({e}, {b}, {a, d, f});

sqrt(5) gives sqrt(5)

sqrt(1+sqrt(5)) gives "You have entered an invalid Maple expression"

sqrt(u) gives sqrt(u)

sqrt(1+u); gives "You have entered an invalid Maple expression"

 

when using the Maple Math icon. How can I get the correct input for the two expressions?

What does one use to duplicate a procedure along with its remember table, so that they are distinct instances of said?

I am trying to obtain the splitting field of New_polyq. evala@AFactor did not complete. Applying splitting sequentially produced independent extensions from the first 2 (3?) factors. evala@Indep did not complete for the union of all 4 extensions.

What libraries would handle this better?

restart; _EnvExplicit:=false;interface(labelwidth=200);
Rho_polys:=rho[3,1]^3-2, rho[3,2]^2+rho[3,2]*rho[3,1]+rho[3,1]^2, 2*rho[6,1]^3+rho[6,1]^6-2, rho[12,1]^2+rho[6,1]^2-1, 2*rho[12,2]^2-rho[6,1]^2*rho[3,2]*rho[3,1]^2-2*rho[6,1]^2-2;
New_poly:=1/16*(-rho[6,1]^4*rho[3,2]*rho[3,1]-2-rho[3,1]^2*rho[6,1]^4-2*rho[6,1]*rho[3,2]*rho[3,1]-2*rho[3,1]^2*rho[6,1]+2*lambda^2)*(rho[6,1]^4*rho[3,2]*rho[3,1]+2*rho[6,1]*rho[3,2]*rho[3,1]-2+2*lambda^2)*(-2+2*rho[3,1]^2*rho[6,1]+rho[3,1]^2*rho[6,1]^4+2*lambda^2)*(-2+rho[6,1]^2*rho[3,2]*rho[3,1]^2+2*lambda^2);
sol:=solve({Rho_polys});
alias(op(sol));
New_polyq:=subs(sol,New_poly);

This may be a trivial question, but does this factor fully with the newer versions of Maple, say at 900 digits?

 

Digits:=900;

rho_poly := -2201506283520*rho^32+(-17612050268160+104204630753280*I)*rho^31+(2237195146493952+737798139150336*I)*rho^30+(14065203494780928-29153528496783360*I)*rho^29+(-260893325886750720-161432056834818048*I)*rho^28+(-1240991775275876352+1727517243589263360*I)*rho^27+(8952004373272068096+6696323263091441664*I)*rho^26+(25553042370906292224-37948239682297921536*I)*rho^25+(-135024511500569280512-65293199430849134592*I)*rho^24+(-79740262928225402880+401487130320847241216*I)*rho^23+(956745211126674882560-164797793704574713856*I)*rho^22+(-1213375867282228772864-1655554058430246551552*I)*rho^21+(-1483956336776821211136+3604946201834409820160*I)*rho^20+(6525094787202650144768-1597915397190007586816*I)*rho^19+(-8575469412912592879616-6168391294117580865536*I)*rho^18+(2408139380338842796032+15004449784317106323456*I)*rho^17+(10583091471310114717696-17047513330720373194752*I)*rho^16+(-22619716982813548707840+8898637295768494915584*I)*rho^15+(26538067620972845277184+5129530051326543351808*I)*rho^14+(-21415800164460070789120-17268159356969925234688*I)*rho^13+(11916012071577094946816+22601135173030541677568*I)*rho^12+(-3551246770922037813248-21229478915196610975744*I)*rho^11+(-977434486760953073664+16249214903618313346048*I)*rho^10+(1977414870691507931136-10721551032564274826240*I)*rho^9+(-1197394212949208115968+6172794574205050632192*I)*rho^8+(280273257275327368320-2996290081120136529792*I)*rho^7+(108849195761508531648+1152454823926345101504*I)*rho^6+(-119736267114490955904-327757949185254534784*I)*rho^5+(49149411853848597568+63563541902968683712*I)*rho^4+(-11524495997215059744-7307364351434838944*I)*rho^3+(1585189353379709888+299568910286253408*I)*rho^2+(-116032795768295808+25487628220230528*I)*rho+3299863116538269-2454681763039104*I;;

5 6 7 Page 7 of 7