[Axiom-developer] Re: coerce, cast, partial fractions

[Dylan Thurston]

On Thu, Oct 09, 2003 at 10:31:55AM -0400, Tim Daly wrote:
> If I understand the partialFraction answer (perhaps I don't) the
> result given is a partial fraction as far as Axiom is concerned.
> Partial fractions work on the factored equation and it appears
> that Axiom doesn't think it can factor the equation over the
> target domain so the partial fraction uses the "fully factored"
> value. The issue appears to be that the target domain chosen by
> the interpreter is one in which there are no factors. Or perhaps
> it is just a street-level bug :-)

But how could x^2-1 not be factorizable in any reasonable domain?

I can see that AXIOM might pick a domain where it doesn't know how to
factor, but I would be very surprised to see one coming from an
expression like this!

Peace,
        Dylan

signature.asc
Description: Digital signature