vars -- variables

Ways to use vars :

• vars(GeneralOrderedMonoid) -- row matrix of the variables
• vars(List) -- a sequence of variables
• vars(Sequence), see vars(List) -- a sequence of variables
• vars(ZZ), see vars(List) -- a sequence of variables
• vars(Ring) -- row matrix of the variables