## 1505 Reputation

19 years, 107 days

## Minimal....

@Jesús Guillera How do you define minimal?

## Files....

Can you post screenshots? Please do not post arbitrary file types on the forum.

## FAIL result....

I receive a result of FAIL in Maple 2017 for the following:

is(m > 0) assuming n>1, m>n*(n-1)/2;

## 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.