You may not want to load RealDomain at the beginning of your worksheet.
There are significant parts of Maple that depend on being able to work in the complex domain. I prefer to be more surgical in my use of RealDomain. As illustrated in the earlier response to your post, the
use RealDomain in ... end use
style is my preferred usage.
The use statement is relatively new to Maple and many users have yet to discover it or to adapt their usage to include it. I hope questions like yours can help to spread the word.
Doug
---------------------------------------------------------------------
Douglas B. Meade <><
Math, USC, Columbia, SC 29208 E-mail: mailto:meade@math.sc.edu
Phone: (803) 777-6183 URL: http://www.math.sc.ed
> with(student): with(RealDomain):
> F := int(sqrt(u),u=0..t^10);
5 15
F := 2/3 csgn(t ) t
> simplify(F) assuming t::real;
15
2/3 | t |
> df := diff(F,t);
5 15 5 14
df := 2/3 csgn(1, t ) t + 10 csgn(t ) t
> evalc(df);
5 14
10 signum(t) t
> simplify(%) assuming t::real;
13
10 | t | t
Maple also came up with the following, though it took much longer than it ought to have done.
> F := int(sqrt(u),u=0..t^10) assuming t::real;
15
F := 2/3 t signum(t)
I originally gave a flippant answer to this question. But, under the RealDomain environment, the assumption that t is real doesn't seem strained. Also, Maple didn't seem able to simplify(df) nicely and immediately under the assumption that t was real. Hence I made intermediate use of evalc. Having to use `assuming` and evalc underneath RealDomain doesn't look so good.
use RealDomain
It can be done this way:
use RealDomain in limit(Int(x^(-1/3),x=-1..b),b=0,left) end; -3/2YOU THE MAN ! i now
YOU THE MAN !
i now have
with(RealDomain):
at the start of my worksheet.
thanks.
use and with
You may not want to load RealDomain at the beginning of your worksheet.
There are significant parts of Maple that depend on being able to work in the complex domain. I prefer to be more surgical in my use of RealDomain. As illustrated in the earlier response to your post, the
style is my preferred usage.
The use statement is relatively new to Maple and many users have yet to discover it or to adapt their usage to include it. I hope questions like yours can help to spread the word.
Doug
understood. now can i ask
understood.
now can i ask you, how do i get rid of the "csgn" in the below ? it only happens with 1/3 of the variations of this exercise. thanks.
sorry
Sorry, I answered this out of order.
acer
assumption on t
Try this,
> with(student): with(RealDomain): > F := int(sqrt(u),u=0..t^10); 5 15 F := 2/3 csgn(t ) t > simplify(F) assuming t::real; 15 2/3 | t | > df := diff(F,t); 5 15 5 14 df := 2/3 csgn(1, t ) t + 10 csgn(t ) t > evalc(df); 5 14 10 signum(t) t > simplify(%) assuming t::real; 13 10 | t | tMaple also came up with the following, though it took much longer than it ought to have done.
> F := int(sqrt(u),u=0..t^10) assuming t::real; 15 F := 2/3 t signum(t)I originally gave a flippant answer to this question. But, under the RealDomain environment, the assumption that t is real doesn't seem strained. Also, Maple didn't seem able to simplify(df) nicely and immediately under the assumption that t was real. Hence I made intermediate use of evalc. Having to use `assuming` and evalc underneath RealDomain doesn't look so good.
acer
that did it man. thanks.
that did it man. thanks.