This is not a bug, SR.var('a') returns the symbol "a" without touching the namespace, while var('a') both returns the symbol "a" and lets the Python name a points to that symbol. You can do:
sage: a = SR.var('a')
sage: a
a
or to see the difference between the symbol and the Python name that points to it:
sage: b = SR.var('a')
sage: b
a
sage: b+b
2*a
I am not sure I follow the design decision. This looks like two different name spaces. One is the Python one which seems to be where the interface lives, the other a sage one to which there is just indirect access. Is that correct? And why would omitting the assignment on the second one does not cause the same problem as in the first one?
No, there is only the Python namespace involvd here. The symbol SR.var('a') is definitely not a "variable" or a "name", it is a mathematical symbol, that can only be used in symbolic expressions such as sin(a)+sqrt(a), it can not be used to point to any kind of mathematical object.
When you write b = sqrt(2), there is no doubt about the symbolic nature of sqrt(2) that represents the mathematical expression $\sqrt{2}$, same for sqrt(2+SR.var('a')) that represents the mathematical expression $\sqrt{2 + a}$, same for SR.var('a') that represents the mathematical expression $a$.
The var function is just a wrapper that does two things :
SR.var('a')SR.var('a')Asked: 2020-09-27 20:27:55 +0100
Seen: 2,009 times
Last updated: Sep 27 '20
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
