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

Quelle  chap14_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/simpcomp/doc/chap14_mj.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>
<script type="text/javascript"
  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (simpcomp) - Chapter 14: Interfaces to other software packages</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_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chap7_mj.html">7</a>  <a href="chap8_mj.html">8</a>  <a href="chap9_mj.html">9</a>  <a href="chap10_mj.html">10</a>  <a href="chap11_mj.html">11</a>  <a href="chap12_mj.html">12</a>  <a href="chap13_mj.html">13</a>  <a href="chap14_mj.html">14</a>  <a href="chap15_mj.html">15</a>  <a href="chap16_mj.html">16</a>  <a href="chap17_mj.html">17</a>  <a href="chap18_mj.html">18</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap13_mj.html">[Previous Chapter]</a>    <a href="chap15_mj.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap14.html">[MathJax off]</a></p>
<p><a id="X7D09DEB478A09E55" name="X7D09DEB478A09E55"></a></p>
<div class="ChapSects"><a href="chap14_mj.html#X7D09DEB478A09E55">14 <span class="Heading">Interfaces to other software packages</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap14_mj.html#X79FC20A5832313F5">14.1 <span class="Heading">Interface to the <strong class="pkg">GAP</strong>-package <strong class="pkg">homalg</strong></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14_mj.html#X817196DF78B17B12">14.1-1 SCHomalgBoundaryMatrices</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14_mj.html#X7C9CF8ED8348489F">14.1-2 SCHomalgCoboundaryMatrices</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14_mj.html#X86145D56863ABBAF">14.1-3 SCHomalgHomology</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14_mj.html#X83C631FC85ED4974">14.1-4 SCHomalgHomologyBasis</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14_mj.html#X840BBA3B7D881955">14.1-5 SCHomalgCohomology</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap14_mj.html#X83D8772284BAD386">14.1-6 SCHomalgCohomologyBasis</a></span>
</div></div>
</div>

<h3>14 <span class="Heading">Interfaces to other software packages</span></h3>

<p><strong class="pkg">simpcomp</strong> contains various interfaces to other software packages (see Chapter <a href="chap13_mj.html#X82F59668851B5E80"><span class="RefLink">13</span></a> for file-related export and import formats). In this chapter, some more sophisticated interfaces to other software packages are described.</p>

<p>Note that this chapter is subject to change and extension as it is planned to expand <strong class="pkg">simpcomp</strong>'s functionality in this area in the course of the next versions.



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

<h4>14.1 <span class="Heading">Interface to the <strong class="pkg">GAP</strong>-package <strong class="pkg">homalg</strong></span></h4>

<p>As of Version 1.5, <strong class="pkg">simpcomp</strong> is equipped with an interface to the <strong class="pkg">GAP</strong>-package <strong class="pkg">homalg</strong> <a href="chapBib_mj.html#biBHomAlg">[BR08]</a> by Mohamed Barakat. This allows to use <strong class="pkg">homalg</strong>'s powerful capabilities in the field of homological algebra to compute topological properties of simplicial complexes.



<p>For the time being, the only functions provided are ones allowing to compute the homology and cohomology groups of simplicial complexes with arbitrary coefficients. It is planned to extend the functionality in future releases of <strong class="pkg">simpcomp</strong>. See below for a list of functions that provide an interface to <strong class="pkg">homalg</strong>.</p>

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

<h5>14.1-1 SCHomalgBoundaryMatrices</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SCHomalgBoundaryMatrices</code>( <var class="Arg">complex</var>, <var class="Arg">modulus</var> )</td><td class="tdright">( method )</td></tr></table></div>
<p>Returns: a list of <strong class="pkg">homalg</strong> objects upon success, <code class="keyw">fail</code> otherwise.</p>

<p>This function computes the boundary operator matrices for the simplicial complex <var class="Arg">complex</var> with a ring of coefficients as specified by <var class="Arg">modulus</var>: a value of <code class="code">0</code> yields <span class="SimpleMath">\(\mathbb{Q}\)</span>-matrices, a value of <code class="code">1</code> yields <span class="SimpleMath">\(\mathbb{Z}\)</span>-matrices and a value of <code class="code">q</code>, q a prime or a prime power, computes the <span class="SimpleMath">\(\mathbb{F}_q\)</span>-matrices.</p>


<div class="example"><pre>
 gap> SCLib.SearchByName("CP^2 (VT)");
 [ [ 16, "CP^2 (VT)" ] ]
 gap> c:=SCLib.Load(last[1][1]);;
 gap> SCHomalgBoundaryMatrices(c,0);
 [ <A 36 x 9 matrix over an internal ring>, 
   <A 84 x 36 matrix over an internal ring>, 
   <A 90 x 84 matrix over an internal ring>, 
   <A 36 x 90 matrix over an internal ring>, 
   <An unevaluated 0 x 36 zero matrix over an internal ring> ]
 </pre></div>

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

