#############################################################################
##
#W congrees.xml
#Y Copyright (C) 2015 Michael Young
##
## Licensing information can be found in the README file of this package.
##
#############################################################################
##
<#GAPDoc Label="SemigroupIdealOfReesCongruence">
<ManSection>
<Attr Name = "SemigroupIdealOfReesCongruence" Arg = "cong"/>
<Returns>A semigroup ideal.</Returns>
<Description>
If <A>cong</A> is a rees congruence (see <Ref Prop = "IsReesCongruence"
BookName = "ref"/>) then this attribute returns the two-sided ideal that was
used to define it, i.e.~the ideal of elements in the only non-trivial
congruence class of <A>cong</A>.
<#GAPDoc Label="IsReesCongruenceClass">
<ManSection>
<Filt Name = "IsReesCongruenceClass" Arg = "obj"Type = "category"/>
<Returns><K>true</K> or <K>false</K>.</Returns>
<Description>
This category describes a congruence class of a Rees congruence. A
congruence class of a Rees congruence either contains all the elements of
an ideal, or is a singleton (see <Ref Prop = "IsReesCongruence"
BookName = "ref"/>).<P/>
An object of this type may be used in the same way as any other congruence
class object.
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
