On Mon, Jun 23, 2025 at 12:29:20AM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> On 6/21/25 00:02, Waldek Hebisch wrote:
> > BTW, did you think about making it a bit more general?....
> > Also, AFAICS when you have Ring as an argument, then the result
> > is valid SemiRing.
>
> I've just tried to make AIntervalCategory more general.
>
> I hope I got the conditions and export categories correct.
> Would be nice if someone could re-check.
>
> https://github.com/fricas/fricas/pull/200
ATM I did not look at conditions and categories. However,
I have noticed a different issue. Namely, Interval is
supposed to be an implementation of interval artithmetic.
Which means that interval obtained as result of
interval arithmetic is supposed to contain interval
computed using infinitely precise artithmtic. Since
operations in Float are approximate it means that
results of arithmetic operations on intervals need to be
enlarged to compensate for effect of rounding. This
is done by use of roundUp and roundDown in qinterval.
I did not check if roundUp and roundDown _always_ lead
to correct result, but without them results are clearly
incorrect.
So, most of operations in Interval should stay the same.
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/aFiQLW7GQ2_TPU3n%40fricas.org.
