[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Re[2]: [Axiom-developer] [Q] Function for testing for a part of the

From: Page, Bill
Subject: RE: Re[2]: [Axiom-developer] [Q] Function for testing for a part of the output?
Date: Thu, 10 Feb 2005 20:21:18 -0500

On Thursday, February 10, 2005 4:58 PM Vladimir Bondarenko wrote:[

> Please help also about the following where I have tried
> several variations but without result
> -> member?(integrate,kernels(integrate(erf(z)*sin(z)^2,z)))
>   false

Try this:


which tests that the first expression is a kernel with
the operator integral.

> while I'd like to have a test1 working like this
> -> test1(integrate, integrate(erf(z)*sin(z)^2,z))
>  true  -- Currently, AXIOM cannot get this integral and
>         -- returns it unevaluated

Perhaps this is a little more accurate:

  not empty? [i for i in kernels integrate(erf(z)*sin(z)^2,z)
    | is?(i,integral)]

which will be true if at least one integral remains.

> and
> -> test2(%%, integrate(1/(a+z^5), z))
>    true  -- Currently, AXIOM returns the terms like  %%ID1

  not empty? [i for i in kernels integrate(1/(a+z^5), z)
    | is?(i,rootOf)]

> Let me thank you cordially for your valuable help in advance.

Of course you are most welcome!

Bill Page.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]