Updates:
Labels: -NeedsReview
Comment #13 on issue 636 by mattpap: integrate(1/(x**2+1)) should return
arctan(x)
http://code.google.com/p/sympy/issues/detail?id=636
It depends on the algebraic structure of the problem you are working on. In
general
no because there might exist zero divisors which aren't invertible, as
polynomials
form a ring, not an integral domain or a field.
So if you want to compute inverses in K[t]/q, a quotient ring, where q is a
polynomial in K[t] and K[t] is a set of univariate polynomials in 't', then
q must be
monic (in the simplest case) and irreducible to make K[t]/q form a field.
This is the
same as with modular numbers Z/pZ, where p must be prime to have a field.
There is a comment in rationaltools.py that h.LC is always invertible
modulo q, where
q is not necessarily irreducible, but this is a very special case in this
particular
algorithm.
There is Poly.invert function which tries to compute an inverse of a
polynomial f
modulo q (in K[t]/q and f, q in K[t]), so nothing needs to be exported.
This function
will raise a ZeroDivisionError if a zero divisor is being inverted.
Thanks for review.
Now one my question. Do we want to keep history linear, i.e. should I
rebase those
patches or can I just merge 'ratint' branch.
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sympy-issues" 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-issues?hl=en
-~----------~----~----~----~------~----~------~--~---
