<?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>