Update ShowImpliedFilters documentation

gap-system · May 29, 2018 · 479f0c9 · 479f0c9
1 parent 3252d1e
commit 479f0c9
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/lib/methwhy.g b/lib/methwhy.g
@@ -285,6 +285,31 @@ end);
 ##  <Example><![CDATA[
 ##  gap> ShowImpliedFilters(IsNilpotentGroup);
 ##  Implies:
+##     IsListOrCollection
+##     IsCollection
+##     IsDuplicateFree
+##     IsExtLElement
+##     CategoryCollections(IsExtLElement)
+##     IsExtRElement
+##     CategoryCollections(IsExtRElement)
+##     CategoryCollections(IsMultiplicativeElement)
+##     CategoryCollections(IsMultiplicativeElementWithOne)
+##     CategoryCollections(IsMultiplicativeElementWithInverse)
+##     IsGeneralizedDomain
+##     IsMagma
+##     IsMagmaWithOne
+##     IsMagmaWithInversesIfNonzero
+##     IsMagmaWithInverses
+##     IsAssociative
+##     HasMultiplicativeNeutralElement
+##     IsGeneratorsOfSemigroup
+##     IsSimpleSemigroup
+##     IsRegularSemigroup
+##     IsInverseSemigroup
+##     IsCompletelyRegularSemigroup
+##     IsGroupAsSemigroup
+##     IsMonoidAsSemigroup
+##     IsOrthodoxSemigroup
 ##     IsSupersolvableGroup
 ##     IsSolvableGroup
 ##     IsNilpotentByFinite