<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (ResClasses) - Contents</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
</head>
<body>
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0.html">Top of Book</a> <a href="chap1.html">Next Chapter</a> </div>
<p><a id="X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5"></a></p>
<div class="pcenter">
<h1><strong class="pkg">ResClasses</strong></h1>
<h2>Set-Theoretic Computations with Residue Classes</h2>
<p>
Version 2.5.3</p>
<p>September 26, 2007</p>
</div>
<p><b>
Stefan Kohl
</b>
<br />e-mail: <span class="URL"><a href="mailto:kohl@mathematik.uni-stuttgart.de">kohl@mathematik.uni-stuttgart.de</a></span>
<br />WWW: <span class="URL"><a href="http://www.cip.mathematik.uni-stuttgart.de/~kohlsn/">http://www.cip.mathematik.uni-stuttgart.de/~kohlsn/</a></span>
<br />Address: <br />Institut für Geometrie und Topologie <br /> Pfaffenwaldring 57 <br /> Universität Stuttgart <br /> 70550 Stuttgart <br /> Germany
</p>
<p><a id="X7AA6C5737B711C89" name="X7AA6C5737B711C89"></a></p>
<h3>Abstract</h3>
<p><strong class="pkg">ResClasses</strong> is a package for <strong class="pkg">GAP</strong> 4, which provides a fully-featured and easy-to-use implementation of set-theoretic unions of residue classes of the integers and of a few other rings.</p>
<p>The class of sets which <strong class="pkg">ResClasses</strong> can deal with includes the open and the closed sets in the topology on the respective ring which is induced by taking the set of all residue classes as a basis, as far as the usual restrictions imposed by the finiteness of computing resources permit this.</p>
<p>The package further provides slightly more specialized functionality for unions of residue classes with distinguished representatives and signed moduli.</p>
<p>The <strong class="pkg">ResClasses</strong> package is used in a group theoretical context by the <strong class="pkg">RCWA</strong> package <a href="chapBib.html#biBRCWA">[Koh07]</a>.</p>
<p><a id="X81488B807F2A1CF1" name="X81488B807F2A1CF1"></a></p>
<h3>Copyright</h3>
<p>© 2003 - 2007 by Stefan Kohl</p>
<p>This package is distributed under the GNU General Public License.</p>
<p><a id="X8537FEB07AF2BEC8" name="X8537FEB07AF2BEC8"></a></p>
<div class="contents">
<h3>Contents</h3>
<div class="ContChap"><a href="chap1.html#X815A3DDE7C0BC44A">1. <span class="Heading">Set-Theoretic Unions of Residue Classes</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap1.html#X7E16A64485A7AB79">1.1 <span class="Heading">Entering residue classes and set-theoretic unions thereof</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X8753CC098447BE0D">1.1-1 ResidueClass</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X85327C777F32DA8F">1.1-2 ResidueClassUnion</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X8326D6F285081E0F">1.1-3 AllResidueClassesModulo</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap1.html#X7A3FA13187CEADED">1.2 <span class="Heading">Methods for residue class unions</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X854315A2877B69A7">1.2-1 SplittedClass</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X87C166FE7FA17325">1.2-2 AsUnionOfFewClasses</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X8079E174813646DA">1.2-3 PartitionsIntoResidueClasses</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X8653860F7ADA4D38">1.2-4 RandomPartitionIntoResidueClasses</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X791C16E77BE97FE3">1.2-5 Density</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap1.html#X7B26BB1C7C8495A5">1.3 <span class="Heading">The categories and families of residue class unions</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X7EA29BBD82552352">1.3-1 IsResidueClassUnion</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X7F9BCB1A797F8F48">1.3-2 ResidueClassUnionsFamily</a></span>
</div>
</div>
<div class="ContChap"><a href="chap2.html#X87871B5A86254179">2. <span class="Heading">Unions of Residue Classes with Fixed Representatives</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap2.html#X78BE0FA38691B1B6">2.1 <span class="Heading">
Entering unions of residue classes with fixed representatives
</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X831C976D876FDAD3">2.1-1 ResidueClassWithFixedRepresentative</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X871ED1D17AE52A95">2.1-2 UnionOfResidueClassesWithFixedReps</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X8198386A809A6B17">2.1-3 AllResidueClassesWithFixedRepsModulo</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap2.html#X7C26C7E682C2FD2E">2.2 <span class="Heading">
Methods for unions of residue classes with fixed representatives
</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X808442EC7F3F5748">2.2-1 Multiplicity</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X8296A97779FE8B72">2.2-2 Union</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7FC166A57F1F5601">2.2-3 Intersection</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X82A4EE727E67AB98">2.2-4 Difference</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap2.html#X7A1CBA1B7E6B93D0">2.3 <span class="Heading">
The invariant Delta
</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X78DCAB2C7C4E37E8">2.3-1 Delta</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7E109A6E81A0465C">2.3-2 RepresentativeStabilizingRefinement</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap2.html#X7BA9DE337DF742E9">2.4 <span class="Heading">
The categories of unions of residue classes with fixed rep's
</span></a>
</div>
</div>
<div class="ContChap"><a href="chap3.html#X80CB0518869B1818">3. <span class="Heading">Semilocalizations of the Integers</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X7B3B22AC7E6247A4">3.1 <span class="Heading">Entering semilocalizations of the integers</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X835483D2834D1F60">3.1-1 Z_pi</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X7B76A5528284ACC4">3.2 <span class="Heading">Methods for semilocalizations of the integers</span></a>
</div>
</div>
<div class="ContChap"><a href="chap4.html#X859F6BF88754E5CC">4. <span class="Heading">Installation and auxiliary functions</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap4.html#X85A08CF187A6D986">4.1 <span class="Heading">Requirements</span></a>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap4.html#X8360C04082558A12">4.2 <span class="Heading">Installation</span></a>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap4.html#X8667D5027AC3DE8E">4.3 <span class="Heading">The testing routine</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4.html#X8733F00082901C2C">4.3-1 ResClassesTest</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap4.html#X854E65D281B80D3B">4.4 <span class="Heading">Building the manual</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4.html#X7B4E650D828174F7">4.4-1 ResClassesBuildManual</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap4.html#X864279AC8500FD3B">4.5 <span class="Heading">SendEmail and EmailLogFile</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4.html#X7F27919085001EA8">4.5-1 SendEmail</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4.html#X8000E5CF7DF4339C">4.5-2 EmailLogFile</a></span>
</div>
</div>
<br />
</div>
<div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap1.html">Next Chapter</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
5e1854624d3bc613bdd0dd13d1ef9ac7
>
files
>
2981
