Carl Love

Carl Love

27666 Reputation

25 Badges

12 years, 130 days
Himself
Wayland, Massachusetts, United States
My name was formerly Carl Devore.

MaplePrimes Activity


These are replies submitted by Carl Love

@Alejandro Jakubi I decided against making a separate Question, because I now understand what's going on. By mapping simplify, I meant something a bit more elaborate:

map(simplify, J) assuming y>0, y<1;

Here's a worksheet with a simplified example of the situation. Basically, I wanted to know why generic f and Int behave differently with respect to a mapped simplify with assuming. But I understand now.

 

e:= f(csgn(x)+(x-1)*(x+1), x= 0..1);

f(csgn(x)+(x-1)*(x+1), x = 0 .. 1)

simplify(e);

f(csgn(x)+x^2-1, x = 0 .. 1)

simplify(e) assuming x>0;

f(x^2, x = 0 .. 1)

map(simplify, e);

f(csgn(x)+x^2-1, x = 0 .. 1)

map(simplify, e) assuming x>0;

f(x^2, x = 0 .. 1)

I expected all the four of the above simplify results. Below, the only thing that is changed is that f is changed to Int.

J:= Int(csgn(x)+(x-1)*(x+1), x= 0..1);

Int(csgn(x)+(x-1)*(x+1), x = 0 .. 1)

simplify(J);

Int(x^2, x = 0 .. 1)

I understand why that one behaves differently.

simplify(J) assuming x>0;

Int(x^2, x = 0 .. 1)

map(simplify, J);

Int(csgn(x)+x^2-1, x = 0 .. 1)

map(simplify, J) assuming x>0;

Int(csgn(x)+x^2-1, x = 0 .. 1)

J assuming x>0;

Int(csgn(x)+(x-1)*(x+1), x = 0 .. 1)

 

 

Download assuming_Int_vs_f.mw

@only math I think that Preben's and Axel's Answers are making the assumption z >= 0, and that that cannot be derived from the problem as stated (including the Asker's correction). I don't object; it's a natural assumption. I just want to make sure that I am reading their Answers correctly. So, I ask explicitly, are you making an additional assumption that z >= 0?

45927 + 4*17*193 = 59051

45927 + 2*3^8 = 59049

I don't know if the multiple-independent-variable case is handled at all. (Are they called partial recurrences, akin to partial differential equations?) There are no such cases in the examples at ?rsolve. Do you have reason to believe otherwise?

@Don_Caraota Also note that it is generally better to use CDF(dist,x) rather than evalf(Int(PDF(dist,t), t= -infinity..x)).

@Don_Caraota Also note that it is generally better to use CDF(dist,x) rather than evalf(Int(PDF(dist,t), t= -infinity..x)).

@acer Okay, I agree. I had tested it earlier by mapping the simplify. But it doesn't work if I map the simplify and include the assuming, even though that works for functions other than Int. I'm branching it off to a separate Question.

@acer Okay, I agree. I had tested it earlier by mapping the simplify. But it doesn't work if I map the simplify and include the assuming, even though that works for functions other than Int. I'm branching it off to a separate Question.

Do you have any idea what the simplify does in your Cartesian-coordinates integral? I noticed that if I apply simplify to the integrand (after the inner integration is done), the integrand is changed slightly, but the integral still returns unevaluated.

 

Do you have any idea what the simplify does in your Cartesian-coordinates integral? I noticed that if I apply simplify to the integrand (after the inner integration is done), the integrand is changed slightly, but the integral still returns unevaluated.

 

@Preben Alsholm I see my mistake now! It's -2*y, not -2*x*y.

@Preben Alsholm I see my mistake now! It's -2*y, not -2*x*y.

My Maple 17 does not have the command dividend.

But along the same lines there is

evalindets(y=a*(b-c), `+`, x-> b*expand(x/b));
                                /    c\
                        y = a b |1 - -|
                                \    b/

My Maple 17 does not have the command dividend.

But along the same lines there is

evalindets(y=a*(b-c), `+`, x-> b*expand(x/b));
                                /    c\
                        y = a b |1 - -|
                                \    b/

First 650 651 652 653 654 655 656 Last Page 652 of 704