Oh! AInterval supports Fraction. I never realized that. There's no concrete usecase for ^ and / in Interval, as I said, just concerns about consistency.
- Qian On 5/13/26 2:38 PM, 'Ralf Hemmecke' via FriCAS - computer algebra system wrote: > 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/386ce660-9509-4802-8b7c-648ed18e61bd%40gmail.com.
