next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
Monoid -- the class of all monoids
Description
A monoid is a set with a multiplicative operation on it and an identity element. A typical monoid is the set of monomials in a polynomial ring, which we consider to be created before the polynomial ring is created.
Types of monoid :
OrderedMonoid
-- the class of all ordered monoids
Functions and methods returning a monoid :
degreesMonoid(GeneralOrderedMonoid), see
degreesMonoid
-- get the monoid of degrees
Monoid ** Monoid
-- tensor product of monoids
tensor(Monoid,Monoid), see
tensor
-- tensor product
Methods that use a monoid :
options(Monoid)
-- get values used for optional arguments
use(Monoid), see
use(Ring)
-- install ring variables and ring operations
For the programmer
The object
Monoid
is
a
type
, with ancestor classes
Type
<
MutableHashTable
<
HashTable
<
Thing
.