ExtendPCQA( G, CPP, HOM, m, n )
This function takes as input a finitely presented group G, a consistent polycyclic presentation CPP (CallPCQA) of a polycyclic quotient G/N of G, an epimorphism and an inverse map as in the field Homomorphisms in CallPCQA. It determines whether the quotient G/[N,N] is polycyclic and returns the flag QuotientStatus . It also returns the polycyclic presentation and the appropriate homomorphism and map if the quotient is polycyclic.
When the parameter m is a positive number the quotient G/[N,N]N^m is computed. When it is a negative number, and if K/[N,N] is the torsion part of N/[N,N], then the quotient G/[N,N]K is computed. The default case is when m = 0. If there are only three arguments in the function call, m will be taken to be zero.
When the parameter n is a nonzero number, the quotient G/[N,G] is computed instead. Otherwise the quotient G/[N,N] is computed. If this argument is not assigned by the user, then n is set to zero. Different combinations of m and n give different quotients. For example, when ExtendPCQA is called with m = 6 and n = 1,the quotient G/[N,G]N^6 is computed.
gap> ExtendPCQA(G,ans.PolycyclicPresentation,ans.Homomorphisms); rec( QuotientStatus := 5 ) gap> ExtendPCQA(G,ans.PolycyclicPresentation,ans.Homomorphisms,6,1); rec( QuotientStatus := 0, PolycyclicPresentation := rec( Generators := 4, ExponentList := [ 0, 0, 0, 6 ], ppRelations := [ [[ 0, 1, -1, 0 ],[ 0, 1, 0, 0 ],[ 0, 0, 0, 1 ]], [[ 0, 0, 1, 1 ],[ 0, 0, 0, 1 ]], [[ 0, 0, 0, 1 ]] ], pnRelations := [ [[ 0, -1, 1, 5 ],[ 0, -1, 0, 0 ],[ 0, 0, 0, 5]], [[ 0, 0, -1, 5 ],[ 0, 0, 0, 5 ]], [[ 0, 0, 0, 5 ]] ], npRelations := [ [[ 0, 0, 1, 0 ],[ 0, -1, 1, 0 ],[ 0, 0, 0, 1 ]], [[ 0, 0, 1, 5 ],[ 0, 0, 0, 1 ]], [[ 0, 0, 0, 1 ]] ], nnRelations := [ [[ 0, 0, -1, 0 ],[ 0, 1, -1, 5 ],[ 0, 0, 0, 5]], [[ 0, 0, -1, 1 ],[ 0, 0, 0, 5 ]], [[ 0, 0, 0, 5 ]] ], PowerRelations := [ ,,,,,, [ 0, 0, 0, 0 ], [ 0, 0, 0, 5 ] ] ), Homomorphisms := rec( Epimorphism := [ [ 1, 1, 0, 0 ], [ 1, 0, 0, 0 ] ], InverseMap := [ [[ 2, 1 ]], [[ 3, -1 ],[ 1, 1 ]], [[ 1, 1 ],[ 3, -1 ]], [[ 5, -1 ],[ 4, -1 ],[ 5, 1 ],[ 4, 1 ]] ] ), Next := 4 )
GAP 3.4.4