Update ShowImpliedFilters documentation

gap-system · May 14, 2018 · 7f0b172 · 7f0b172
1 parent d1e6ada
commit 7f0b172
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