Maybe I do not know much about interval arithmetic, but Interval
https://fricas.github.io/api/Interval.html
claims to be a Ring and so should fulfil the ring axioms.
%%% (1) -> ii:=interval(-2.0,7.0)$Interval(Float)
(1) [- 2.0, 7.0]
Type: Interval(Float)
%%% (2) -> ii*ii*ii
(2) [- 98.0000000000_00000003, 343.0000000000_0000001]
Type: Interval(Float)
%%% (3) -> ii^3
(3) [- 8.0000000000_000000002, 343.0000000000_0000001]
Type: Interval(Float)
Of course,
%%% (5) -> ii^2
(5) [0.0, 49.0000000000_00000001]
Type: Interval(Float)
makes sense in terms of interval arithmetic, but we shouldn't export
GcdDomain. I have nothing against exporting functions with the same name
(^ in this case), but they shouldn't come in the context of being
inherited from Ring if they do not fulfil the axioms.
Discussion open.
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/92984771-2a21-461b-b424-86a843ea28e4%40hemmecke.org.
