In this example, you don't need to declare tau real. If one needed that, that can be done by adding assuming real in front of the semicolon. Or, if there were other variables, assuming tau::real.

Alec

In this example, you don't need to declare tau real. If one needed that, that can be done by adding assuming real in front of the semicolon. Or, if there were other variables, assuming tau::real.

Alec

I would do it exactly as I said (in the first responce).

Alec

I would do it exactly as I said (in the first responce).

Alec

For different intervals of integration it also gives a wrong answer. For example,

int(P3(x,1),x=0..10000);
evalf(%);
                                  -10
                         -0.978 10    + 0. I

Alec

It gives an expression, but not as good as I suggested.

Alec

It gives an expression, but not as good as I suggested.

Alec

I would try to do that as in my first responce - first convert RealRanges to And with inequalities. Then convert union and intersect operations to Or and And(also, Not can be used). then define the characteristic function of a set using piecewise, simplify it, and then convert it back to RealRanges.

That could be done as a module, say RealRanges, and then, after using with(RealRanges) all set operations would work with them as they should.

Alec

I would try to do that as in my first responce - first convert RealRanges to And with inequalities. Then convert union and intersect operations to Or and And(also, Not can be used). then define the characteristic function of a set using piecewise, simplify it, and then convert it back to RealRanges.

That could be done as a module, say RealRanges, and then, after using with(RealRanges) all set operations would work with them as they should.

Alec

So that doesn't prove that the theory works. What about that particular value of MeijerG function equal to 4*Pi that Maple can't find? Can Mathematica find it?

I, probably, should go through the procedure of license changing from my old computer where Mathematica was installed (but got deleted during Windows restore together with 4 or 5 versions of Maple that I had there), and install it on this computer that I use now. I have a disc with it right in front of me :)

But then, since I don't have Maple installed, and have no idea where my Maple 10 discs are (packed somewhere), being interested in CAS in general, I will, probably, switch from posting on this site to posting on analogous Mathematica site.

Alec

So that doesn't prove that the theory works. What about that particular value of MeijerG function equal to 4*Pi that Maple can't find? Can Mathematica find it?

I, probably, should go through the procedure of license changing from my old computer where Mathematica was installed (but got deleted during Windows restore together with 4 or 5 versions of Maple that I had there), and install it on this computer that I use now. I have a disc with it right in front of me :)

But then, since I don't have Maple installed, and have no idea where my Maple 10 discs are (packed somewhere), being interested in CAS in general, I will, probably, switch from posting on this site to posting on analogous Mathematica site.

Alec

In Maple, as we know, it is as easy as to set printlevel to 1000 :)

Perhaps, some form of Trace can be used in Mathematica?

Alec

In Maple, as we know, it is as easy as to set printlevel to 1000 :)

Perhaps, some form of Trace can be used in Mathematica?

Alec

Generally speaking, RealRange doesn't define a set in Maple,

a:=RealRange(3,5):
type(a,set);
                                false

whattype(a);

                               function

so one can't expect set operations, such as union, work OK with RealRanges.

However, Maple is not just a library, it is also a programming language, and one can easily program such functions as union or intersection of RealRanges if necessary.

Alec

Generally speaking, RealRange doesn't define a set in Maple,

a:=RealRange(3,5):
type(a,set);
                                false

whattype(a);

                               function

so one can't expect set operations, such as union, work OK with RealRanges.

However, Maple is not just a library, it is also a programming language, and one can easily program such functions as union or intersection of RealRanges if necessary.

Alec