Re: [Axiom-developer] SymPy code

[Waldek Hebisch]

> Is your python algebra code available?
> It might be an interesting exercise to rewrite it into spad
> and see a head-to-head comparison. And, as a major side-effect,
> increase the range of Axiom
> 

AFAICS the only part of SymPy which is not implemented in Axiom
is Gruntz algorithm for limits.  After quick look at limits.py
I think that it would be not hard to add similar code to Axiom.
However it looks that SymPy code ignores many real-life issues:
1) algebraic expressions
2) special functions
3) parameters

Especially determining sign in presence of parameters is troublesome
(undecidable).

-- 
                              Waldek Hebisch
address@hidden