Magma Rings
<#Include Label="[1]{mgmring}">

Free Magma Rings
<#Include Label="FreeMagmaRing"> <#Include Label="GroupRing"> <#Include Label="IsFreeMagmaRing"> <#Include Label="IsFreeMagmaRingWithOne"> <#Include Label="IsGroupRing"> <#Include Label="UnderlyingMagma"> <#Include Label="AugmentationIdeal">

Elements of Free Magma Rings
<#Include Label="[2]{mgmring}"> <#Include Label="IsMagmaRingObjDefaultRep"> <#Include Label="IsElementOfFreeMagmaRing"> <#Include Label="IsElementOfFreeMagmaRingFamily"> <#Include Label="CoefficientsAndMagmaElements"> <#Include Label="ZeroCoefficient"> <#Include Label="ElementOfMagmaRing">

Natural Embeddings related to Magma Rings
<#Include Label="[3]{mgmring}">

Magma Rings modulo Relations
<#Include Label="[4]{mgmring}"> <#Include Label="IsElementOfMagmaRingModuloRelations"> <#Include Label="IsElementOfMagmaRingModuloRelationsFamily"> <#Include Label="NormalizedElementOfMagmaRingModuloRelations"> <#Include Label="IsMagmaRingModuloRelations">

Magma Rings modulo the Span of a Zero Element
<#Include Label="IsElementOfMagmaRingModuloSpanOfZeroFamily"> <#Include Label="IsMagmaRingModuloSpanOfZero"> <#Include Label="MagmaRingModuloSpanOfZero">

Technical Details about the Implementation of Magma Rings
<#Include Label="[5]{mgmring}">