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-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 1/2] Fix for Symbol.as_dummy() loosing commutative property

2010-04-04 Thread Vinzent Steinberg
2010/3/31 Øyvind Jensen : > Added a test. > --- >  sympy/core/symbol.py            |    2 +- >  sympy/core/tests/test_symbol.py |   12 >  2 files changed, 13 insertions(+), 1 deletions(-) > > diff --git a/sympy/core/symbol.py b/sympy/core/symbol.py > index 8f5db2a..e405fbb 100644 > ---

Re: Fix for Symbol.as_dummy() loosing commutative property

2010-04-04 Thread Vinzent Steinberg
2010/4/3 Vinzent Steinberg : > 2010/4/3 Aaron S. Meurer : >> I think this is more or less what I meant.  When I said, "global >> assumptions," I meant assumptions that you can stick with a symbol >> throughout a scope, as opposed to having to manually tack on an Assume >> object whenever you wan