Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/cap/doc/   (GAP Algebra Version 4.15.1©)  Datei vom 22.8.2025 mit Größe 16 kB image not shown  

Quelle  chap14.html

  Sprache: HTML 		 

 products/Sources/formale Sprachen/GAP/pkg/cap/doc/chap14.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 (CAP) - Chapter 14: Dummy implementations</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="chap14"  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="chap14.html">14</a>  <a href="chap15.html">15</a>  <a href="chap16.html">16</a>  <a href="chap17.html">17</a>  <a href="chap18.html">18</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="chap13.html">[Previous Chapter]</a>    <a href="chap15.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap14_mj.html">[MathJax on]</a></p>
<p><a id="X7CA5B46383A5CE09" name="X7CA5B46383A5CE09"></a></p>
<div class="ChapSects"><a href="chap14.html#X7CA5B46383A5CE09">14 <span class="Heading">Dummy implementations</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap14.html#X7B19E3AE7AB1B31B">14.1 <span class="Heading">Dummy rings</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X86A21A2379AA70E4">14.1-1 IsDummyRing</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X7D89EFE77FC37A85">14.1-2 IsDummyRingElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X87E7CFFB81611DED">14.1-3 IsDummyCommutativeRing</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X79CB0F12853487F4">14.1-4 IsDummyCommutativeRingElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X7F1159E287E0850B">14.1-5 IsDummyField</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X7A227A6D7F366CDE">14.1-6 IsDummyFieldElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X82B6E6F780AB19FA">14.1-7 DummyRing</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X823C63568160007F">14.1-8 DummyCommutativeRing</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X8675D79684AD56D0">14.1-9 DummyField</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap14.html#X82A623E78640E822">14.2 <span class="Heading">Dummy categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X872B304F85971287">14.2-1 IsDummyCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X7FB7ED298101C4C5">14.2-2 IsDummyCategoryObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X86ED2D2D84900225">14.2-3 IsDummyCategoryMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X85EFD8FA7CA98ECB">14.2-4 DummyCategory</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap14.html#X7D79D0478599BC12">14.3 <span class="Heading">Dummy homalg rings</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X83D2C38E849A65DC">14.3-1 IsDummyHomalgRing</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X7A64A51C7B55BD18">14.3-2 IsDummyHomalgRingElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X8170E18881CE3C03">14.3-3 IsDummyCommutativeHomalgRing</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X7997E4157AB993E9">14.3-4 IsDummyCommutativeHomalgRingElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X87E270D481736842">14.3-5 IsDummyHomalgField</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X78E80ECF786AE153">14.3-6 IsDummyHomalgFieldElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X830459217A01C164">14.3-7 DummyHomalgRing</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X841685517C4CDC7A">14.3-8 DummyCommutativeHomalgRing</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14.html#X7CA21DAD784763AA">14.3-9 DummyHomalgField</a></span>
</div></div>
</div>

<h3>14 <span class="Heading">Dummy implementations</span></h3>

<p>A dummy implementation of a concept seems to provide an interface for the concept, but calling any operation in this interface will simply signal an error. Hence, when using a dummy implementation, we can be sure that we only rely on the abstract interface but not on any implementation details, for the simple reason that there is no actual implementation. This is useful for testing or compilation against a generic implementation of a concept.</p>

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

<h4>14.1 <span class="Heading">Dummy rings</span></h4>

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

<h5>14.1-1 IsDummyRing</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyRing</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of dummy rings.</p>

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

<h5>14.1-2 IsDummyRingElement</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyRingElement</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of elements of a dummy ring.</p>

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

<h5>14.1-3 IsDummyCommutativeRing</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyCommutativeRing</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of dummy commutative rings.</p>

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

<h5>14.1-4 IsDummyCommutativeRingElement</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyCommutativeRingElement</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of elements of a dummy commutative ring.</p>

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