<h5>14.1-2 SCHomalgCoboundaryMatrices</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SCHomalgCoboundaryMatrices</code>( <var class="Arg">complex</var>, <var class="Arg">modulus</var> )</td><td class="tdright">( method )</td></tr></table></div>
<p>Returns: a list of <strong class="pkg">homalg</strong> objects upon success, <code class="keyw">fail</code> otherwise.</p>

<p>This function computes the coboundary operator matrices for the simplicial complex <var class="Arg">complex</var> with a ring of coefficients as specified by <var class="Arg">modulus</var>: a value of <code class="code">0</code> yields <span class="SimpleMath">\(\mathbb{Q}\)</span>-matrices, a value of <code class="code">1</code> yields <span class="SimpleMath">\(\mathbb{Z}\)</span>-matrices and a value of <code class="code">q</code>, q a prime or a prime power, computes the <span class="SimpleMath">\(\mathbb{F}_q\)</span>-matrices.</p>


<div class="example"><pre>
 gap> SCLib.SearchByName("CP^2 (VT)");
 [ [ 16, "CP^2 (VT)" ] ]
 gap> c:=SCLib.Load(last[1][1]);;
 gap> SCHomalgCoboundaryMatrices(c,0);
 [ <A 9 x 36 matrix over an internal ring>, 
   <A 36 x 84 matrix over an internal ring>, 
   <A 84 x 90 matrix over an internal ring>, 
   <A 90 x 36 matrix over an internal ring>, 
   <An unevaluated 36 x 0 zero matrix over an internal ring> ]
 </pre></div>

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

<h5>14.1-3 SCHomalgHomology</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SCHomalgHomology</code>( <var class="Arg">complex</var>, <var class="Arg">modulus</var> )</td><td class="tdright">( method )</td></tr></table></div>
<p>Returns: a list of integers upon success, <code class="keyw">fail</code> otherwise.</p>

<p>This function computes the ranks of the homology groups of <var class="Arg">complex</var> with a ring of coefficients as specified by <var class="Arg">modulus</var>: a value of <code class="code">0</code> computes the <span class="SimpleMath">\(\mathbb{Q}\)</span>-homology, a value of <code class="code">1</code> computes the <span class="SimpleMath">\(\mathbb{Z}\)</span>-homology and a value of <code class="code">q</code>, q a prime or a prime power, computes the <span class="SimpleMath">\(\mathbb{F}_q\)</span>-homology ranks.</p>

<p>Note that if you are interested not only in the ranks of the homology groups, but rather their full structure, have a look at the function <code class="func">SCHomalgHomologyBasis</code> (<a href="chap14_mj.html#X83C631FC85ED4974"><span class="RefLink">14.1-4</span></a>).</p>


<div class="example"><pre>
 gap> SCLib.SearchByName("K3");
 [ [ 520, "K3_16" ], [ 539, "K3_17" ] ]
 gap> c:=SCLib.Load(last[1][1]);;
 gap> SCHomalgHomology(c,0);
 #I  SCHomalgHomologyOp: Q-homology ranks: [ 1, 0, 22, 0, 1 ]
 [ 1, 0, 22, 0, 1 ]
 </pre></div>

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

<h5>14.1-4 SCHomalgHomologyBasis</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SCHomalgHomologyBasis</code>( <var class="Arg">complex</var>, <var class="Arg">modulus</var> )</td><td class="tdright">( method )</td></tr></table></div>
<p>Returns: a <strong class="pkg">homalg</strong> object upon success, <code class="keyw">fail</code> otherwise.</p>

<p>This function computes the homology groups (including explicit bases of the modules involved) of <var class="Arg">complex</var> with a ring of coefficients as specified by <var class="Arg">modulus</var>: a value of <code class="code">0</code> computes the <span class="SimpleMath">\(\mathbb{Q}\)</span>-homology, a value of <code class="code">1</code> computes the <span class="SimpleMath">\(\mathbb{Z}\)</span>-homology and a value of <code class="code">q</code>, q a prime or a prime power, computes the <span class="SimpleMath">\(\mathbb{F}_q\)</span>-homology groups.</p>

<p>The <span class="SimpleMath">\(k\)</span>-th homology group <code class="code">hk</code> can be obtained by calling <code class="code">hk:=CertainObject(homology,k);</code>, where <code class="code">homology</code> is the <strong class="pkg">homalg</strong> object returned by this function. The generators of <code class="code">hk</code> can then be obtained via <code class="code">GeneratorsOfModule(hk);</code>.</p>

<p>Note that if you are only interested in the ranks of the homology groups, then it is better to use the funtion <code class="func">SCHomalgHomology</code> (<a href="chap14_mj.html#X86145D56863ABBAF"><span class="RefLink">14.1-3</span></a>) which is way faster.</p>


