On Mon, Jun 23, 2025 at 08:02:50AM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> On 6/23/25 02:00, Waldek Hebisch wrote:
> > I think that instead of
> >
> > if R has OrderedSemiGroup then
> > SemiRng
> > ....
> >
> > you need
> >
> > if R has OrderedSemiGroup and R has SemiRng then
> > SemiRng
> > ...
> >
> > That is SemiGroup and AbelianSemiGroup do not imply distributivity,
> > so SemiRng assert more than this.
>
> Ah, right. I was paying too much attention on minimality and missed that.
> Thanks.
>
> > Also, do you really mean Field without ordering restrictions for
> > unit?
>
> I also corrected this. There are two commits, because I pushed too early
> without realizing that there was still an error after the first patch. :-(
Looks OK now.
--
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/aFlDYLc7UIR_k3yN%40fricas.org.