<h5>14.1-5 IsDummyField</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyField</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of dummy fields.</p>

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

<h5>14.1-6 IsDummyFieldElement</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyFieldElement</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of elements of a dummy field.</p>

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

<h5>14.1-7 DummyRing</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; DummyRing</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a dummy ring</p>

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

<h5>14.1-8 DummyCommutativeRing</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; DummyCommutativeRing</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a dummy commutative ring</p>

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

<h5>14.1-9 DummyField</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; DummyField</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a dummy field</p>

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

<h4>14.2 <span class="Heading">Dummy categories</span></h4>

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

<h5>14.2-1 IsDummyCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyCategory</code>( <var class="Arg">arg</var> )</td><td class="tdright">( filter )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The <strong class="pkg">GAP</strong> category of a dummy CAP category.</p>

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

<h5>14.2-2 IsDummyCategoryObject</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyCategoryObject</code>( <var class="Arg">arg</var> )</td><td class="tdright">( filter )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The <strong class="pkg">GAP</strong> category of objects in a dummy CAP category.</p>

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

<h5>14.2-3 IsDummyCategoryMorphism</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyCategoryMorphism</code>( <var class="Arg">arg</var> )</td><td class="tdright">( filter )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The <strong class="pkg">GAP</strong> category of morphisms in a dummy CAP category.</p>

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

<h5>14.2-4 DummyCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; DummyCategory</code>( <var class="Arg">options</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a category</p>

<p>Creates a dummy category subject to the options given via <var class="Arg">options</var>, which is a record passed on to <code class="func">CategoryConstructor</code> (<a href="chap11.html#X8070F8B48111E8A7"><span class="RefLink">11.2-1</span></a>). Note that the options <code class="code">{category,object,morphism}_filter</code> will be set to <code class="code">IsDummyCategory{,Object,Morphism}</code> and the options <code class="code">{object,morphism}_{constructor,datum}</code> and <code class="code">create_func_*</code> will be set to dummy implementations (throwing errors when actually called). The dummy category will pretend to support empty limits by default.</p>

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

<h4>14.3 <span class="Heading">Dummy homalg rings</span></h4>

<p>The operations in this section require <code class="code">MatricesForHomalg</code> to be loaded.</p>

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

<h5>14.3-1 IsDummyHomalgRing</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyHomalgRing</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of dummy homalg rings.</p>

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

<h5>14.3-2 IsDummyHomalgRingElement</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyHomalgRingElement</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of elements of a dummy homalg ring.</p>

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

<h5>14.3-3 IsDummyCommutativeHomalgRing</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyCommutativeHomalgRing</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of dummy commutative homalg rings.</p>

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

<h5>14.3-4 IsDummyCommutativeHomalgRingElement</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyCommutativeHomalgRingElement</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of elements of a dummy commutative homalg ring.</p>

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

<h5>14.3-5 IsDummyHomalgField</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyHomalgField</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of dummy homalg fields.</p>

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

<h5>14.3-6 IsDummyHomalgFieldElement</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDummyHomalgFieldElement</code></td><td class="tdright">( filter )</td></tr></table></div>
<p>The <strong class="pkg">GAP</strong> filter of elements of a dummy homalg field.</p>

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

<h5>14.3-7 DummyHomalgRing</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; DummyHomalgRing</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a dummy homalg ring</p>

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

<h5>14.3-8 DummyCommutativeHomalgRing</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; DummyCommutativeHomalgRing</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a dummy commutative homalg ring</p>

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

<h5>14.3-9 DummyHomalgField</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; DummyHomalgField</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a dummy homalg field</p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap13.html">[Previous Chapter]</a>    <a href="chap15.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="chap14.html">14</a>  <a href="chap15.html">15</a>  <a href="chap16.html">16</a>  <a href="chap17.html">17</a>  <a href="chap18.html">18</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>

Messung V0.5 in Prozent
C=99 H=99 G=98

¤ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet am  2026-06-26) ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.