From 1a4205fb58c09103365c2c692b6e18a96ba7d073 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 16 May 2019 14:44:17 +0200
Subject: [PATCH] Add a bunch of trivial implications

This makes various "hidden" implications created by DeclareProperty
explicit, thus fixing a bunch of warnings that show up if one starts
the upcoming GAP 4.11 with the `-N` command line option, and then
loads this package.

For some information on the background of this, see also
<https://github.com/gap-system/gap/issues/1649> and
<https://github.com/gap-system/gap/issues/2336>
---
 lib/alg2map.gd | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/alg2map.gd b/lib/alg2map.gd
index 24352fe..1008772 100644
--- a/lib/alg2map.gd
+++ b/lib/alg2map.gd
@@ -15,6 +15,8 @@ BindGlobal( "Family2dAlgebraMorphism",
 
 DeclareProperty( "IsPreXModAlgebraMorphism", Is2dAlgebraMorphism );
 DeclareProperty( "IsXModAlgebraMorphism", Is2dAlgebraMorphism );
+InstallTrueMethod(Is2dAlgebraMorphism, IsPreXModAlgebraMorphism);
+InstallTrueMethod(Is2dAlgebraMorphism, IsXModAlgebraMorphism);
 
 DeclareRepresentation( "Is2dAlgebraMorphismRep", 
     Is2dAlgebraMorphism and IsAttributeStoringRep,
@@ -40,6 +42,8 @@ DeclareOperation( "Cat1AlgebraMorphismByHoms",
 
 DeclareProperty( "IsPreCat1AlgebraMorphism", Is2dAlgebraMorphism );
 DeclareProperty( "IsCat1AlgebraMorphism", Is2dAlgebraMorphism );
+InstallTrueMethod(Is2dAlgebraMorphism, IsPreCat1AlgebraMorphism);
+InstallTrueMethod(Is2dAlgebraMorphism, IsCat1AlgebraMorphism);