Merge pull request #109 from mohamed-barakat/devel

renamed MeetSemilatticeOfDifferences -> MeetSemilatticeOfSingleDifferences

Author: mohamed-barakat

PackageInfo.g

@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 
 PackageName := "Locales",
 Subtitle := "Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets",
-Version := "2022.10-09",
+Version := "2022.10-10",
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",

gap/ConstructibleObjectsAsUnionOfSingleDifferences.gi

@@ -67,7 +67,7 @@ InstallMethod( BooleanAlgebraOfConstructibleObjectsAsUnionOfDifferences,
     SetIsBooleanAlgebra( C, true );
 
     SetUnderlyingCategory( C, P );
-    SetUnderlyingMeetSemilatticeOfDifferences( C, MeetSemilatticeOfDifferences( P ) );
+    SetUnderlyingMeetSemilatticeOfDifferences( C, MeetSemilatticeOfSingleDifferences( P ) );
 
     AddObjectRepresentation( C, IsConstructibleObjectAsUnionOfSingleDifferences );
 

gap/MultipleDifferences.gi

@@ -53,7 +53,7 @@ InstallMethod( MeetSemilatticeOfMultipleDifferences,
 
     SetUnderlyingCategory( D, P );
 
-    SetUnderlyingCategoryOfSingleDifferences( D, MeetSemilatticeOfDifferences( P ) );
+    SetUnderlyingCategoryOfSingleDifferences( D, MeetSemilatticeOfSingleDifferences( P ) );
 
     AddObjectRepresentation( D, IsObjectInMeetSemilatticeOfMultipleDifferences );
 
@@ -339,7 +339,7 @@ InstallMethod( EquivalenceToMeetSemilatticeOfDifferences,
     local S, T, squash;
 
     S := MeetSemilatticeOfMultipleDifferences( P );
-    T := MeetSemilatticeOfDifferences( P );
+    T := MeetSemilatticeOfSingleDifferences( P );
 
     squash := CapFunctor( "Equivalence from the meet-semilattice of formal multiple differences to the meet-semilattice of formal single differences", S, T );
 

gap/SingleDifferences.gd

@@ -89,7 +89,7 @@ DeclareOperation( "DistinguishedSubtrahend",
 #!  Construct the meet-semilattice of differences from the lattice <A>L</A>.
 #! @Arguments L
 #! @Returns a &CAP; category
-DeclareAttribute( "MeetSemilatticeOfDifferences",
+DeclareAttribute( "MeetSemilatticeOfSingleDifferences",
         IsCapCategory );
 
 DeclareOperation( "SingleDifference",

gap/SingleDifferences.gi

@@ -29,14 +29,14 @@ InstallOtherMethodForCompilerForCAP( SingleDifference,
 end );
 
 ##
-InstallMethod( MeetSemilatticeOfDifferences,
+InstallMethod( MeetSemilatticeOfSingleDifferences,
         "for a CAP category",
         [ IsCapCategory and IsThinCategory ],
 
   function( P )
     local name, D, L;
 
-    name := "The meet-semilattice of differences of ";
+    name := "The meet-semilattice of single differences of ";
 
     name := Concatenation( name, Name( P ) );
 
@@ -185,7 +185,7 @@ InstallMethod( \-,
         Error( "the arguments A and B are in different categories\n" );
     fi;
 
-    D := MeetSemilatticeOfDifferences( H );
+    D := MeetSemilatticeOfSingleDifferences( H );
 
     return SingleDifference( D, Pair( A, B ) );
 
@@ -245,7 +245,7 @@ InstallMethod( FormalDifferenceOfNormalizedObjects,
   function( A, B )
     local D, C;
 
-    D := MeetSemilatticeOfDifferences( CapCategory( A ) );
+    D := MeetSemilatticeOfSingleDifferences( CapCategory( A ) );
 
     C := CreateCapCategoryObjectWithAttributes( D,
                  NormalizedMinuendAndSubtrahendInUnderlyingHeytingOrCoHeytingAlgebra, [ A, B ],

tst/NormalizeObject.tst

@@ -22,7 +22,7 @@ gap> Oy := OpenSubsetOfSpec( "x" / R );
 D_{Q[x,y]}( <...> )
 gap> Oxy := OpenSubsetOfSpec( "x*y" / R );
 D_{Q[x,y]}( <...> )
-gap> SD := MeetSemilatticeOfDifferences( CapCategory( Oy ) );;
+gap> SD := MeetSemilatticeOfSingleDifferences( CapCategory( Oy ) );;
 gap> OD := SingleDifference( SD, Pair( Oy, Oxy ) );
 D_{Q[x,y]}( I ) \ D_{Q[x,y]}( J )
 gap> Display( OD );