-----maxima-bounces at math.utexas.edu wrote: -----
>To: maxima at math.utexas.edu
>From: Yigal Asnis
>Sent by: maxima-bounces at math.utexas.edu
>Date: 09/10/2007 02:20AM
>Subject: Definition domain of real function
>
>Hi,
>
>Is there function or package in Maxima that can define definition domain
>of real function, e.g. for y(x) = 1/(sqrt(x)-2) => x=[0,4[ , ]4,inf] or I
>need to build one?
>
No, Maxima doesn't have a function that determines the natural domain
of a function. Further, Maxima doesn't have any support for non-finite
sets (real intervals, for example). Just to represent and manipulate
the domain of the tangent function (for example), you'll need to build
quite a bit of machinery.
You'll also run into limitations with Maxima's solve function; for
example, Maxima is unable to solve abs(x-1) - 6 = 0. So
your program won't be able to determine the natural domain of
1 / (abs(x-1) - 6) (unless you also improve solve :)
BW