Hot-keys on this page
r m x p toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
r""" Finitely generated magmas """ #***************************************************************************** # Copyright (C) 2014 Nicolas M. Thiery <nthiery at users.sf.net> # # Distributed under the terms of the GNU General Public License (GPL) # http://www.gnu.org/licenses/ #******************************************************************************
r""" The category of finitely generated (multiplicative) magmas.
See :meth:`Magmas.SubcategoryMethods.FinitelyGeneratedAsMagma` for details.
EXAMPLES::
sage: C = Magmas().FinitelyGeneratedAsMagma(); C Category of finitely generated magmas sage: C.super_categories() [Category of magmas] sage: sorted(C.axioms()) ['FinitelyGeneratedAsMagma']
TESTS::
sage: TestSuite(C).run() """
def magma_generators(self): """ Return distinguished magma generators for ``self``.
OUTPUT: a finite family
This method should be implemented by all :class:`finitely generated magmas <FinitelyGeneratedMagmas>`.
EXAMPLES::
sage: S = FiniteSemigroups().example() sage: S.magma_generators() Family ('a', 'b', 'c', 'd') """ |