<div class="example"><pre>
 gap> SCLib.SearchByName("K3");
 [ [ 520, "K3_16" ], [ 539, "K3_17" ] ]
 gap> c:=SCLib.Load(last[1][1]);;
 gap> SCHomalgHomologyBasis(c,0);
 #I  SCHomalgHomologyBasisOp: constructed Q-homology groups.
 <A graded homology object consisting of 5 left vector spaces at degrees 
 [ 0 .. 4 ]>
 </pre></div>

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

<h5>14.1-5 SCHomalgCohomology</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SCHomalgCohomology</code>( <var class="Arg">complex</var>, <var class="Arg">modulus</var> )</td><td class="tdright">( method )</td></tr></table></div>
<p>Returns: a list of integers upon success, <code class="keyw">fail</code> otherwise.</p>

<p>This function computes the ranks of the cohomology groups of <var class="Arg">complex</var> with a ring of coefficients as specified by <var class="Arg">modulus</var>: a value of <code class="code">0</code> computes the <span class="SimpleMath">\(\mathbb{Q}\)</span>-cohomology, a value of <code class="code">1</code> computes the <span class="SimpleMath">\(\mathbb{Z}\)</span>-cohomology and a value of <code class="code">q</code>, q a prime or a prime power, computes the <span class="SimpleMath">\(\mathbb{F}_q\)</span>-cohomology ranks.</p>

<p>Note that if you are interested not only in the ranks of the cohomology groups, but rather their full structure, have a look at the function <code class="func">SCHomalgCohomologyBasis</code> (<a href="chap14_mj.html#X83D8772284BAD386"><span class="RefLink">14.1-6</span></a>).</p>


<div class="example"><pre>
 gap> SCLib.SearchByName("K3");
 [ [ 520, "K3_16" ], [ 539, "K3_17" ] ]
 gap> c:=SCLib.Load(last[1][1]);;
 gap> SCHomalgCohomology(c,0);
 #I  SCHomalgCohomologyOp: Q-cohomology ranks: [ 1, 0, 22, 0, 1 ]
 [ 1, 0, 22, 0, 1 ]
 </pre></div>

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

<h5>14.1-6 SCHomalgCohomologyBasis</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SCHomalgCohomologyBasis</code>( <var class="Arg">complex</var>, <var class="Arg">modulus</var> )</td><td class="tdright">( method )</td></tr></table></div>
<p>Returns: a <strong class="pkg">homalg</strong> object upon success, <code class="keyw">fail</code> otherwise.</p>

<p>This function computes the cohomology groups (including explicit bases of the modules involved) of <var class="Arg">complex</var> with a ring of coefficients as specified by <var class="Arg">modulus</var>: a value of <code class="code">0</code> computes the <span class="SimpleMath">\(\mathbb{Q}\)</span>-cohomology, a value of <code class="code">1</code> computes the <span class="SimpleMath">\(\mathbb{Z}\)</span>-cohomology and a value of <code class="code">q</code>, q a prime or a prime power, computes the <span class="SimpleMath">\(\mathbb{F}_q\)</span>-homology groups.</p>

<p>The <span class="SimpleMath">\(k\)</span>-th cohomology group <code class="code">ck</code> can be obtained by calling <code class="code">ck:=CertainObject(cohomology,k);</code>, where <code class="code">cohomology</code> is the <strong class="pkg">homalg</strong> object returned by this function. The generators of <code class="code">ck</code> can then be obtained via <code class="code">GeneratorsOfModule(ck);</code>.</p>

<p>Note that if you are only interested in the ranks of the cohomology groups, then it is better to use the funtion <code class="func">SCHomalgCohomology</code> (<a href="chap14_mj.html#X840BBA3B7D881955"><span class="RefLink">14.1-5</span></a>) which is way faster.</p>


<div class="example"><pre>
 gap> SCLib.SearchByName("K3");
 [ [ 520, "K3_16" ], [ 539, "K3_17" ] ]
 gap> c:=SCLib.Load(last[1][1]);;
 gap> SCHomalgCohomologyBasis(c,0);
 #I  SCHomalgCohomologyBasisOp: constructed Q-cohomology groups.
 <A graded cohomology object consisting of 5 left vector spaces at degrees 
 [ 1 .. 5 ]>
 </pre></div>


<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap13_mj.html">[Previous Chapter]</a>    <a href="chap15_mj.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chap7_mj.html">7</a>  <a href="chap8_mj.html">8</a>  <a href="chap9_mj.html">9</a>  <a href="chap10_mj.html">10</a>  <a href="chap11_mj.html">11</a>  <a href="chap12_mj.html">12</a>  <a href="chap13_mj.html">13</a>  <a href="chap14_mj.html">14</a>  <a href="chap15_mj.html">15</a>  <a href="chap16_mj.html">16</a>  <a href="chap17_mj.html">17</a>  <a href="chap18_mj.html">18</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.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>

94%


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