On 6/23/25 02:00, Waldek Hebisch wrote:
I think that instead ofif 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. :-(
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/1170182b-b84c-449f-b682-9555a8610a72%40hemmecke.org.
