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
>
> Ralf
BTW, did you think about making it a bit more general? IIUC
addition works the same for OrderedAbelianSemiGroup, subtraction
probably needs OrderedAbelianGroup, multiplicative operations
should work for Join(OrderedAbelianSemiGroup, SemiRng).
Also, AFAICS when you have Ring as an argument, then the result
is valid SemiRing.
This just a suggestion, if you do not want to generalize, then
it is fine.
--
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/aFXaZOFX5Vsmd6QY%40fricas.org.
