RAQ/gap/byconj.gd
2017-10-21 01:02:48 +02:00

25 lines
776 B
GDScript3

# byconj.gd RAQ Quandles by conjugation
# The following outline of defining c
DeclareCategory( "IsConjugatorObject",
IsMultiplicativeElement and IsLeftQuotientElement and
IsLSelfDistElement and IsIdempotent);
DeclareCategoryCollections("IsConjugatorObject");
DeclareAttribute("ConjugatorFamily", IsFamily);
DeclareSynonym("IsDefaultConjugatorObject",
IsConjugatorObject and IsPositionalObjectOneSlotRep);
DeclareAttribute("ConjugatorObj",
IsMultiplicativeElement and IsLeftQuotientElement and
IsRightQuotientElement
);
DeclareAttribute("UnderlyingMultiplicativeElement", IsConjugatorObject);
# The meat of the matter:
DeclareAttribute("ConjugationQuandle", IsGroup);