What is the difference between SR.var() and var()?
Is this a bug?
If you type:
sage: SR.var('a')
a
sage: a?
Object `a` not found.
However, this works:
sage: var('a')
a
sage: a?
Type: Expression
String form: a
....