On 5/13/26 10:07 AM, Waldek Hebisch wrote: >> >> About Exports: "^ : (%, Integer) -> %" is naturally expressed in >> DivisionRing. I think it's ok for Interval to have this category. >> The original authors intention is to stop at Field? > > Note that Interval requires FloatingPointSystem, that is Field. > And that was clearly the intent. Also, sound use of Interval > requires directed rounding. If you want more general domains, > then you get different thing, like AInterval. >
Just to be clear, I am worried about consistency here: 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? - Qian -- 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/c121ea14-552a-498d-8ae5-10fd39bfaea9%40gmail.com.
