Hi David,
Thanks for picking this up. I wanted to comment that in your example,
the two symbols are defined differently:
Symbol("x", positive=True)
Symbol("x")
that is to say, with different assumptions. For the issue that I was
reporting, the two symbols that were defined with identical assumptions,
but were nevertheless being treated differently.
I do agree that if it's possible for a user to declare two different
symbols that have the same name (as the first argument of Symbol) but
which are not the same, this is likely to lead to confusion. On the
other hand, there must be a notion of the scope of a declaration.
It's helpful (within a function for example) to be able to define a
symbol which has its scope limited to that function, even if (perhaps
unknown to the programmer) the Symbol shares its first argument name
with another Symbol declared in a different scope. Unfortunately I
don't know enough about python and sympy to know if my old-fashioned
"procedural" notions of scope apply here.
Cheers,
Bruce
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/a0eeb1d5-b475-3b94-4b07-9e1314af4b9b%40googlemail.com.
