define_ring_variables

It binds  a variable <<a>> in the current ring to the sm1 variable <<a>>.
For example, if x is a variable in the current ring, it defines the sm1
variable x by /x (x) def



Nobuki Takayama 2020-11-24