[top][index]
search for:

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

Synopsis:

  • Usage: r = x_R
  • Operator: _
  • Input:
  • x, an instance of class IndexedVariable.
  • R, an instance of class Ring.
  • Output:
  • r, an instance of class RingElement: the generator of the ring R whose name is the same as that of x.
  • 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"
              )

    [top][index]
    search for: