With gcd : 'spmod and algebraic : true, the calculuation gets stuck: (%i1) k : (1+z^2)^4/ (1+z^4)^4$ (%i2) integrate(k,z,0,inf), gcd : 'spmod, algebraic : true; Maxima encountered a Lisp error: But with gcd : 'spmod, algebraic : false, the result is wrong: (%i3) integrate(k,z,0,inf), gcd : 'spmod, algebraic : false; (%o3) 0 Barton