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