next up previous
: dehomogenize : Macro Operators : define_ring

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 平成17年2月10日