Preface

This package provides an easy-to-use implementation of residue classes as sets which permits to form unions, intersections and differences and which interacts smoothly with finite sets of ring elements w.r.t. these operations. The functionality of this package is used in a group theoretical context by the &RCWA; package written by the same author.

The introduction of unions of residue classes with fixed representatives which are implemented in this package since version 2.0 follows a suggestion by Wolfgang Rump.