1 | initial version |
Though it is not created for that purpose, you can use interval arithmetics:
sage: f(x) = abs(x) - 4
sage: a = RIF(-infinity,infinity) ; a
[-infinity .. +infinity]
sage: a.parent()
Real Interval Field with 53 bits of precision
sage: f(a)
[-4.0000000000000000 .. +infinity]
Here you get the exact result, but note that in general, you will only get an interval that contains the image of the function.