Finitely generated magmas¶
-
class
sage.categories.finitely_generated_magmas.
FinitelyGeneratedMagmas
(base_category)¶ Bases:
sage.categories.category_with_axiom.CategoryWithAxiom_singleton
The category of finitely generated (multiplicative) magmas.
See
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']
-
class
ParentMethods
¶ Bases:
object
-
magma_generators
()¶ Return distinguished magma generators for
self
.OUTPUT: a finite family
This method should be implemented by all
finitely generated magmas
.EXAMPLES:
sage: S = FiniteSemigroups().example() sage: S.magma_generators() Family ('a', 'b', 'c', 'd')
-
-
class