Replaced BoundPositions by PositionsProperty

to get rid of hidden FGA dependence. Closes homalg-project#117.
sebasguts · Jul 4, 2018 · 94bbae7 · 94bbae7
1 parent 8346803
commit 94bbae7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -9,7 +9,7 @@ Version := Maximum( [
   ## this line prevents merge conflicts
   "2015.04.01", ## Oystein's version
   ## this line prevents merge conflicts
-  "2018.05.22", ## Sebas' version
+  "2018.07.04", ## Sebas' version
   ## this line prevents merge conflicts
   "2018.02.27", ## Sepp's version
 ] ),
@@ -94,7 +94,7 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">= 4.6",
+  GAP := ">= 4.9.1",
   NeededOtherPackages := [ [ "AutoDoc", ">= 2016.02.16" ],
                            [ "ToolsForHomalg", ">= 2018.05.22" ],
                            [ "io", ">=0" ],

diff --git a/CAP/gap/ToolsForCategories.gi b/CAP/gap/ToolsForCategories.gi
@@ -744,7 +744,7 @@ InstallGlobalFunction( CachingStatistic,
             Print( "crisp cache, " );
         fi;
         Print( "hits: ", String( current_cache!.hit_counter ), ", misses: ", String( current_cache!.miss_counter ), ", " );
-        Print( String( Length( BoundPositions( current_cache!.value ) ) ), " objects stored\n" );
+        Print( String( Length( PositionsProperty( current_cache!.value, ReturnTrue ) ) ), " objects stored\n" );
     od;
 
 end );
@@ -781,7 +781,7 @@ if IsPackageMarkedForLoading( "Browse", ">=0" ) then
                 Add( current_list, "crisp" );
             fi;
 
-            Append( current_list, [ current_cache!.hit_counter, current_cache!.miss_counter, Length( BoundPositions( current_cache!.value ) ) ] );
+            Append( current_list, [ current_cache!.hit_counter, current_cache!.miss_counter, Length( PositionsProperty( current_cache!.value, ReturnTrue ) ) ] );
             Add( value_matrix, current_list );
         od;