MathAction #106 Results of integrate(x^2) and integrate(x^2,x) are different

Topics

The interpreter returns different results (different types) for

axiom

integrate(x^2)

$\label{eq1}{1 \over 3}\ {x^3}$

Type: UnivariatePolynomial(x,Fraction(Integer))

axiom

integrate(x^2,x)

$\label{eq2}{1 \over 3}\ {x^3}$

Type: Polynomial(Fraction(Integer))

Why?

Implemented in different domains --greg, Tue, 04 Apr 2006 11:59:15 -0500 reply

The polynomial constructor, in the interpreter, is usually Polynomial but here the function integrate with signature:

    integrate : % -> % if R has ALGEBRA FRAC INT

is only implemented for univariate polynomial since the variable is "known" and therefore the polynomial can be integrated with respect to it.

I close this issue, please reopen it, if you are not agree.

property change --greg, Tue, 04 Apr 2006 11:59:47 -0500 reply

Status: open => closed