Manual example of properties

gap-system · Apr 26, 2018 · 29132cf · 29132cf
1 parent 6598dc4
commit 29132cf
Showing 1 changed file with 20 additions and 21 deletions.
diff --git a/lib/object.gd b/lib/object.gd
@@ -706,31 +706,30 @@ DeclareOperation( "KnownPropertiesOfObject", [ IsObject ] );
 ##  <Example><![CDATA[
 ##  gap> g:=Group((1,2),(1,2,3));;
 ##  gap> KnownPropertiesOfObject(g);
-##  [ "IsEmpty", "IsTrivial", "IsNonTrivial", "IsFinite", 
-##    "CanEasilyCompareElements", "CanEasilySortElements", 
-##    "IsDuplicateFree", "IsGeneratorsOfMagmaWithInverses", 
-##    "IsAssociative", "IsGeneratorsOfSemigroup", "IsSimpleSemigroup", 
-##    "IsRegularSemigroup", "IsInverseSemigroup", 
-##    "IsCompletelyRegularSemigroup", "IsCompletelySimpleSemigroup", 
-##    "IsGroupAsSemigroup", "IsMonoidAsSemigroup", "IsOrthodoxSemigroup", 
-##    "IsFinitelyGeneratedGroup", "IsSubsetLocallyFiniteGroup", 
-##    "KnowsHowToDecompose", "IsPerfectGroup", "IsSolvableGroup", 
-##    "IsPolycyclicGroup", "IsInfiniteAbelianizationGroup", 
+##  [ "IsEmpty", "IsTrivial", "IsNonTrivial", "IsFinite",
+##    "CanEasilyCompareElements", "CanEasilySortElements",
+##    "IsDuplicateFree", "IsGeneratorsOfMagmaWithInverses",
+##    "IsAssociative", "IsGeneratorsOfSemigroup", "IsSimpleSemigroup",
+##    "IsRegularSemigroup", "IsInverseSemigroup",
+##    "IsCompletelyRegularSemigroup", "IsCompletelySimpleSemigroup",
+##    "IsGroupAsSemigroup", "IsMonoidAsSemigroup", "IsOrthodoxSemigroup",
+##    "IsFinitelyGeneratedGroup", "IsSubsetLocallyFiniteGroup",
+##    "KnowsHowToDecompose", "IsInfiniteAbelianizationGroup",
 ##    "IsNilpotentByFinite", "IsTorsionFree", "IsFreeAbelian" ]
 ##  gap> Size(g);
 ##  6
 ##  gap> KnownPropertiesOfObject(g);
-##  [ "IsEmpty", "IsTrivial", "IsNonTrivial", "IsFinite", 
-##    "CanEasilyCompareElements", "CanEasilySortElements", 
-##    "IsDuplicateFree", "IsGeneratorsOfMagmaWithInverses", 
-##    "IsAssociative", "IsGeneratorsOfSemigroup", "IsSimpleSemigroup", 
-##    "IsRegularSemigroup", "IsInverseSemigroup", 
-##    "IsCompletelyRegularSemigroup", "IsCompletelySimpleSemigroup", 
-##    "IsGroupAsSemigroup", "IsMonoidAsSemigroup", "IsOrthodoxSemigroup", 
-##    "IsFinitelyGeneratedGroup", "IsSubsetLocallyFiniteGroup", 
-##    "KnowsHowToDecompose", "IsSolvableGroup", "IsPolycyclicGroup", 
-##    "IsInfiniteAbelianizationGroup", "IsNilpotentByFinite", 
-##    "IsTorsionFree", "IsFreeAbelian" ]
+##  [ "IsEmpty", "IsTrivial", "IsNonTrivial", "IsFinite",
+##    "CanEasilyCompareElements", "CanEasilySortElements",
+##    "IsDuplicateFree", "IsGeneratorsOfMagmaWithInverses",
+##    "IsAssociative", "IsGeneratorsOfSemigroup", "IsSimpleSemigroup",
+##    "IsRegularSemigroup", "IsInverseSemigroup",
+##    "IsCompletelyRegularSemigroup", "IsCompletelySimpleSemigroup",
+##    "IsGroupAsSemigroup", "IsMonoidAsSemigroup", "IsOrthodoxSemigroup",
+##    "IsFinitelyGeneratedGroup", "IsSubsetLocallyFiniteGroup",
+##    "KnowsHowToDecompose", "IsPerfectGroup", "IsSolvableGroup",
+##    "IsPolycyclicGroup", "IsInfiniteAbelianizationGroup",
+##    "IsNilpotentByFinite", "IsTorsionFree", "IsFreeAbelian" ]
 ##  gap> KnownTruePropertiesOfObject(g);
 ##  [ "IsNonTrivial", "IsFinite", "CanEasilyCompareElements", 
 ##    "CanEasilySortElements", "IsDuplicateFree",