Edit detail for #360 integral yields strange error message revision 1 of 3

changed:
-
It seems that all current CAS have a problem with this integral:
\begin{axiom}
integrate(1/(-3+v^3)*v/(-4+v^3)^(1/2),v)
integrate(1/(-3+v^3)*v/(-4+v^3)^(1/2),v=0..1,"noPole")
\end{axiom}
However, at least the error message could be better...

It seems that the problem is in 'alglist$PFO', or perhaps in 'FractionalIdeal'. In 'alglist', the numerator of an ideal is computed, but in the case above, we are dealing with a double fraction, and the result of 'numer' is not a polynomial.  On the other hand, it seems that such double fractions are expected.  Unfortunately, I have no idea of the mathematics involved.

From anonymous Sun Jun 10 15:14:09 -0500 2007
From: anonymous
Date: Sun, 10 Jun 2007 15:14:09 -0500
Subject: better?
Message-ID: <20070610151409-0500@wiki.axiom-developer.org>

Using Windows version 0.1.4::

   >> Error detected within library code:
   (1 . failed) cannot be coerced to mode (SparseUnivariatePolynomial (Expression (Integer)))

integrate(1/(-3+v^3)*v/(-4+v^3)^(1/2),v)

   >> Error detected within library code:
   Not integrable (provided residues have no relations)

   >> Error detected within library code:
   (1 . failed) cannot be coerced to mode (SparseUnivariatePolynomial (Expression (Integer)))