Alexander Hulpke

What happens is that the routine, before computing an orbit, checks whether domain has prime length, and in this case returns the full domain (without checking transitivity). One could add...

This is an interesting question: What should `Inverse` do for a matrix declared over a ring, which is invertible over the fraction field? And should `Matrix` check whether the given...

That seems to indicate that we should introduce `MatrixNC`, rename the existing method to `MatrixNC`, and add a wrapper function `Matrix` that tests for membership in the domain. I think...

Thank you. So the issue is: If we calculate in a group, we want to inherit a nice monomorphism from a parent, only if it already exists. (This is basically...

Just as an aside: The method your example calls is in `matrix.gi`, I added it *after* finding no such function available.

IIRC, the reason for the Windows style pathnames is that `Exec` calls the Windows shell `command.com`. If we are just porting from Unix, a solution that includes a shell and...

Binary search finds that if not loading ``` gap/elements/semiringmat.gi ``` from semigroups, the error is gone. In fact, only removing the artificial upranking in lines 304 and 310 of that...

The meataxe calls `Matrix` to bring lists of vectors into matrix form. The package method (function `SEMIGROUPS_MatrixForIsSemiringIsHomogenousListFunc`) gets called since the field is a semiring, and goes into `NewMatrixOverFiniteField` that...

OK, so since matrix objects were not yet available,`semigroups` installed its own methods (for the library operation `Matrix`) to create matrices (to allow cases such as dimension zero, or matrices...

The main reason for overloading `ImmutavleMatrix` has been so the compact matrices get used for matrix groups over residue class rings -- this is a significant speed issue.