Merge pull request #158 from mohamed-barakat/Julia

support MapOfFinSets for SkeletalFinSets in Julia
homalg-project · Dec 12, 2022 · 4d4bdd7 · 4d4bdd7
2 parents 54eebdc + e5be587
commit 4d4bdd7
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2022.12-01",
+Version := "2022.12-02",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",

diff --git a/gap/Julia.gi b/gap/Julia.gi
@@ -19,7 +19,7 @@ end );
 
 ##
 InstallMethod( MapOfFinSets,
-        [ IsCapCategoryObject, IsJuliaObject, IsCapCategoryObject ],
+        [ IsFiniteSet, IsJuliaObject, IsFiniteSet ],
 
   function ( source, graph, range )
 
@@ -30,3 +30,13 @@ InstallMethod( MapOfFinSets,
     return MapOfFinSets( source, graph, range );
 
 end );
+
+##
+InstallMethod( MapOfFinSets,
+        [ IsSkeletalFiniteSet, IsJuliaObject, IsSkeletalFiniteSet ],
+
+  function ( source, graph, range )
+
+    return MapOfFinSets( source, ConvertJuliaToGAP( graph ), range );
+
+end );