An XCas question....

[DrD]

Yes, I totally agree. From a user standpoint, the results are often not ready for practical use, in that simplified results still need to be further simplified. This is arguable, for sure, but I just encountered this one, as one quick example:

[attachment=5253]

CAS leaves the derivative alone in the coth'() term. By hand, I get:

diff(coth(cosh(2*x)),x); ==> -2*csch(cosh(2*x))^2 * sinh(2*x)

(If I haven't introduced any typo's), the problem is difficult enough. The need for further work to match the CAS result with the hand result just adds another layer for potential mistakes. As only an example, I have encountered many similar distractions, and I think I understand the barriers that the CAS must overcome, i.e., by not using tables, French vs American approaches, and equivalent representations, etc.

The [a b/c] key is very useful for its current purpose. Perhaps, this key could be also used to re-state displayed function results as well. This is what I mean by, "the technology demand is ahead of the prime," yet, it is something that could be achieved, given sufficient priority.