vars(GeneralOrderedMonoid) -- row matrix of the variables

Synopsis

• Usage:

  vars M

• Function: vars
• Inputs:

  • R, a general ordered monoid
• Outputs:

  • a list, a list of the generators of M

Description

i1 : M = monoid[x,y,z]

o1 = M

o1 : GeneralOrderedMonoid

i2 : vars M

o2 = {x, y, z}

o2 : List