Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/modules/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.11.2024 mit Größe 21 kB image not shown  

Quelle  chap8.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/modules/doc/chap8.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) - Chapter 8: Maps</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="chap8"  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="chap7.html">[Previous Chapter]</a>    <a href="chap9.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap8_mj.html">[MathJax on]</a></p>
<p><a id="X7E8438F77ECB778E" name="X7E8438F77ECB778E"></a></p>
<div class="ChapSects"><a href="chap8.html#X7E8438F77ECB778E">8 <span class="Heading">Maps</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8.html#X790FEEBD86F5C143">8.1 <span class="Heading">Maps: Categories and Representations</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X7DA293237F14CD74">8.1-1 IsHomalgMap</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X7F34D26882D20FF0">8.1-2 IsHomalgSelfMap</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X813202447B5C8FB3">8.1-3 IsMapOfFinitelyGeneratedModulesRep</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8.html#X8278F43E8373E4A1">8.2 <span class="Heading">Maps: Constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X790E02137DBA584C">8.2-1 HomalgMap</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X81489DAF7B0674F3">8.2-2 HomalgZeroMap</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X7BF289B882C9DDF4">8.2-3 HomalgIdentityMap</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8.html#X85C633E77A939735">8.3 <span class="Heading">Maps: Properties</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8.html#X7EA3B91C78E430BB">8.4 <span class="Heading">Maps: Attributes</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8.html#X783E9FF8800609EB">8.5 <span class="Heading">Maps: Operations and Functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X7C8699B282D73E1E">8.5-1 HomalgRing</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X79D029B78624C148">8.5-2 PreInverse</a></span>
</div></div>
</div>

<h3>8 <span class="Heading">Maps</span></h3>

<p>A <strong class="pkg">homalg</strong> map is a data structures for maps (module homomorphisms) between finitely generated modules. Each map in <strong class="pkg">homalg</strong> knows its source (--> <code class="func">Source</code> (<a href="https://homalg-project.github.io/homalg_project/homalg/doc/chap4.html#X7DE8173F80E07AB1"><span class="RefLink">homalg: Source</span></a>)) and its target (--> <code class="func">Range</code> (<a href="https://homalg-project.github.io/homalg_project/homalg/doc/chap4.html#X829F76BB80BD55DB"><span class="RefLink">homalg: Range</span></a>)). A map is represented by a <strong class="pkg">homalg</strong> matrix relative to the current set of generators of the source resp. target <strong class="pkg">homalg</strong> module. As with modules (--> Chapter <a href="chap7.html#X8183A6857B0C3633"><span class="RefLink">7</span></a>), maps in <strong class="pkg">homalg</strong> are realized in an intrinsic manner: If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p>

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

<h4>8.1 <span class="Heading">Maps: Categories and Representations</span></h4>

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

<h5>8.1-1 IsHomalgMap</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsHomalgMap</code>( <var class="Arg">phi</var> )</td><td class="tdright">( category )</td></tr></table></div>
<p>Returns: <code class="code">true</code> or <code class="code">false</code></p>

<p>The <strong class="pkg">GAP</strong> category of <strong class="pkg">homalg</strong> maps.</p>

<p>(It is a subcategory of the <strong class="pkg">GAP</strong> categories <code class="code">IsHomalgModuleOrMap</code> and <code class="code">IsHomalgStaticMorphism</code>.)</p>


<div class="example"><pre>
DeclareCategory( "IsHomalgMap",
        IsHomalgModuleOrMap and
        IsHomalgStaticMorphism );
</pre></div>

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

<h5>8.1-2 IsHomalgSelfMap</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsHomalgSelfMap</code>( <var class="Arg">phi</var> )</td><td class="tdright">( category )</td></tr></table></div>
<p>Returns: <code class="code">true</code> or <code class="code">false</code></p>

<p>The <strong class="pkg">GAP</strong> category of <strong class="pkg">homalg</strong> self-maps.</p>

<p>(It is a subcategory of the <strong class="pkg">GAP</strong> categories <code class="code">IsHomalgMap</code> and <code class="code">IsHomalgEndomorphism</code>.)</p>


<div class="example"><pre>
DeclareCategory( "IsHomalgSelfMap",
        IsHomalgMap and
        IsHomalgEndomorphism );
</pre></div>

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

<h5>8.1-3 IsMapOfFinitelyGeneratedModulesRep</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsMapOfFinitelyGeneratedModulesRep</code>( <var class="Arg">phi</var> )</td><td class="tdright">( representation )</td></tr></table></div>
<p>Returns: <code class="code">true</code> or <code class="code">false</code></p>

<p>The <strong class="pkg">GAP</strong> representation of maps between finitley generated <strong class="pkg">homalg</strong> modules.</p>

