On 5/13/26 04:19, Qian Yun wrote:
If Interval supports negative fraction power, then it should
support negative integer power.
If Interval supports negative integer power (inverse),
then it's natural to support division.
Where do we draw the line to stop?
Usefulness.
I implemented AInteval, because we didn't have it before and I needed
interval computation for rational numbers.
I have no problem with adding ^:(%,Integer)->% (and default
implementation in AIntervalCategory) (division is already there) and
generalizing from Field to DivisionRing.
However, do you have a concrete usecase for intervals in a DivisionRing?
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 [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/5d83657c-a3fe-45b9-98c4-4230fb216539%40hemmecke.org.
