From 7a689a6aa1ac18bd46df2c84510b514394cf8697 Mon Sep 17 00:00:00 2001 From: Thomas Breuer Date: Fri, 29 Sep 2023 16:00:32 +0200 Subject: [PATCH] `SubgroupProperty` works only for perm. groups (#5513) Mention this in the documentation. --- lib/stbcbckt.gd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/stbcbckt.gd b/lib/stbcbckt.gd index 3c719121e4..b564be57c3 100644 --- a/lib/stbcbckt.gd +++ b/lib/stbcbckt.gd @@ -135,7 +135,7 @@ DeclareGlobalFunction( "ElementProperty" ); ## ## ## Pr must be a one-argument function that returns true or -## false for elements of the group G, +## false for elements of the permutation group G, ## and the subset of elements of G that fulfill Pr must ## be a subgroup. (If the latter is not true the result of this operation ## is unpredictable!) This command computes this subgroup.