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?
Ralf
--
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/daaa49a8-699f-4737-928a-de8c36bab41a%40hemmecke.org.
