Thanks, it works with the rational conversion in Maple 13. 

Thanks, it works with the rational conversion in Maple 13. 

Thanks for the work-around.

I'll submit an SCR.

Thanks for the work-around.

I'll submit an SCR.

Hello,

Thanks for checking it.

I don't see any installation problem. Anyway, I have Maple 13.0, I 'll check it with a newer version.

Hello,

Thanks for checking it.

I don't see any installation problem. Anyway, I have Maple 13.0, I 'll check it with a newer version.

There is a command for it in the Robert Israel's Advisor database.
Your example (without the line below the header):

chart([x,f(x)],[1,2,3,4,5],false);

There is a command for it in the Robert Israel's Advisor database.
Your example (without the line below the header):

chart([x,f(x)],[1,2,3,4,5],false);

The following packages can be found in the Application Centre:

"GANSO is a programming library for multivariate global and non-smooth nonlinear optimization."

"RanLip is a programming library to generate non-uniformly distributed random vectors with Lipschitz continuous densities".

"LibLip is a Maple toolbox, which provides many methods to interpolate scattered data (with or without preprocessing) by using only the data itself and one additional parameter - the Lipschitz constant (which is basically the upper bound on the slope of the function)."

Syrup "This Maple package, developed by Joe Riel, generates and solves the node equations for electric circuits symbolically."

etc.

Perhaps diff could have an option like int has the 'Allsolutions' to return piecewise.

I 'm not experienced with the theorem provers (like Isabelle, Coq, PVS) , I have just read about them.  So I wonder if they can check such properties?  Some of them have interface to Maple.

Thanks for your thinking on this issue. it is very interesting and valuable.

The following is also problematic and the constant function as well:

isconvex(1/(x*x))

Such new property would be also useful in Maple (convex, convace, strictly convex...).
It is pity that Maple doesn't have strong enough basic routines (like is etc.) .
Anyway the isconcave routine is simply to change expr to -expr in isconvex, isnt' it?

These work:

convert('Cos[\[Beta]]*Sin[\[Alpha]] - Cos[\[Alpha]]*Sin[\[Beta]]',FromMma)  ;

convert('Cos[\[beta]]*Sin[\[alpha]] - Cos[\[alpha]]*Sin[\[beta]]',FromMma)  ;

I am not familiar with the Mathematica syntax, but I think the problem is with the missing multiplication signs in your original example.

 

These work:

convert('Cos[\[Beta]]*Sin[\[Alpha]] - Cos[\[Alpha]]*Sin[\[Beta]]',FromMma)  ;

convert('Cos[\[beta]]*Sin[\[alpha]] - Cos[\[alpha]]*Sin[\[beta]]',FromMma)  ;

I am not familiar with the Mathematica syntax, but I think the problem is with the missing multiplication signs in your original example.

 

It seems to me that your Mathematica-expression is not in the correct syntax.
 

Perhaps you mean this:

convert('Cos[Beta]*Sin[Alpha] - Cos[Alpha]*Sin[Beta]',FromMma)  ;

combine(%);

sort(%);

It seems to me that your Mathematica-expression is not in the correct syntax.
 

Perhaps you mean this:

convert('Cos[Beta]*Sin[Alpha] - Cos[Alpha]*Sin[Beta]',FromMma)  ;

combine(%);

sort(%);