How can I set the domain and the codomain of my x?

Posted on 2007-12-21 22:34 By Schups (0)

Categories:

I'm pretty new here, in maple and I think I'm not very good in math too but I would like to discover how to limit or set the domain of my x.

Example:

sin(x);

I would like to set the type of the x to N (natural) and the type resulting to R (real).

But after hours and hours of searches on google I subscribed to ask this to you, gentlemen :P

Thank you everyone

RealDomain

Comment on 2007-12-22 00:04 from gkokovidis ( Maple Rating 4

700)

Take a look at the help page for the RealDomain package.

>?RealDomain

You can load the package and use it as follows:

>with(RealDomain);

There are examples included. Once the package is loaded, you can access each of the functions using the :- prefix.

Regards,
Georgios Kokovidis
Dräger Medical

assume

Comment on 2007-12-22 00:52 from acer ( Maple Rating 4

1410)

Here's the default, usual situation in Maple,

> restart:

> about(x);
x:
  nothing known about this object

> is(sin(x),real);
                                     false

You can put assumptions on x, which is a sort of restriction of the domain when x is used as an argument of a function.

> assume(x::nonnegint);

> about(x);
Originally x, renamed x~:
  is assumed to be: AndProp(integer,RealRange(0,infinity))
 
> is(sin(x),real);
                                     true

acer