diff --git a/gap/SubfieldMatrixGroups.gi b/gap/SubfieldMatrixGroups.gi index 9f34eb6e..dedb6a40 100644 --- a/gap/SubfieldMatrixGroups.gi +++ b/gap/SubfieldMatrixGroups.gi @@ -285,17 +285,17 @@ function (d, p, e, f) local F, q0, b, gens, l, zeta, omega, zetaPower, C, gen; if IsOddInt(d) then - ErrorNoReturn("Dimension must be even."); + ErrorNoReturn(" must be even."); fi; if e mod f <> 0 then - ErrorNoReturn(" must be a divisor of "); + ErrorNoReturn(" must be a divisor of ."); fi; b := QuoInt(e, f); if not IsPrime(b) then - ErrorNoReturn("The quotient of by must be a prime"); + ErrorNoReturn("the quotient of by must be a prime."); fi; F := GF(p ^ e); diff --git a/tst/standard/SubfieldMatrixGroups.tst b/tst/standard/SubfieldMatrixGroups.tst index f8cb85f5..6452ae79 100644 --- a/tst/standard/SubfieldMatrixGroups.tst +++ b/tst/standard/SubfieldMatrixGroups.tst @@ -87,3 +87,9 @@ gap> TestSubfieldSp := function(args) gap> testsSubfieldSp := [[6, 2, 2, 1], [4, 3, 2, 1], [4, 3, 4, 2], [4, 7, 2, 1]];; gap> ForAll(testsSubfieldSp, TestSubfieldSp); true +gap> SubfieldSp(3, 2, 2, 1); +Error, must be even. +gap> SubfieldSp(4, 2, 1, 2); +Error, must be a divisor of . +gap> SubfieldSp(4, 2, 4, 1); +Error, the quotient of by must be a prime.