[PATCH 2/2] Added method Dummy.as_nondummy()

2010-03-31 Thread Øyvind Jensen
In situations where it is natural to generate dummy symbols with Symbol.as_dummy(), the reverse process may also be useful. Uncommented two tests for this. --- sympy/core/symbol.py| 11 +++ sympy/core/tests/test_symbol.py |4 ++-- 2 files changed, 13 insertions(+), 2 del

Re: [PATCH 2/2] Added method Dummy.as_nondummy()

2010-04-04 Thread Vinzent Steinberg
2010/3/31 Øyvind Jensen : > In situations where it is natural to generate dummy symbols with > Symbol.as_dummy(), the reverse process may also be useful. > > Uncommented two tests for this. > --- >  sympy/core/symbol.py            |   11 +++ >  sympy/core/tests/test_symbol.py |    4 ++-- >

Re: [PATCH 2/2] Added method Dummy.as_nondummy()

2010-04-04 Thread Øyvind Jensen
Well, I think it can be useful, especially since the commutative property is lost if you do >>> s = Symbol(dummy.name, *dummy.assumptions0) But of course, it should not go in if I am the only one who is going to use it. I see your point about the need for a cleanup in the core :-P Øyvind ma.,

Re: [PATCH 2/2] Added method Dummy.as_nondummy()

2010-04-05 Thread Ondrej Certik
On Sun, Apr 4, 2010 at 11:34 PM, Øyvind Jensen wrote: > Well,  I think it can be useful, especially since the commutative > property is lost if you do > s = Symbol(dummy.name, *dummy.assumptions0) > > But of course, it should not go in if I am the only one who is going to > use it.  I see you