<!-- #################################################################### -->
<!-- ##                                                                ## -->
<!-- ##  abstract.xml      ResClasses documentation       Stefan Kohl  ## -->
<!-- ##                                                                ## -->
<!-- ##  $Id: abstract.xml,v 1.7 2004/01/23 13:56:28 stefan Exp $      ## -->
<!-- ##                                                                ## -->
<!-- #################################################################### -->

<Abstract>

  This package for &GAP; 4 (at least version 4.4) implements set-theoretic
  unions of residue classes of the ring <M>\mathbb{Z}</M> of the integers,
  of its semilocalisations <M>\Z_{(\pi)}</M> at some finite set of primes
  <M>\pi</M> and of the polynomial rings GF(<M>q</M>)[<M>x</M>] for some
  prime power <M>q</M> as &GAP; domains and provides basic functionality for
  computing with these sets (intersection, union, difference etc., any of
  these also when one of the operands is a finite set of elements). It also
  implements the above-mentioned rings <M>\Z_{(\pi)}</M> as &GAP; domains.

</Abstract>

<!-- #################################################################### -->


