integral of 1/(x^4+3*x^2+1) fails



On Monday 02 June 2008 00:30, Robert Marik wrote:
> Hello all, Maxima fails to evaluate integral of 1/(x^4+3*x^2+1) .
> However, I think that this integral is quite simple (partial fractions
> and two arctangent). Whats wrong?
>
> Maxima is not able to factor the denominator. Is this point the source
> of the problem? (btw: factor_with_solve factors the expression in the
> field of complex numbers and maxima evaluates integral after this
> factorization).
>
> Should this be reported as bug?

It's a bug, I think it's better to submit it to the SF tracker.

BTW Maxima is able to factor x^4+3*x^2+1. To factor a polynomial over the 
Gaussian integers, use "gfactor" instead of "factor":

  gfactor(x^4+3*x^2+1) => (x^2-%i*x+1)*(x^2+%i*x+1)

itegrate doesn't handle 1/(x^4+3*x^2+1), but it does handle 
1/gfactor(x^4+3*x^2+1).

-- 
Alexey Beshenov <al at beshenov.ru>
http://beshenov.ru/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.math.utexas.edu/pipermail/maxima/attachments/20080602/94c43e70/attachment.pgp