Christian Wolinski

MaplePrimes Activity


These are replies submitted by Christian Wolinski

@Jesús Guillera How do you define minimal?

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

              

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

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


          

@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

 

The builtin command in Maple is the Maple language.

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

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

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

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?

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

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

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

1 2 3 4 5 6 7 Last Page 2 of 20