Issue 2038 in sympy: powsimp breaks power rules

2010-08-25 Thread sympy
Status: Accepted Owner: smichr Labels: Type-Defect Priority-Medium New issue 2038 by smichr: powsimp breaks power rules http://code.google.com/p/sympy/issues/detail?id=2038 (x**(2*y))**3 (x**(2*y))**3 powsimp(_) (x**(2*y))**3 <--ok, we didn't use the deep flag powsimp(_,deep=1) ((x**2)**y)

Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Status: Accepted Owner: smichr Labels: Type-Defect Priority-Medium New issue 2039 by smichr: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 Issue 2022 identified a problem with handling of non-commutative terms in a Mul substitution. There are a couple of other pro

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Updates: Labels: NeedsReview Blockedon: 2022 2038 Comment #1 on issue 2039 by smichr: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 It could also apply some powsimp to terms to get them in standard form before trying to store them for analysis, e

Re: Issue 2038 in sympy: powsimp breaks power rules

2010-08-25 Thread sympy
Issue 2038: powsimp breaks power rules http://code.google.com/p/sympy/issues/detail?id=2038 This issue is now blocking issue 2039. See http://code.google.com/p/sympy/issues/detail?id=2039 -- You received this message because you are listed in the owner or CC fields of this issue, or because you

Re: Issue 2022 in sympy: inconsistent behaviour of subs when using non-commutative symbols

2010-08-25 Thread sympy
Issue 2022: inconsistent behaviour of subs when using non-commutative symbols http://code.google.com/p/sympy/issues/detail?id=2022 This issue is now blocking issue 2039. See http://code.google.com/p/sympy/issues/detail?id=2039 -- You received this message because you are listed in the owner or

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Updates: Blockedon: -2022 -2038 Comment #2 on issue 2039 by smichr: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 It's not a commit over anything. It's a single commit at that branch. Issue 2038 is bypassed with a new function, powdenest. I re-wrote the ro

Re: Issue 2038 in sympy: powsimp breaks power rules

2010-08-25 Thread sympy
Issue 2038: powsimp breaks power rules http://code.google.com/p/sympy/issues/detail?id=2038 This issue is no longer blocking issue 2039. See http://code.google.com/p/sympy/issues/detail?id=2039 -- You received this message because you are listed in the owner or CC fields of this issue, or because

Re: Issue 2022 in sympy: inconsistent behaviour of subs when using non-commutative symbols

2010-08-25 Thread sympy
Issue 2022: inconsistent behaviour of subs when using non-commutative symbols http://code.google.com/p/sympy/issues/detail?id=2022 This issue is no longer blocking issue 2039. See http://code.google.com/p/sympy/issues/detail?id=2039 -- You received this message because you are listed in the own

Re: Issue 2022 in sympy: inconsistent behaviour of subs when using non-commutative symbols

2010-08-25 Thread sympy
Updates: Labels: -NeedsReview Comment #17 on issue 2022 by smichr: inconsistent behaviour of subs when using non-commutative symbols http://code.google.com/p/sympy/issues/detail?id=2022 A patch fixing this issue and several others is given in Issue 2039. I would recommend that re-wr

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Issue 2039: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 This issue is now blocking issue 1694. See http://code.google.com/p/sympy/issues/detail?id=1694 -- You received this message because you are listed in the owner or CC fields of this issue, or because you star

Re: Issue 1694 in sympy: solve has many issues with fractions

2010-08-25 Thread sympy
Updates: Blockedon: 2039 Comment #138 on issue 1694 by smichr: solve has many issues with fractions http://code.google.com/p/sympy/issues/detail?id=1694 powdenest breaks assumptions. This routine, however, inspired a fixed routine that could be used with Mul._eval_subs and is now part

Re: Issue 1694 in sympy: solve has many issues with fractions

2010-08-25 Thread sympy
Comment #139 on issue 1694 by smichr: solve has many issues with fractions http://code.google.com/p/sympy/issues/detail?id=1694 i.e. (x**y)**a is not, in general, x**(y*a). It's only true if y or a is an integer or x is positive. -- You received this message because you are subscribed to the

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Updates: Cc: Vinzent.Steinberg Comment #3 on issue 2039 by smichr: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 (No comment was entered for this change.) -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Comment #4 on issue 2039 by julien.rioux: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 In branch 2039 I get In [8]: (a*A*B).subs(a*A,c) Out[8]: 2 c ⋅B -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Comment #5 on issue 2039 by asmeurer: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 The ideal fix for #3 would be to just fix issue 1799. -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send

Re: Issue 1799 in sympy: Replace exp(x) with E**x internally

2010-08-25 Thread sympy
Comment #10 on issue 1799 by asmeurer: Replace exp(x) with E**x internally http://code.google.com/p/sympy/issues/detail?id=1799 That should have been issue 2008. -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email

Re: Issue 1799 in sympy: Replace exp(x) with E**x internally

2010-08-25 Thread sympy
Updates: Blockedon: 2008 Comment #11 on issue 1799 by asmeurer: Replace exp(x) with E**x internally http://code.google.com/p/sympy/issues/detail?id=1799 (No comment was entered for this change.) -- You received this message because you are subscribed to the Google Groups "sympy-issues"

