On Mon, Jun 23, 2025 at 12:29:20AM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> On 6/21/25 00:02, Waldek Hebisch wrote:
> > BTW, did you think about making it a bit more general?....
> > Also, AFAICS when you have Ring as an argument, then the result
> > is valid SemiRing.
>
> I've just tried to make AIntervalCategory more general.
>
> I hope I got the conditions and export categories correct.
> Would be nice if someone could re-check.
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.
Similarly for OrderedMonoid.
Also, do you really mean Field without ordering restrictions for
unit?, inv and '/'? AFAICS on any field one can introduce
structure of OrderedAbelianGroup by using a well-ordered basis
over rational numbers and lexicograpic order on corresonding
vectors. But a lot of fields do not have order consitent
with field operations.
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/aFiZKJi94s214KRJ%40fricas.org.
