Richard Fateman <fateman@cs.berkeley.edu> wrote:
>Stavros Macrakis <stavros.macrakis@verizon.net> wrote:
>>
>> Another similar problem:
>>
>> integrate( x*%E^(a*x)*SIN(SQRT(b-a^2)*x/2) , x)
>> => quotient is not exact
>>
>> Usually, this sort of problem is solved by changing GCD algorithm
>> (setting the GCD variable), but in this case, all the GCD routines
>> have the same problem.
>
> I don't know if this has been previously noted,
> but this integral works in commercial macsyma.
Yes, I fixed all the "quotient is not exact" bugs
a long time ago in the commercial version.
Anyone working on such bugs should be sure to have a solid
understanding of the rational function package because
some of these bugs are quite subtle iirc.
-Bill Dubuque