Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/linearalgebraforcap/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 17.8.2025 mit Größe 7 kB image not shown  

SSL chap0.html   Interaktion und
PortierbarkeitHTML

 
 products/Sources/formale Sprachen/GAP/pkg/linearalgebraforcap/doc/chap0.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 (LinearAlgebraForCAP) - 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" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap0"  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="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="chap1.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap0_mj.html">[MathJax on]</a></p>
<p><a id="X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5"></a></p>
<div class="pcenter">

<h1>LinearAlgebraForCAP</h1>


<h2>Category of Matrices over a Field for CAP</h2>

<p>
    2025.09-01</p>

<p>
    17 September 2025
  </p>

</div>
<p><b>
    Sebastian Gutsche




  </b>
<br />Email: <span class="URL"><a href="mailto:sebastian.gutsche@gmail.com">sebastian.gutsche@gmail.com</a></span>
<br />Homepage: <span class="URL"><a href="https://sebasguts.github.io/">https://sebasguts.github.io/</a></span>
<br />Address: <br />Department Mathematik<br /> Universität Siegen<br /> Walter-Flex-Straße 3<br /> 57068 Siegen<br /> Germany<br />
</p><p><b>
    Sebastian Posur




  </b>
<br />Email: <span class="URL"><a href="mailto:sebastian.posur@uni-muenster.de">sebastian.posur@uni-muenster.de</a></span>
<br />Homepage: <span class="URL"><a href="https://sebastianpos.github.io">https://sebastianpos.github.io</a></span>
<br />Address: <br />Department Mathematik<br /> Universität Siegen<br /> Walter-Flex-Straße 3<br /> 57068 Siegen<br /> Germany<br />
</p><p><b>
    Fabian Zickgraf




  </b>
<br />Email: <span class="URL"><a href="mailto:f.zickgraf@dashdos.com">f.zickgraf@dashdos.com</a></span>
<br />Homepage: <span class="URL"><a href="https://github.com/zickgraf/">https://github.com/zickgraf/</a></span>
<br />Address: <br />Walter-Flex-Str. 3<br /> 57068 Siegen<br /> Germany<br />
</p>

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

<div class="contents">
<h3>Contents<a id="contents" name="contents"></a></h3>

<div class="ContChap"><a href="chap1.html#X79A2BF518637FFB7">1 <span class="Heading">Category of Matrices</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X86EC0F0A78ECBC10">1.1 <span class="Heading">Constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X79D9727280354457">1.1-1 MatrixCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7C6DB0457A656406">1.1-2 VectorSpaceMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7EB162887B8F8708">1.1-3 VectorSpaceObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X818AE01E7C9D21A5">1.1-4 MatrixCategoryObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7A0CAF7F7CE754E7">1.1-5 MatrixCategory_as_CategoryOfRows</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7C701DBF7BAE649A">1.2 <span class="Heading">Attributes</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7A25998E79499AE8">1.2-1 UnderlyingFieldForHomalg</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X8513433F7DA84E66">1.2-2 UnderlyingMatrix</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X83D0E5BD8763C8FD">1.2-3 UnderlyingFieldForHomalg</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X81C6A5F382A1D4F5">1.2-4 Dimension</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7D03633A7D98026B">1.3 <span class="Heading">GAP Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7DAEE1D67CDFA35A">1.3-1 IsVectorSpaceMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7EF7321D794F9050">1.3-2 IsVectorSpaceObject</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap2.html#X7967FE8E7BBDF485">2 <span class="Heading">Examples and Tests</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X8104A77D7B5CCD4F">2.1 <span class="Heading">Basic Commands</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X78D1062D78BE08C1">2.2 <span class="Heading">Functors</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X85B1F5077BE75340">2.3 <span class="Heading">Solving (Homogeneous) Linear Systems</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X852F59737EC57965">2.4 <span class="Heading">Homology object</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7CDB7FF27D734D2D">2.5 <span class="Heading">Liftable</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X797080CE873BB56D">2.6 <span class="Heading">Monoidal structure</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X8218390A785F1EDB">2.7 <span class="Heading">MorphismFromSourceToPushout and MorphismFromFiberProductToSink</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X84410C637B3C1D0E">2.8 <span class="Heading">Opposite category</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7F34E29281DF3FCE">2.9 <span class="Heading">PreComposeList and PostComposeList</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X87F5609A7B33C58C">2.10 <span class="Heading">Split epi summand</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7DCD99628504B810">2.11 <span class="Heading">Kernel</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7DE20941803BFBD9">2.12 <span class="Heading">FiberProduct</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X8245BF297DF9A3E7">2.13 <span class="Heading">WrapperCategory</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chapInd.html"><span class="Heading">Index</span></a></div>
<br />
</div>

<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</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="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>

100%


¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.19Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤

*Eine klare Vorstellung vom Zielzustand




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.