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

[William Sit]

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

> -> 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
[snipped]

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
up. 

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

William