From 94bbae784a239efcf19e27c94da07bb48b514b24 Mon Sep 17 00:00:00 2001 From: Sebastian Gutsche Date: Wed, 4 Jul 2018 12:18:16 +0200 Subject: [PATCH] Replaced BoundPositions by PositionsProperty to get rid of hidden FGA dependence. Closes #117. --- CAP/PackageInfo.g | 4 ++-- CAP/gap/ToolsForCategories.gi | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g index c46c5383cc..5431c6ab9e 100644 --- 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 index 594a2b6858..63801e2036 100644 --- 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;