MRC

MRC - data structures and procedures for computing in monoid and group rings. Gröbner bases and Buchberger’s algorithm have been generalized to monoid and group rings. In this paper we present the data structures and procedures we used to implement in a first step the concept of prefix reduction in the system MRC 1.0 together with some examples.