On Sat, Jun 21, 2025 at 01:11:12PM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> While looking into the generalization of AInterval, I realized that abs is
> defined in OrderedRing.
>
> https://fricas.github.io/api/OrderedRing.html#index-1
>
> Technically, it would be OK to define it already in OrderedAbelianGroup.
>
> Basically the definition is
>
> abs(x) == if x>0 then x else -x
>
> so why is there need to have a multiplication in the structure?
Right, current location of abs is a historical artifact.
--
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/aFaUDOQK6bfwFk-o%40fricas.org.
