Symbol _ Ring -- generator of a ring with a given name

Symbol _ Ring -- generator of a ring with a given name

Synopsis:

Usage: r = x_R

Operator: _

Input:

x, an instance of class Symbol.

R, an instance of class Ring.

Output:

r, an instance of class RingElement: the generator of the ring R whose name is x.

Next more general method: Symbol _ Thing

Code:

     -- ../../../Macaulay2/m2/ofcm.m2:176-179
     IndexedVariable _ Ring := RingElement => (x,M) -> (
          if M.?generatorsTable and M.generatorsTable#?x then M.generatorsTable#x
          else error "symbol not found in monoid"
          )