products/sources/formale Sprachen/GAP/pkg/tomlib/data/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 12.0.2024 mit Größe 119 kB image not shown  

SSL chapC.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/modules/doc/chapC.html


<?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 (Modules) - Appendix C: Overview of the Modules Package Source Code</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" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chapC"  onload="jscontent()">


<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="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chap11.html">11</a>  <a href="chap12.html">12</a>  <a href="chap13.html">13</a>  <a href="chapA.html">A</a>  <a href="chapB.html">B</a>  <a href="chapC.html">C</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="chap0.html#contents">[Contents]</a>    <a href="chapB.html">[Previous Chapter]</a>    <a href="chapBib.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chapC_mj.html">[MathJax on]</a></p>
<p><a id="X78684D057C432971" name="X78684D057C432971"></a></p>
<div class="ChapSects"><a href="chapC.html#X78684D057C432971">C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X87ED7A1883976BE9">C.1 <span class="Heading">Relations and Generators</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X81DDCFC578069518">C.2 <span class="Heading">The Basic Objects</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7BDE961D858BC60E">C.3 <span class="Heading">The High Level Homological Algorithms</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7E8463067BB2F31E">C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></a>
</span>
</div>
</div>

<h3>C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></h3>

<p><a id="X87ED7A1883976BE9" name="X87ED7A1883976BE9"></a></p>

<h4>C.1 <span class="Heading">Relations and Generators</span></h4>

<div class="pcenter"><table class="GAPDocTable">
<caption class="GAPDocTable"><b>Table: </b><em>The <strong class="pkg">homalg</strong> package files</em></caption>
<tr>
<td class="tdleft">Filename <code class="file">.gd</code>/<code class="file">.gi</code></td>
<td class="tdleft">Content</td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgRingMap</code></td>
<td class="tdleft">operations and methods ring maps</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgRelations</code></td>
<td class="tdleft">a set of relations</td>
</tr>
<tr>
<td class="tdleft"><code class="file">SetsOfRelations</code></td>
<td class="tdleft">several sets of relations</td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgGenerators</code></td>
<td class="tdleft">a set of generators</td>
</tr>
<tr>
<td class="tdleft"><code class="file">SetsOfGenerators</code></td>
<td class="tdleft">several sets of generators</td>
</tr>
</table><br />
</div>

<p><a id="X81DDCFC578069518" name="X81DDCFC578069518"></a></p>

<h4>C.2 <span class="Heading">The Basic Objects</span></h4>

<div class="pcenter"><table class="GAPDocTable">
<caption class="GAPDocTable"><b>Table: </b><em>The <strong class="pkg">homalg</strong> package files (continued)</em></caption>
<tr>
<td class="tdleft">Filename <code class="file">.gd</code>/<code class="file">.gi</code></td>
<td class="tdleft">Content</td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgModule</code></td>
<td class="tdleft">modules allowing several presentations</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft">linked with transition matrices</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgSubmodule</code></td>
<td class="tdleft">submodules allowing several sets of generators</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgMap</code></td>
<td class="tdleft">maps allowing several presentations</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft">of their source and target</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgFiltration</code></td>
<td class="tdleft">filtration of a module</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgComplex</code></td>
<td class="tdleft">(co)complexes of modules or of (co)complexes</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgChainMap</code></td>
<td class="tdleft">chain maps of (co)complexes</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft">consisting of maps or chain maps</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgBicomplex</code></td>
<td class="tdleft">bicomplexes of modules or of (co)complexes</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgBigradedObject</code></td>
<td class="tdleft">(differential) bigraded modules</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgSpectralSequence</code></td>
<td class="tdleft">homological and cohomological</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft">spectral sequences</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">HomalgDiagram</code></td>
<td class="tdleft">Betti diagrams</td>
</tr>
</table><br />
</div>

<p><a id="X7BDE961D858BC60E" name="X7BDE961D858BC60E"></a></p>

<h4>C.3 <span class="Heading">The High Level Homological Algorithms</span></h4>

<div class="pcenter"><table class="GAPDocTable">
<caption class="GAPDocTable"><b>Table: </b><em>The <strong class="pkg">homalg</strong> package files (continued)</em></caption>
<tr>
<td class="tdleft">Filename <code class="file">.gd</code>/<code class="file">.gi</code></td>
<td class="tdleft">Content</td>
</tr>
<tr>
<td class="tdleft"><code class="file">Modules</code></td>
<td class="tdleft">subfactors, resolutions,</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft">parameterizations, intersections, annihilators</td>
</tr>
<tr>
<td class="tdleft"><code class="file">ToolFunctors</code></td>
<td class="tdleft">zero map, composition, addition, substraction,</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft">stacking, augmentation, and post dividing maps</td>
</tr>
<tr>
<td class="tdleft"><code class="file">BasicFunctors</code></td>
<td class="tdleft">cokernel, image, kernel, tensor product, Hom,</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft">Ext, Tor, RHom, LTensorProduct, HomHom, LHomHom,</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft">BaseChange (preliminary)</td>
</tr>
<tr>
<td class="tdleft"><code class="file">OtherFunctors</code></td>
<td class="tdleft">direct sum</td>
</tr>
</table><br />
</div>

<p><a id="X7E8463067BB2F31E" name="X7E8463067BB2F31E"></a></p>

<h4>C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></h4>

<div class="pcenter"><table class="GAPDocTable">
<caption class="GAPDocTable"><b>Table: </b><em>The <strong class="pkg">homalg</strong> package files (continued)</em></caption>
<tr>
<td class="tdleft">Filename <code class="file">.gd</code>/<code class="file">.gi</code></td>
<td class="tdleft">Content</td>
</tr>
<tr>
<td class="tdleft"><code class="file">LIMOD</code></td>
<td class="tdleft">logical implications for modules</td>
</tr>
<tr>
<td class="tdleft"></td>
<td class="tdleft"></td>
</tr>
<tr>
<td class="tdleft"><code class="file">LIHOM</code></td>
<td class="tdleft">logical implications for module homomorphisms</td>
</tr>
</table><br />
</div>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chapB.html">[Previous Chapter]</a>    <a href="chapBib.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="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chap11.html">11</a>  <a href="chap12.html">12</a>  <a href="chap13.html">13</a>  <a href="chapA.html">A</a>  <a href="chapB.html">B</a>  <a href="chapC.html">C</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

99%


¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.