Martin Rubey wrote:
>
> Waldek, the branch cuts in the numeric code seem to differ from the HyperSpec.
> I know now how to implement unit tests, but I need to know which conventions
> we
> want to follow. I believe that the Common Lisp HyperSpec is a good choice,
> because it's a standard, and because Common Lisp is our underlying language.
> But I'll happily follow other conventions, if given.
>
I belive that conventions from HyperSpec are used in other languages,
so I want to follow HyperSpec. However, note that actually one
really should do a complex analysis exercise to theoretically determine
how given combination behaves. Tests are useful too, but IMHO a
reasonable test would take a bunch of curves which go trough some
large area, but do not intersect cuts and compute few hundreds
(or maybe thousends) of values and verify that result is
continuous up to reasonable accuracy. Similarely for a few curves
corssing/paralel to cuts (but checking for jumps when expected).
Alterantively/additionaly one can test all poits form apropriate
grid. I must admit that for me it would be easier to write such
tests without using unittesting package (is it possible to tell
the package name of test and result, but perform actual testing
"outside"?).
> > -- so, DFLOAT too behaves according to the hyperspec
>
> actually, only on the negative side. On the positive side we have
>
So, it seems that we have to look deeper int code. One possibility
is to have different version of routines for symbolic computation,
and different numerical one. The numerical version can test
the argument and (say for each quadrant) choose formula which
for this argument gives correct cuts.
Another problem is consistency of symbolic and numerical versions.
Some users exect this, so it would be nice to avoid inconsistency
if possible. But without conditional expressions this is
unsolvable problem...
--
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
-~----------~----~----~----~------~----~------~--~---
