Merge pull request #49 from mohamed-barakat/devel

comply to homalg-project/Locales#99
homalg-project · Oct 25, 2022 · f7f4c99 · f7f4c99
2 parents 59cc9a6 + c8b81f3
commit f7f4c99
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ZariskiFrames",
 Subtitle := "(Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties",
-Version := "2022.09-04",
+Version := "2022.10-01",
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
@@ -104,7 +104,7 @@ Dependencies := rec(
                    [ "CAP", ">= 2019.01.16" ],
                    [ "Toposes", ">= 2019.01.20" ],
                    [ "CategoryConstructor", ">= 2022.05-07" ],
-                   [ "Locales", ">= 2022.09-06" ],
+                   [ "Locales", ">= 2022.10-02" ],
                    [ "ToolsForHomalg", ">= 2021.10-02" ],
                    [ "MatricesForHomalg", ">= 2019.07.01" ],
                    [ "GaussForHomalg", ">= 2019.01.10" ],

diff --git a/gap/ZariskiFrame.gi b/gap/ZariskiFrame.gi
@@ -74,7 +74,7 @@ InstallMethod( Closure,
     H := UnderlyingCategory( CapCategory( A ) );
 
     if HasIsCartesianClosedCategory( H ) and IsCartesianClosedCategory( H ) then
-        return ComplementAsClosedSubset( NormalizedPairInUnderlyingHeytingOrCoHeytingAlgebra( A )[2] );
+        return ComplementAsClosedSubset( NormalizedMinuendAndSubtrahendInUnderlyingHeytingOrCoHeytingAlgebra( A )[2] );
     fi;
 
     TryNextMethod( );

diff --git a/gap/ZariskiFrameOrCoframe.gi b/gap/ZariskiFrameOrCoframe.gi
@@ -714,7 +714,7 @@ InstallMethod( Pullback,
   function( phi, A )
     local B;
 
-    B := List( PairInUnderlyingLattice( A ), a -> Pullback( phi, a ) );
+    B := List( MinuendAndSubtrahendInUnderlyingLattice( A ), a -> Pullback( phi, a ) );
 
     B := B[1] - B[2];
 
@@ -1058,13 +1058,13 @@ InstallMethod( CanonicalObject,
   LocallyClosedPart );
 
 ##
-InstallMethod( StandardPairInUnderlyingHeytingOrCoHeytingAlgebra,
+InstallMethod( StandardMinuendAndSubtrahendInUnderlyingHeytingOrCoHeytingAlgebra,
         "for an object in a meet-semilattice of formal single differences",
         [ IsObjectInMeetSemilatticeOfSingleDifferences ],
 
   function( A )
 
-    A := NormalizedPairInUnderlyingHeytingOrCoHeytingAlgebra( A );
+    A := NormalizedMinuendAndSubtrahendInUnderlyingHeytingOrCoHeytingAlgebra( A );
 
     List( A, StandardizeObject );