[Axiom-mail] This is more "type-ness" I'm sure

[Donald J Bindner]

Three integrals work, and the fourth does not.  I was surprised.

(1) -> integrate(2*x*y,x)
(1) ->
         2
   (1)  x y
                                            Type: Polynomial
Fraction Integer

(2) -> integrate(2*x*y,x=0..1)
(2) ->
   (2)  y
                    Type: Union(f1: OrderedCompletion Expression
Integer,...)

(3) -> integrate(2.0*x*y,x)
(3) ->
         2
   (3)  x y
                                                       Type:
Polynomial Float

(4) -> integrate(2.0*x*y,x=0..1)
   There are 13 exposed and 7 unexposed library operations named
      integrate.....