From 221808e3009dadc92edaf93f7c2ced04a0c508bc Mon Sep 17 00:00:00 2001 From: cdwensley Date: Mon, 8 Jan 2024 10:51:50 +0000 Subject: [PATCH] avoid trivial function wrappers with ForAll --- CHANGES.md | 3 +++ PackageInfo.g | 4 ++-- lib/print.gi | 8 ++++---- 3 files changed, 9 insertions(+), 6 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 7609a81..46f19ca 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,8 @@ # CHANGES log for the 'Utils' package +## Version 0.84dev for GAP 4.12.2 (08/01/24) + * (08/01/24) avoid tgrivial function wrappers in List and ForAll + ## Version 0.84 for GAP 4.12.2 (11/09/23) * (11/09/23) changed manual and test for DirectSumDecompositionMatrices diff --git a/PackageInfo.g b/PackageInfo.g index 6542899..5978d35 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -7,8 +7,8 @@ SetPackageInfo( rec( PackageName := "utils", Subtitle := "Utility functions in GAP", -Version := "0.84", -Date := "11/09/2023", # dd/mm/yyyy format +Version := "0.84dev", +Date := "08/01/2024", # dd/mm/yyyy format License := "GPL-2.0-or-later", Persons := [ diff --git a/lib/print.gi b/lib/print.gi index e67be18..7175766 100644 --- a/lib/print.gi +++ b/lib/print.gi @@ -2,7 +2,7 @@ ## #W print.gi GAP4 package `Utils' Chris Wensley ## -#Y Copyright (C) 2015-2018, The GAP Group +#Y Copyright (C) 2015-2024, The GAP Group ############################################################################# ## these operations have not been transferred from any other package @@ -24,7 +24,7 @@ function( arg ) elif ( nargs = 2 ) then L := arg[2]; if IsList( L ) then - ok := ForAll( L, n -> IsPosInt(n) ); + ok := ForAll( L, IsPosInt ); if not ok then Error( "L must only contain positive integers" ); fi; @@ -120,7 +120,7 @@ function( L, posL ) local len, i; - if not ForAll( posL, n -> IsPosInt( n ) ) then + if not ForAll( posL, IsPosInt ) then Error( "posL should be a list of positive integers" ); fi; len := Length( L ); @@ -137,7 +137,7 @@ function( iter0, posL ) local iter, max, i, x; - if not ForAll( posL, n -> IsPosInt( n ) ) then + if not ForAll( posL, IsPosInt ) then Error( "posL should be a list of positive integers" ); fi; iter := ShallowCopy( iter0 );