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

[Vladimir Bondarenko]

Hi *,

AXIOM connoisseurs help is highly appreciated.

How to interpret the following behavior?


-> integrate(z^2)

     1  3
     - z
     3
                               Type: UnivariatePolynomial(z,Fraction Integer)
-> integrate(z^3)

     1  4
     - z
     4
                               Type: UnivariatePolynomial(z,Fraction Integer)
-> integrate(z^4)

     1  5
     - z
     5
                               Type: UnivariatePolynomial(z,Fraction Integer)

-> 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
      applicable. Use HyperDoc Browse, or issue
                            )display op integrate
      to learn more about the available operations. Perhaps
      package-calling the operation or using coercions on the arguments
      will allow you to apply the operation.

   Cannot find a definition or applicable library operation named
      integrate with argument type(s)
                                 Variable z

      Perhaps you should use "@" to indicate the required return type,
      or "$" to specify which version of the function you need.


Much thanks in advance.


Best wishes,

Vladimir Bondarenko

http://www.cybertester.com/
http://maple.bug-list.org/
http://www.CAS-testing.org/