<p>(It is a representation of the <strong class="pkg">GAP</strong> category <code class="func">IsHomalgChainMorphism</code> (<a href="https://homalg-project.github.io/homalg_project/homalg/doc/chap7.html#X7CB62E188027B7C5"><span class="RefLink">homalg: IsHomalgChainMorphism</span></a>), which is a subrepresentation of the <strong class="pkg">GAP</strong> representation <code class="code">IsStaticMorphismOfFinitelyGeneratedObjectsRep</code>.)</p>

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

<h4>8.2 <span class="Heading">Maps: Constructors</span></h4>

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

<h5>8.2-1 HomalgMap</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ HomalgMap</code>( <var class="Arg">mat</var>, <var class="Arg">M</var>, <var class="Arg">N</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ HomalgMap</code>( <var class="Arg">mat</var>[, <var class="Arg">string</var>] )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a <strong class="pkg">homalg</strong> map</p>

<p>This constructor returns a map (homomorphism) of finitely presented modules. It is represented by the <strong class="pkg">homalg</strong> matrix <var class="Arg">mat</var> relative to the current set of generators of the source <strong class="pkg">homalg</strong> module <var class="Arg">M</var> and target module <var class="Arg">N</var> (--> <a href="chap7.html#X7DB16C4B87DD115F"><span class="RefLink">7.2</span></a>). Unless the source module is free <em>and</em> given on free generators the returned map will cautiously be indicated using parenthesis: <q>homomorphism</q>. To verify if the result is indeed a well defined map use <code class="func">IsMorphism</code> (<a href="https://homalg-project.github.io/homalg_project/homalg/doc/chap4.html#X7F66120A814DC16B"><span class="RefLink">homalg: IsMorphism</span></a>). If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. If source and target are identical objects, and only then, the map is created as a selfmap (endomorphism). <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">zz := HomalgRingOfIntegers( );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );</span>
<A 2 x 3 matrix over an internal ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">M := LeftPresentation( M );</span>
<A non-torsion left module presented by 2 relations for 3 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz );</span>
<A 2 x 4 matrix over an internal ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">N := LeftPresentation( N );</span>
<A non-torsion left module presented by 2 relations for 4 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">mat := HomalgMatrix( "[ \
<span class="GAPprompt">></span> <span class="GAPinput">1, 0, -2, -4, \</span>
<span class="GAPprompt">></span> <span class="GAPinput">0, 1,  4,  7, \</span>
<span class="GAPprompt">></span> <span class="GAPinput">1, 0, -2, -4  \</span>
<span class="GAPprompt">></span> <span class="GAPinput">]", 3, 4, zz );
<A 3 x 4 matrix over an internal ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">phi := HomalgMap( mat, M, N );</span>
<A "homomorphism" of left modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsMorphism( phi );</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">phi;</span>
<A homomorphism of left modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( phi );</span>
[ [   1,   0,  -2,  -4 ],
  [   0,   1,   4,   7 ],
  [   1,   0,  -2,  -4 ] ]

the map is currently represented by the above 3 x 4 matrix
<span class="GAPprompt">gap></span> <span class="GAPinput">ByASmallerPresentation( M );</span>
<A rank 1 left module presented by 1 relation for 2 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( last );</span>
Z/< 3 > + Z^(1 x 1)
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( phi );</span>
[ [   2,   1,   0,  -1 ],
  [   1,   0,  -2,  -4 ] ]

the map is currently represented by the above 2 x 4 matrix
<span class="GAPprompt">gap></span> <span class="GAPinput">ByASmallerPresentation( N );</span>
<A rank 2 left module presented by 1 relation for 3 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( N );</span>
Z/< 4 > + Z^(1 x 2)
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( phi );</span>
[ [  -8,   0,   0 ],
  [  -3,  -1,  -2 ] ]

the map is currently represented by the above 2 x 3 matrix
<span class="GAPprompt">gap></span> <span class="GAPinput">ByASmallerPresentation( phi );</span>
<A non-zero homomorphism of left modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( phi );</span>
[ [   0,   0,   0 ],
  [   1,  -1,  -2 ] ]

the map is currently represented by the above 2 x 3 matrix
</pre></div>

<p>To construct a map with source being a not yet specified free module</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">N;</span>
<A rank 2 left module presented by 1 relation for 3 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">SetPositionOfTheDefaultSetOfGenerators( N, 1 );</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">N;</span>
<A rank 2 left module presented by 2 relations for 4 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">psi := HomalgMap( mat, "free", N );</span>
<A homomorphism of left modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">Source( psi );</span>
<A free left module of rank 3 on free generators>
</pre></div>

<p>To construct a map between not yet specified free left modules</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">chi := HomalgMap( mat ); ## or chi := HomalgMap( mat, "l" );</span>
<A homomorphism of left modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">Source( chi );</span>
<A free left module of rank 3 on free generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">Range( chi );</span>
<A free left module of rank 4 on free generators>
</pre></div>

