value(ChernClassVariable) -- the value of a Chern class symbol

Synopsis

• Function: value

• Usage:

  value v

• Inputs:
  • v,
• Outputs:
  • The value of v.

Description

i1 : x = chern_3 E

o1 = c E
      3

o1 : ChernClassVariable

i2 : chern_3 E <- 444

o2 = 444

i3 : E

o3 = E

o3 : ChernClassVariableTable

i4 : x

o4 = c E
      3

o4 : ChernClassVariable

i5 : value x

o5 = 444

See also

• ChernClassVariableTable -- the class of all Chern class variable tables