help links subscribe changes refresh edit

	IssueTracker
#105 integrate(z^3000, z=0..1) ←	↑	→ #107 Interpreter code generation failed for expression1

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

Edit detail for #106 Results of integrate(x^2) and integrate(x^2,x) are different revision 1 of 1

	1
Editor: Time: 2007/11/17 21:52:00 GMT-8
Note: property change

changed:
-
The interpreter returns different results (different types) for
\begin{axiom}
integrate(x^2)
integrate(x^2,x)
\end{axiom}

Why?

From greg Tue Apr 4 11:59:15 -0500 2006
From: greg
Date: Tue, 04 Apr 2006 11:59:15 -0500
Subject: Implemented in different domains 
Message-ID: <20060404115915-0500@wiki.axiom-developer.org>

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.


From greg Tue Apr 4 11:59:47 -0500 2006
From: greg
Date: Tue, 04 Apr 2006 11:59:47 -0500
Subject: property change
Message-ID: <20060404115947-0500@wiki.axiom-developer.org>

Status: open => closed

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