1325 Reputation

18 years, 87 days

Assume facility....

@vv Assume facility DOES NOT do intermediate steps. To demonstrate:

restart;
# _EnvTry := true;  # useless
assume(a>0, b>0, a*b<1,c=a*b);
is(c>0),is(c<1);
is( (1 + sqrt(1-a^3*b^3))/(a*b) >0 ); # FAIL   ?
is( (1 + sqrt(1-a*b))/(a*b) >0 );     # FAIL   ?
is( (1 + sqrt(1-a^2*b^2)) >0 );       # false ??
is( (1 - sqrt(1-a^2*b^2)) >0 );       # false ??
is( (1 - sqrt(1-a*b)) >0 );           # true
is( (1 + sqrt(1-a*b)) >0 );           # true

restart;
# _EnvTry := true;  # useless
assume(a>0, b>0, a*b<1, c=a*b, c>0, c<1);
is(c>0), is(c<1);
is( (1 + sqrt(1-a^3*b^3))/(a*b) >0 ); # FAIL   ?
is( (1 + sqrt(1-a*b))/(a*b) >0 );     # FAIL   ?
is( (1 + sqrt(1-a^2*b^2)) >0 );       # false ??
is( (1 - sqrt(1-a^2*b^2)) >0 );       # false ??
is( (1 - sqrt(1-a*b)) >0 );           # true
is( (1 + sqrt(1-a*b)) >0 );           # true

No need to look....

The builtin command in Maple is the Maple language.

Applyrule works without the NULL....

applyrule([[]=Q, [Q]=Q],x);
eval['recurse'](x,[[]=Q, [Q]=Q]);

Rule set....

@sursumCorda Are you saying the rules can contain f=d and f=g simultaneously?

Galois group....

Note: allvalues(polyroots) will generate 72 different permutations of the roots. 72 matches the Galois group order.

Pictures....

A picture is not worth a thousand words. Upload a worksheet or copy the input text here.

@dharr Maybe using true in the index is a bad idea?

Canonicalize....

Seems I have no access to this routine. What happens when you replace q with Canonicalize(q, {x[1], x[2], x[3]}); ?

Simplier....

@dharr Interestingly convert(%, radical) simplifies the last RootOf even further.

@vv The statement used is incomplete. May still be useful.

Why symmetric?...

@Thomas Dean Of all the small groups order up to 25, these groups: [4, 2], [8, 5], [9, 2], [16, 14], [25, 2] fail the procedure MinimumPermutationRepresentationDegree. I think no group tested was a symmetric group and only these ones failed the procedure. Is it because all of these are squares or cubes? A weakness in programming?

Security options....

@Joe Riel The option compile=false does the trick. I do not see how I can succeed without it and not completely disable security.

First Maple....

@Carl Love According to Maple 5.4, I is a radical. It always was in Maple and in mathbooks. It no longer is...

Does the answer to type((-1)^(1/2), radical) tell you there is nothing wrong with Maple as is? What a bold failure.