This package contains implementations of the algorithms described in [EM19]. It contains methods to compute the class-c quotient of a finitely presented associative Z-algebra. As an application this package allows to determine the class-c quotient of the augmentation ideal I(G) in the integral group ring ZG for a finitely presented group or a pcp-group G. This allows to read off the structure of the so-called augmentation quotients Q_n(G)=I(G)^n/I(G)^n+1.
generated by GAPDoc2HTML