Re: Issue 2008 in sympy: Inconsistencies for Pow**n and exp***n

2010-08-25 Thread sympy
Issue 2008: Inconsistencies for Pow**n and exp***n http://code.google.com/p/sympy/issues/detail?id=2008 This issue is now blocking issue 1799. See http://code.google.com/p/sympy/issues/detail?id=1799 -- You received this message because you are listed in the owner or CC fields of this issue, or

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Comment #6 on issue 2039 by smichr: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 Re comment 4: How ironic! I didn't put that test in because I knew it wasn't walking over the end of a list anymore. But it failed for a different reason this time. Again...nice sl

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Comment #7 on issue 2039 by julien.rioux: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 In [6]: (x*A*x*x).subs(x**2*A,y) Out[6]: 2 y⋅x In [7]: (x*A*x*B).subs(x**2*A,y) Out[7]: x⋅y⋅B -- You received this message because you are subscribed to the Google Groups

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Comment #8 on issue 2039 by smichr: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 Are you using anything to help find the expressions that break it? (Like the random expression generator that was discussed recently.) I was challenged by your finds to come up wit

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Comment #9 on issue 2039 by julien.rioux: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 No, I just tried simple expressions and got lucky. Looks solid this time. Thanks for fixin' and cheers. -- You received this message because you are subscribed to the Google

Issue 2040 in sympy: Better way to make a rational function out of an expression

2010-08-25 Thread sympy
Status: Accepted Owner: asmeurer Labels: Type-Defect Priority-Medium Polynomial Integration New issue 2040 by asmeurer: Better way to make a rational function out of an expression http://code.google.com/p/sympy/issues/detail?id=2040 In the Risch Algorithm (issue 2010), I need to convert the e

Re: Issue 2040 in sympy: Better way to make a rational function out of an expression

2010-08-25 Thread sympy
Issue 2040: Better way to make a rational function out of an expression http://code.google.com/p/sympy/issues/detail?id=2040 This issue is now blocking issue 2010. See http://code.google.com/p/sympy/issues/detail?id=2010 -- You received this message because you are listed in the owner or CC fiel

Re: Issue 2010 in sympy: Integration with the full Risch Algorithm

2010-08-25 Thread sympy
Updates: Blockedon: 2040 Comment #10 on issue 2010 by asmeurer: Integration with the full Risch Algorithm http://code.google.com/p/sympy/issues/detail?id=2010 (No comment was entered for this change.) -- You received this message because you are subscribed to the Google Groups "symp

Re: Issue 2039 in sympy: Mul.eval_subs problems

2010-08-25 Thread sympy
Updates: Cc: -Vinzent.Steinberg Comment #10 on issue 2039 by smichr: Mul.eval_subs problems http://code.google.com/p/sympy/issues/detail?id=2039 Thanks for the feedback and testing. Just out of curiosity, what sort of manipulations do you do with non-commutatives? -- You received thi

Re: Issue 2040 in sympy: Better way to make a rational function out of an expression

2010-08-25 Thread sympy
Comment #1 on issue 2040 by smichr: Better way to make a rational function out of an expression http://code.google.com/p/sympy/issues/detail?id=2040 Sorry if this is too specific, but what about: eq = sqrt(log(x**2 + 3*x + 2)*(log(x + 1) + log(x + 2))) eq = eq.subs(dict((a,factor(a)) for a

Re: Issue 2040 in sympy: Better way to make a rational function out of an expression

2010-08-25 Thread sympy
Comment #2 on issue 2040 by asmeurer: Better way to make a rational function out of an expression http://code.google.com/p/sympy/issues/detail?id=2040 So I apologize for not being clear. The expression I need to be able to work with is sqrt(t0**2 + 2*t0*t1 + t1**2). The other parts of my

Re: Issue 2040 in sympy: Better way to make a rational function out of an expression

2010-08-25 Thread sympy
Comment #3 on issue 2040 by smichr: Better way to make a rational function out of an expression http://code.google.com/p/sympy/issues/detail?id=2040 So perhaps you can just factor the args of all rational powers: eq.subs(dict([(a,factor(a.base)**a.exp) for a in eq.atoms(Pow) if a.exp.q !=

Re: Issue 2040 in sympy: Better way to make a rational function out of an expression

2010-08-25 Thread sympy
Comment #4 on issue 2040 by smichr: Better way to make a rational function out of an expression http://code.google.com/p/sympy/issues/detail?id=2040 Hopefully that will work in polys11 with the new changes that Matteusz has made since in sympy live I get the following when trying to factor

Re: Issue 1916 in sympy: Plotting fails: Window initialization failed: Unable to share contexts

2010-08-25 Thread sympy
Comment #10 on issue 1916 by mybeky: Plotting fails: Window initialization failed: Unable to share contexts http://code.google.com/p/sympy/issues/detail?id=1916 it's can be fixed like this: os.environ['PYGLET_SHADOW_WINDOW']="0" -- You received this message because you are subscribed to the