On Sun, Jun 22, 2025 at 12:43:21PM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> We have a view places where the introduction of OrderedField would make
> sense?
>
> Opinions?
I tried to avoid having too many categories. Mathematically
OrderedField does not say more than Join(Field, OrderedRing).
But Spad compiler distinguishes the two, if you require
OrderedField for an argument, then Join(Field, OrderedRing)
is not enough. So requiring OrderedField we need to assert
it explicitely. Note that it does not work well with conditional
exports, we would need extra conditional rules for OrderedField
while currently rules for OrderedRing and Field are enough.
This probably does not make much difference for ordered fields,
but as a general rule due to propagation of conditions longish
Join-s in domain conditions are preferable to "shortcuts" like
OrderedField.
--
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/aFf2PSKwGvnCm4Oe%40fricas.org.
