Skip to content

Commit

Permalink
Minor test fix
Browse files Browse the repository at this point in the history
  • Loading branch information
Jun2M committed Feb 11, 2024
1 parent 1ec0a1a commit f35961a
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 22 deletions.
3 changes: 3 additions & 0 deletions gap/semigroups/semicons.gi
Original file line number Diff line number Diff line change
Expand Up @@ -418,6 +418,9 @@ function(arg...)
elif Length(arg) = 2 then
filter := arg[1];
n := arg[2];
else
ErrorNoReturn("the arguments must be a positive integer or a filter ",
"and a positive integer");
fi;

if not IsPosInt(n) or not IsOperation(filter) then
Expand Down
22 changes: 0 additions & 22 deletions tst/standard/semigroups/semicons.tst
Original file line number Diff line number Diff line change
Expand Up @@ -510,9 +510,6 @@ eger
gap> S := FreeSemilattice(IsPartialPermSemigroup, true);
Error, the arguments must be a positive integer or a filter and a positive int\
eger
gap> S := FreeSemilattice(IsMaxPlusMatrixSemigroup, 100);
<semigroup of size 1267650600228229401496703205375,
101x101 max-plus matrices with 100 generators>
# constructions: FreeSemilattice: known properties and attributes, 17
gap> S := FreeSemilattice(17);;
Expand All @@ -531,25 +528,6 @@ gap> S := FreeSemilattice(5);
gap> S := FreeSemilattice(21);
<transformation semigroup of size 2097151, degree 22 with 21 generators>
The optional argument <A>filt</A> may be one of the following:
<List>
<Item><C>IsTransformationSemigroup</C>
(the default, if <A>filt</A> is not specified),</Item>
<Item><C>IsPartialPermSemigroup</C>,</Item>
<Item><C>IsFpSemigroup</C>,</Item>
<Item><C>IsBipartitionSemigroup</C>,</Item>
<Item><C>IsPBRSemigroup</C>,</Item>
<Item><C>IsBooleanMatSemigroup</C>,</Item>
<Item><C>IsNTPMatrixSemigroup</C>,</Item>
<Item><C>IsMaxPlusMatrixSemigroup</C>,</Item>
<Item><C>IsMinPlusMatrixSemigroup</C>,</Item>
<Item><C>IsTropicalMaxPlusMatrixSemigroup</C>,</Item>
<Item><C>IsTropicalMinPlusMatrixSemigroup</C>,</Item>
<Item><C>IsProjectiveMaxPlusMatrixSemigroup</C>,</Item>
<Item><C>IsIntegerMatrixSemigroup.</C></Item>
</List>
# constructions: FreeSemilattice: transformation semigroup
gap> S := FreeSemilattice(IsTransformationSemigroup, 1);
<trivial transformation group of degree 2 with 1 generator>
Expand Down

0 comments on commit f35961a

Please sign in to comment.