On Sun, Jun 22, 2025 at 12:31:52PM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> I just realized that
>
> %%% (155) -> OrderedRing has OrderedSemiGroup
>
> (155) false
>
> Isn´t that something we should correct?
>
> See attached patch.
Yes. Please commit.
--
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/aFf_SqiTxVDQ2BfU%40fricas.org.
