Martin Rubey wrote:
>
> One and half a question:
>
> 1) Do we want *in principle* that for Complex Float's x0
>
> eval(normalize f x, x, x0) = complexNumeric f x0
>
> ?
>
normalize is supposed to simplify exp(log(x)), log(exp(x)), tan(atan(x)),
etc to x, so the equality above will be violated. However, I
would like to violate it only when necessary.
> 1.5) What should I test for atan$EXPR INT, asin$EXPR INT, ... and friends?
> Those special values I can find in the source?
>
> My plan is to move the contents of elemfun, elemnum and float2 into
> trigcat.spad.pamphlet. I will then also include the specification of the
> branch cuts and singularities in the docstrings. The tests fit nicely, I
> think, although they can certainly be improved.
>
There is little (derivative, special values, inverses) to test
_just for_ atan, asin, etc: normally we are supposed to get a kernel.
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
