On Fri, Jun 20, 2025 at 10:55:32PM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> Hi Waldek,
>
> I've just created a pull request factoring out some interval arithmetic that
> is not necessarily bound to floating point operatioons.
>
> https://github.com/fricas/fricas/pull/200
>
> If you accept, I will reformat to fit the FriCAS style, i.e. using
>
> foo : Type
>
> instead of
>
> foo: Type
Looks good. But I have some doubt about 'error?'. Namely,
various q-functions allow doing things without checking,
so 'qinterval' in principle may create an interval where
lower bound is bigger than the upper bound. But usual
convention is that it is responsibility of user of
q-functions to ensure that arguments are valid. And other
functions just assume that they deal with valid things.
Do you intend/need to create invalid intervals? If not,
then 'error?' looks redundant.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/aFXW1rkadmfLyczk%40fricas.org.
