Re: Issue 3135 in sympy: Multiple series expansions

2014-02-01 Thread sympy
Comment #3 on issue 3135 by avichal@gmail.com: Multiple series expansions http://code.google.com/p/sympy/issues/detail?id=3135 Since multivariate cases can be handled by Order, I tried the following example In [3]: Order(x**6*exp(y)) Out[3]: ⎛ 6 ⎞ O⎝x ; (x, y) → (0,

Re: Issue 3135 in sympy: Multiple series expansions

2014-02-01 Thread sympy
Comment #4 on issue 3135 by skirpic...@gmail.com: Multiple series expansions http://code.google.com/p/sympy/issues/detail?id=3135 It gives only x**6 instead of x**6*exp(y)? Is it a bug or is this expected? Of course, it's expected:

Re: Issue 3135 in sympy: Multiple series expansions

2014-02-01 Thread sympy
Comment #5 on issue 3135 by avichal@gmail.com: Multiple series expansions http://code.google.com/p/sympy/issues/detail?id=3135 Of course, it's expected Then I didn't understand what is meant by the below statement? So the correct order should be something like O(exp(y)*x**6), not just

Re: Issue 4003 in sympy: Cannot return general quartic solution

2014-02-01 Thread sympy
Comment #4 on issue 4003 by spoo...@abv.bg: Cannot return general quartic solution http://code.google.com/p/sympy/issues/detail?id=4003 It doesn't look like a very complicated problem, but I can't fix it. I'm afraid not to break anything. It seems that the current code is chosen to work

Re: [sympy] Risch algorithm for Symbolic Integration -GSOC Idea

2014-02-01 Thread Chetna Gupta
Hi All This is such a big nostalgia moment! @Anurag There are three tasks mentioned on the PR. One of them being - Don't hardcode the value of a in the functions in cds.py. And the input should be a, not sqrt(a), (so, e.g., the input should be -1, not sqrt(-1)) I would try to solve this and

Re: [sympy] Re: Logic Module

2014-02-01 Thread Christian Muise
Two big CNF expressions with an OR tying them together is just a special case I reckon. We'll start to face feature creep with all of the different types of input that might be used -- ultimately what is needed is an assessment of the types of input the satisfiable function actually sees. There

Re: [sympy] Re: Logic Module

2014-02-01 Thread Aaron Meurer
With my work with the assumptions, I am able to keep it as CNF, or nearly CNF, although in some cases, I have to be careful how I do things. For example, there are simple CNF and DNF forms for exactly one of x1, ..., xn is true. You need to use the DNF one if it is the first part of an implication