Waldek Hebisch <[EMAIL PROTECTED]> writes: > 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.
OK, I suggest that - since fixing things will take some time, that I test as much as I can. I guess that many tests will fail, and this will also depend on the underlying lisp, see below for an example. I'll provide "expected" statistics for 32 bit sbcl and 32 bit gcl. It should be easier to improve the functions with the test available. I'll go for the conventions in the HyperSpec. > > 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. OK. I'll provide tests for some special values anyway, we may want to include them later. I'll try to commit tonight. Martin --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
