login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T21:52:00-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

The interpreter returns different results (different types) for

axiom
integrate(x^2)

\label{eq1}{1 \over 3}\ {x^3}(1)
Type: UnivariatePolynomial(x,Fraction(Integer))
axiom
integrate(x^2,x)

\label{eq2}{1 \over 3}\ {x^3}(2)
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




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: