Bases: sage.structure.parent.Parent
EXAMPLES:
sage: from sage.monoids.monoid import Monoid_class
sage: Monoid_class(('a','b'))
<class 'sage.monoids.monoid.Monoid_class_with_category'>
TESTS:
sage: F.<a,b,c,d,e> = FreeMonoid(5)
sage: TestSuite(F).run()
Returns the generators for self.
EXAMPLES:
sage: F.<a,b,c,d,e> = FreeMonoid(5)
sage: F.gens()
(a, b, c, d, e)
Returns True if x is of type Monoid_class.
EXAMPLES:
sage: from sage.monoids.monoid import is_Monoid
sage: is_Monoid(0)
False
sage: is_Monoid(ZZ) # The technical math meaning of monoid has
... # no bearing whatsoever on the result: it's
... # a typecheck which is not satisfied by ZZ
... # since it does not inherit from Monoid_class.
False
sage: is_Monoid(sage.monoids.monoid.Monoid_class(('a','b')))
True
sage: F.<a,b,c,d,e> = FreeMonoid(5)
sage: is_Monoid(F)
True