[Top][All Lists]

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

Re: [Axiom-developer] [Q] How to classify integrate(z) vs integrate(z^1)

From: William Sit
Subject: Re: [Axiom-developer] [Q] How to classify integrate(z) vs integrate(z^1)
Date: Thu, 17 Feb 2005 19:41:44 -0500

Vladimir Bondarenko wrote:
sseurs help is highly appreciated.
> How to interpret the following behavior?

> -> integrate(z^1)
>      1  2
>      - z
>      2
>                                Type: UnivariatePolynomial(z,Fraction Integer)
> but
> -> integrate(z)
>    There are 5 exposed and 2 unexposed library operations named
>       integrate having 1 argument(s) but none was determined to be

Again, this is the more information you give the interpreter, the easier it can
find the right function. In z^1 you indicated that there is an exponentiation
function, so the Interpreter naturally look into POLY INT and failing to find
integrate without knowing the variable to integrate, backtracks to UP(z, INT)
and then can find integrate. But when you only give z as Variable(z), it gives

Use )set mess bot on to see what the interpreter does.


reply via email to

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