From 0b2f48ff3a9b1b64cd90f2b0e1f156b2fba740c9 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 1 Mar 2018 16:12:24 +0100 Subject: [PATCH] Update ShowImpliedFilters documentation --- lib/methwhy.g | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/lib/methwhy.g b/lib/methwhy.g index 04469dd9d5e..8b2e8758eca 100644 --- a/lib/methwhy.g +++ b/lib/methwhy.g @@ -280,6 +280,41 @@ end); ## ShowImpliedFilters(IsNilpotentGroup); ## Implies: +## IsListOrCollection +## IsCollection +## IsDuplicateFree +## HasIsDuplicateFree +## IsExtLElement +## CategoryCollections(IsExtLElement) +## IsExtRElement +## CategoryCollections(IsExtRElement) +## CategoryCollections(IsMultiplicativeElement) +## CategoryCollections(IsMultiplicativeElementWithOne) +## CategoryCollections(IsMultiplicativeElementWithInverse) +## IsGeneralizedDomain +## IsMagma +## IsMagmaWithOne +## IsMagmaWithInversesIfNonzero +## IsMagmaWithInverses +## IsAssociative +## HasIsAssociative +## HasMultiplicativeNeutralElement +## IsGeneratorsOfSemigroup +## HasIsGeneratorsOfSemigroup +## IsSimpleSemigroup +## HasIsSimpleSemigroup +## IsRegularSemigroup +## HasIsRegularSemigroup +## IsInverseSemigroup +## HasIsInverseSemigroup +## IsCompletelyRegularSemigroup +## HasIsCompletelyRegularSemigroup +## IsGroupAsSemigroup +## HasIsGroupAsSemigroup +## IsMonoidAsSemigroup +## HasIsMonoidAsSemigroup +## IsOrthodoxSemigroup +## HasIsOrthodoxSemigroup ## IsSupersolvableGroup ## HasIsSupersolvableGroup ## IsSolvableGroup