I just realized that %%% (155) -> OrderedRing has OrderedSemiGroup
(155) false Isn´t that something we should correct? See attached patch. 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/914d06e5-6bb3-47af-9f75-3ff54dab5c86%40hemmecke.org.
From f4d93c657f77a9643192bbaa1b0c3e956c0b198d Mon Sep 17 00:00:00 2001 From: Ralf Hemmecke <[email protected]> Date: Sun, 22 Jun 2025 12:03:47 +0200 Subject: add OrderedMonoid to OrderedRing --- src/algebra/catdef.spad | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/algebra/catdef.spad b/src/algebra/catdef.spad index c7e5dedb..f7f6986f 100644 --- a/src/algebra/catdef.spad +++ b/src/algebra/catdef.spad @@ -1089,7 +1089,7 @@ OrderedMonoid() : Category == Join(OrderedSemiGroup, Monoid) ++ Axiom: ++ \spad{0<a and b<c => ab< ac} -OrderedRing() : Category == Join(OrderedAbelianGroup, Ring, +OrderedRing() : Category == Join(OrderedAbelianGroup, OrderedMonoid, Ring, CharacteristicZero) )abbrev category COMPAR Comparable -- 2.43.0
