fixup ShowImpliedFilters documentation

gap-system · Mar 1, 2018 · fef3c02 · fef3c02
1 parent af3da8d
commit fef3c02
Showing 1 changed file with 35 additions and 0 deletions.
diff --git a/lib/methwhy.g b/lib/methwhy.g
@@ -280,6 +280,41 @@ end);
 ##  <Example><![CDATA[
 ##  gap> 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