Hi,
Aaron, I was following your code for the risch algorithm, as you have
previously comment is basically chapters 6 in rde.py, 7 in prde.py and
5 in risch.py, and some algorithm sparse in the book also in risch.py.
There are a lot of "TODO" in the code, some nonimplemented exceptions,
and this comment on risch_integrate:
Only transcendental functions are supported. Currently, only exponentials
and logarithms are supported, but support for trigonometric functions is
forthcoming.
That means that right now you can only built the differential
extension of the integrand for logarithms and exponential functions? I
didn't found actually a formal way to built this on Bronstein's book,
I imagine it must be then a well know problem. since is just the
starting point for Risch Algorithm according to the section 5.2. Also
I can't connect in my head right now the relation of that problem with
the structure theorems in chapter 9.
I will like to know then if a possible project on the Risch algorithm
would be planned on solve those "TODO" comments, and polish the code
to an easy merge with master?
Sadly I found hard to follow some aspects in the code, but the
comments help a lot, I will try to find some possible patch of your
code.
Are there some sympy tools to work with algebraic structures as rings,
fields, extensions, and more? There are some on the polys module but
there is somethign like a Ring class, and Extension?
Bye.
--
Jorge Eduardo Cardona
[email protected]
jorgeecardona.blogspot.com
github.com/jorgeecardona
------------------------------------------------
Linux registered user #391186
Registered machine #291871
------------------------------------------------
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
