Comment #5 on issue 1309 by fabian.seoane: implement backward chaining for
rules
http://code.google.com/p/sympy/issues/detail?id=1309
As I said in #2, in my opinion the whole core.facts module should be
refactored. The
API defined in aima-python is what most textbooks use and I find it a muc
Comment #4 on issue 1309 by fabian.seoane: implement backward chaining for
rules
http://code.google.com/p/sympy/issues/detail?id=1309
Here is a workaround. Just a very naive implementation so that i can
continue work
with assumptions.
Attachments:
0001-implement-backward-chaining-fo
Comment #9 on issue 636 by mattpap: integrate(1/(x**2+1)) should return
arctan(x)
http://code.google.com/p/sympy/issues/detail?id=636
I've finally made ratint() integrate 1/(1+x^5):
In [1]: from sympy.integrals.rationaltools import *
In [2]: ratint(1/(1+x**1), x)
Out[2]: log(1 + x)
In [3]: s
Comment #3 on issue 1309 by fabian.seoane: implement backward chaining for
rules
http://code.google.com/p/sympy/issues/detail?id=1309
not quite correct. The old assumption system solves the absence of
backward-chaining
with lot's of assumption-specific code, which is in my opinion the start
Comment #2 on issue 1309 by ondrej.certik: implement backward chaining for
rules
http://code.google.com/p/sympy/issues/detail?id=1309
Ok, this will be quite some work, so I suggest the following approach:
* this is a functionality, that our current assumptions cannot do (am I
correct?) --
i
Comment #1 on issue 1313 by ondrej.certik: poly_gcd should not be exported
as a top-level function
http://code.google.com/p/sympy/issues/detail?id=1313
yep, +1
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You m
Updates:
Status: Invalid
Comment #6 on issue 1312 by mattpap: provide a way to calculate the
constant coefficient of a polynomial
http://code.google.com/p/sympy/issues/detail?id=1312
This can be done is several different ways, depending on the form of input
and
desired efficiency (e.
Comment #5 on issue 1312 by danielstefanmader: provide a way to calculate
the constant coefficient of a polynomial
http://code.google.com/p/sympy/issues/detail?id=1312
Stop, found it myself:
In [29]: sympy.collect(f,x,evaluate=False)[sympy.sympify(1)]
Out[29]: c
Once again, thank you very mu
Comment #4 on issue 1312 by danielstefanmader: provide a way to calculate
the constant coefficient of a polynomial
http://code.google.com/p/sympy/issues/detail?id=1312
Thank you for the quick reply!
Yet, it still doesn't work for me, maybe because the [S(1)] statement
returns an error:
In