<p>To construct a map between not yet specified free right modules</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">kappa := HomalgMap( mat, "r" );</span>
<A homomorphism of right modules>
<span class="GAPprompt">gap></span> <span class="GAPinput">Source( kappa );</span>
<A free right module of rank 4 on free generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">Range( kappa );</span>
<A free right module of rank 3 on free generators>
</pre></div>

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

<h5>8.2-2 HomalgZeroMap</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ HomalgZeroMap</code>( <var class="Arg">M</var>, <var class="Arg">N</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a <strong class="pkg">homalg</strong> map</p>

<p>The constructor returns the zero map between the source <strong class="pkg">homalg</strong> module <var class="Arg">M</var> and the target <strong class="pkg">homalg</strong> module <var class="Arg">N</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">zz := HomalgRingOfIntegers( );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );</span>
<A 2 x 3 matrix over an internal ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">M := LeftPresentation( M );</span>
<A non-torsion left module presented by 2 relations for 3 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">N := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7, 8, 9 ]", 2, 4, zz );</span>
<A 2 x 4 matrix over an internal ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">N := LeftPresentation( N );</span>
<A non-torsion left module presented by 2 relations for 4 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">HomalgZeroMap( M, N );</span>
<The zero morphism of left modules>
</pre></div>

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

<h5>8.2-3 HomalgIdentityMap</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ HomalgIdentityMap</code>( <var class="Arg">M</var>, <var class="Arg">N</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: a <strong class="pkg">homalg</strong> map</p>

<p>The constructor returns the identity map of the <strong class="pkg">homalg</strong> module <var class="Arg">M</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">zz := HomalgRingOfIntegers( );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">M := HomalgMatrix( "[ 2, 3, 4, 5, 6, 7 ]", 2, 3, zz );</span>
<A 2 x 3 matrix over an internal ring>
<span class="GAPprompt">gap></span> <span class="GAPinput">M := LeftPresentation( M );</span>
<A non-torsion left module presented by 2 relations for 3 generators>
<span class="GAPprompt">gap></span> <span class="GAPinput">HomalgIdentityMap( M );</span>
<The identity morphism of a non-zero left module>
</pre></div>

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

<h4>8.3 <span class="Heading">Maps: Properties</span></h4>

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

<h4>8.4 <span class="Heading">Maps: Attributes</span></h4>

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

<h4>8.5 <span class="Heading">Maps: Operations and Functions</span></h4>

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

<h5>8.5-1 HomalgRing</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ HomalgRing</code>( <var class="Arg">phi</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a <strong class="pkg">homalg</strong> ring</p>

<p>The <strong class="pkg">homalg</strong> ring of the <strong class="pkg">homalg</strong> map <var class="Arg">phi</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">zz := HomalgRingOfIntegers( );</span>
Z
<span class="GAPprompt">gap></span> <span class="GAPinput">phi := HomalgIdentityMap( 2 * zz );</span>
<The identity morphism of a non-zero left module>
<span class="GAPprompt">gap></span> <span class="GAPinput">R := HomalgRing( phi );</span>
Z
<span class="GAPprompt">gap></span> <span class="GAPinput">IsIdenticalObj( R, zz );</span>
true
</pre></div>

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

<h5>8.5-2 PreInverse</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PreInverse</code>( <var class="Arg">phi</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a <strong class="pkg">homalg</strong> map, <code class="code">false</code>, or <code class="code">fail</code></p>

<p>Compute a pre-inverse of the morphism <var class="Arg">phi</var> in case one exists. For a pre-inverse to exist <var class="Arg">phi</var> must be an epimorphism. For <em>commutative</em> rings <strong class="pkg">homalg</strong> has an algorithm installed which decides the existence and returns a pre-inverse in case one exists. If a pre-inverse does not exist then <code class="code">false</code> is returned. The algorithm finds a particular solution of a two-side inhomogeneous linear system over <span class="SimpleMath">R :=</span><code class="code">HomalgRing</code><span class="SimpleMath">( <var class="Arg">phi</var> )</span>. For <em>non</em>commutative rings a heuristic method is installed. If it finds a pre-inverse it returns it, otherwise it returns <code class="code">fail</code> (--> <a href="chap1.html#X7C31B1FE786E596E"><span class="RefLink">Principal limitation</span></a>). The operation <code class="code">PreInverse</code> is used to install a method for the property <code class="func">IsSplitEpimorphism</code> (<a href="https://homalg-project.github.io/homalg_project/homalg/doc/chap4.html#X80A66EFA862E56BC"><span class="RefLink">homalg: IsSplitEpimorphism</span></a>).</p>

<p><code class="code">PreInverse</code> checks if it can decide the projectivity of <code class="code">Range</code><span class="SimpleMath">( <var class="Arg">phi</var> )</span>.</p>


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

100%


¤ Dauer der Verarbeitung: 0.19 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.