Alexander Hulpke

Some is a relic from integrating code from several sources and a hope (in EpimorphismQuotientSystem) that the general approach of this code could be generalized to other quotient algorithm situations....

@stevelinton > Working to clean up the test failures. Mostly straightforward, but there is a problem with tests in `hpcgap/tst/testinstall/comprvec.tst` like This looks as if it tries taking making larger...

The issue is that the homomorphism returned is defined on GL(2,3). (The idea is to avoid creating many different maps when working with subgroups). ``` gap> Size(Image(IsomorphismPermGroup(G),G)); 24 ``` Forcing...

@ThomasBreuer Adding another attribute resolves this problem, but there are many similar problems with (co)restricttions of homomorphisms and property testing. In the long run (and I realize that I am...

I understand where the request comes from, but simply enforcing a membership test is going to slow a lot of calculations down. Can we 1. Create a NC version first...

@ThomasBreuer Basically yes. There is no harm if a method already does a test and returns `fail` -- such a method can be installed for both operations. > Step 3...

Just a missing `ProductCoeffs` method -- easily fixed.

> But problems remain, e.g.: `a*b` or `a/b` or `b/b` still run into errors. > > My impression is that the code for `IsZmodnZVectorRep` and `IsZmodnZMatrixRep` is not yet ready...

I think the issue is that this is not a polycyclic presentation. (I seem to recall that it is not possible to create the trivial group as a pc group,...

i'm not sure I understand what you want the function to do. `PcGroupFpGroup` is a converter function that builds pc groups from a (rather restricted form) finitely presented group. Crucially,...