Max Horn

So, how should we deal with cases like `[ Z(2)^0, 1 ]` ? Right now, `SetIsSSortedList` does nothing with it. We could - ... leave it at that; - a...

I've added a test now based on @ThomasBreuer original bug report. While this is perhaps not perfect and more could be done, I think it is safe to merge: it...

Also, `DefaultFieldOfMatrix` must always be a ring by its name and its documentation. Of course one can cheat and let it return anything, but that's off-spec and I am sure...

The test failure is caused by the semigroups package. Without it: ```gap gap> Matrix(Integers, [[1,2],[3,4]]); gap> BaseDomain(last); Integers ``` With semigroups loaded: ``` gap> Matrix(Integers, [[1,2],[3,4]]); Matrix(IsIntegerMatrix, [[1, 2], [3,...

I agree that these checks should be made. In addition, perhaps we should also change `OnPoints`, `OnPairs`, `OnTuples` and `OnSets` to validate their input more. Because that's is the underlying...

If you mean OnSets etc: The test would be a simple TNUM test in the kernel in the code for non-permutations. I strongly doubt that would have a measurable overhead....

I am fine either way, but I do think that `ListPerm` should raise an error if the arguments have nonsense type.

This is not a regression in the sense of the label here, which is defined (see mouse over) as a bug that exists in the branch but not the previous...

As you point out, there is no equidistribution on the integers. Nor does `Random(Integers)` do anything clever or useful (and actually, I wish it did not exist at all, at...

For me this would be a last resort: For years I've been working hard on *eliminating* global state in the GAP kernel, so I am reluctant to add more of...