Symbol _ Thing

Symbol _ Thing

Synopsis:

Operator: _

Input:

an instance of class Symbol.

an instance of class Thing.

Output:

an instance of class IndexedVariable.

Code:

     -- ../../../Macaulay2/m2/variables.m2:37-45
     Symbol _ Thing := IndexedVariable => (v,i) -> (
          if class value v === IndexedVariableTable
          then new IndexedVariable from {value v,i}
          else (
               v <- x := new IndexedVariableTable from {
                    symbol name => toString v,
                    symbol Symbol => v
                    };
               new IndexedVariable from {x,i}))