From 4ef4c7f445267758e4beb558806836dad1adf51d Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 30 May 2018 15:54:54 +0200 Subject: [PATCH] Add some more true implications --- lib/coll.gd | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/lib/coll.gd b/lib/coll.gd index 085d105daa..73f9ea5fcf 100644 --- 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 ); #############################################################################