trace of the solution/solver

[Jurgis Pralgauskis]

hello,

I wonder if there is some easy way
to trace what mathematically meaningful steps are made
while solving some problem in sympy.

like in linear equations system:
- row-reduce an augmented matrix
- show how each unknown is computed

?

[Vinzent Steinberg]

On 6 Aug., 19:57, Jurgis Pralgauskis <jurgis.pralgaus...@gmail.com>
wrote:

The most easy way is to patch sympy's source code to print some lines
indicating what it's doing. This is hackish, if someone is interested
he could implement a more versatile framework for doing this. Some
functions can be more verbose if you tell them too (numerical
rootfinding and limits for instance). However, CAS in general often
use algorithms which are not intuitive to humans (for example for
integration), I think there are special CAS for this.

Mathomatic [1] is for example more verbose than sympy.

Vinzent


[1] http://mathomatic.org/math/

Vinzent

[Jurgis]

Hi,

> > I wonder if there is some easy way
> > to trace what mathematically meaningful steps are made
> > while solving some problem in sympy.
>

> The most easy way is to patch sympy's source code to print some lines
> indicating what it's doing. This is hackish, if someone is interested
> he could implement a more versatile framework for doing this.

maybe some docstring feature could be used?
with depth parameter, of how detail verbose output should be...
and with support for internalization/localization?..

I generaly would be interested to try implement sth like this
in next study year.

> Some
> functions can be more verbose if you tell them too (numerical
> rootfinding and limits for instance). However, CAS in general often
> use algorithms which are not intuitive to humans (for example for
> integration), I think there are special CAS for this.

well, but python is good language to implement the algorithms we are
taught at school/uni ;)
my long time strategy is to demonstrate,
that schools/unis should teach to think,
but not to repeat solving algorithms ;)

> Mathomatic [1] is for example more verbose than sympy.

interesting thing, strange I haven't heard earlier about it.
suspicious, that it has jus one developer,
and that it does not support sin() or cos() as said in
http://www.gotow.net/mathomatic/
might be not very flexible...