Re: [Axiom-math] About "%%"

[William Sit]

Daniel wrote:

> I'm using Axiom in Debian GNU/Linux for corroborate some results of
> numerical calculus. In a exercise of inverse Laplace transform, I've to
> calculate f(0) if F(s) = (s**2 - 9*s - 32)/(2*s**3 - 3*s + 4).
> 
> At the begining, I thought to use partial fraction decomposition but the
> denominator have irrational roots :-( Then I thought to use Axiom for
> give me a idea of its resolution. The fact is that inverseLaplace give
> me %%A0 or %%AO squared in the solution. How this values are
> interpreted?

The a = %%A0 is the real root of the denominator, which then factors as:

2*s**3 - 3*s + 4 = (s - a)(2*s**2 + 2*a*s + 2*a**2 -3)

The coefficients of t in the exponential functions are the roots of the
quadratic factor based on the quadratic formula. Axiom should have said what
%%A0 is.

William