Add some more true implications

gap-system · Jun 7, 2018 · 4ef4c7f · 4ef4c7f
1 parent a07195d
commit 4ef4c7f
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/lib/coll.gd b/lib/coll.gd
@@ -1415,9 +1415,10 @@ InstallFactorMaintenance( IsTrivial,
 ##
 DeclareProperty( "IsNonTrivial", IsCollection );
 
-# true methods to avoid immediate methods 
-InstallTrueMethod(HasIsTrivial,IsNonTrivial);
-InstallTrueMethod(HasIsNonTrivial,IsTrivial);
+InstallTrueMethod( IsNonTrivial, IsEmpty );
+InstallTrueMethod( HasIsTrivial, IsNonTrivial );
+InstallTrueMethod( HasIsEmpty, IsTrivial );
+InstallTrueMethod( HasIsNonTrivial, IsTrivial );
 
 
 #############################################################################
@@ -1451,6 +1452,7 @@ InstallFactorMaintenance( IsFinite,
     IsCollection and IsFinite, IsObject, IsCollection );
 
 InstallTrueMethod( IsFinite, IsTrivial );
+InstallTrueMethod( IsFinite, IsEmpty );
 
 
 #############################################################################