next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: Symbol _ Thing = Thing

Symbol _ Thing = Thing -- assignment to an indexed variable

Synopsis

Description

i1 : x_a

o1 = x
      a

o1 : IndexedVariable
i2 : x_a = b

o2 = b

o2 : Symbol
i3 : x_a

o3 = b

o3 : Symbol
i4 : x_c

o4 = x
      c

o4 : IndexedVariable
i5 : x_c = d

o5 = d

o5 : Symbol
i6 : x_c

o6 = d

o6 : Symbol
The source code explains how it works, behind the scenes.
    -- code for method: Symbol _ Thing
    ../../../../../../../Macaulay2/m2/variables.m2:47:25-47:56: --source code:
    Symbol _ Thing := (X,i) -> new IndexedVariable from {X,i}
    ---------------------------------
    -- code for method: Symbol _ Thing = Thing
    ../../../../../../../Macaulay2/m2/variables.m2:55:26-58:13: --source code:
    Symbol _ Thing = (x,i,e) -> (
         x' := value x;
         if not instance(x',IndexedVariableTable) then x' = new IndexedVariableTable from x;
         x'_i = e)
i7 : peek x

o7 = IndexedVariableTable{a => b      }
                          c => d
                          symbol$ => x

See also