|
|
|
last edited 9 years ago by test1 |
Edit detail for #360 integral yields strange error message revision 3 of 3
| 1 2 3 | ||
|
Editor: test1
Time: 2015/02/12 16:29:01 GMT+0 |
||
| Note: | ||
added:
From test1 Thu Feb 12 16:29:01 +0000 2015
From: test1
Date: Thu, 12 Feb 2015 16:29:01 +0000
Subject:
Message-ID: <20150212162901+0000@axiom-wiki.newsynthesis.org>
Status: open => closed
Fixed: now we get normal message about hitting unimplemented part of Trager algorithm.
It seems that all current CAS have a problem with this integral:
fricas
integrate(1/(-3+v^3)*v/(-4+v^3)^(1/2),v)
>> Error detected within library code: Not integrable (provided residues have no relations)
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.
better? --anonymous, Sun, 10 Jun 2007 15:14:09 -0500 reply
Using Windows version 0.1.4:
>> Error detected within library code: (1 . failed) cannot be coerced to mode (SparseUnivariatePolynomial (Expression (Integer)))
Status: open => closed