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

Quelle  chap2.html   Sprache: HTML

 

 products/Sources/formale Sprachen/GAP/pkg/gaussforhomalg/doc/chap2.html


<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR    and  ::"_ \<ightarrow>> (_ heap\Rightarrow>(_ heap \Rightarrow> bool) set"

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (GaussForHomalg) - Chapter 2: Usage</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="chap2"  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="chapA.html">A</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="chap1.html">[Previous Chapter]</a>    <a href="chap3.html">[Next Chapter]</a>   </div>

<pid="athjaxlink" class="pcenter"><a href="chap2_mj.html">[MathJax on]</a></p>
<p><a id="X86A9B6F87E619FFF" name="X86A9B6F87E619FFF"></a></p>
<div class="ChapSects"><a href="chap2.html#X86A9B6F87E619FFF">2 <span class="Heading">Usage</span></a>
</div>

<h3>2 <span class="Heading">Usage</span></h3>

<p>If you are just interested in using the <strong class="pkg">Gauss</strong> package with <strong class="pkg">homalg</strong>, you do not need to know much about <strong class="pkg">GaussForHomalg</strong>, as    "_) object_ptr \<Rightarrow> ((_) object_ptr \<Rightarrow> ((_) heap, exception, (_) element_ptr option) prog) \<Rightarrow>

<p>However, you might be interested in writing your own <strong class="pkg">XyzForHomalg</strong>, enabling <strong class="pkg">homalg</strong> to assist you with java.lang.StringIndexOutOfBoundsException: Index 166 out of bounds for length 55

<p>The file for all low-level operations is <code class="file">GaussTools.gi</code>. Like all "Tools" files it just includes one global variable <code class=java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5

<p>In this particular case, the file also includes the following code:</p>


<div class="example"><pre>if IsBound( HOMALG.OtherInternalMatrixTypes ) then
    Add( HOMALG.OtherInternalMatrixTypes, IsSparseMatrix  : "bool \<ightarrow>()node_ptr\<ightarrow _ _  option dom_progjava.lang.StringIndexOutOfBoundsException: Index 110 out of bounds for length 110
else
    HOMALG.OtherInternalMatrixTypes := [ IsSparseMatrix ];
fi;</pre></div>

<p>This is a specialty to explain to <strong class="pkg">homalg</strong> that <strong class="pkg">Gauss</strong> introduces a new matrix type in <strong class="pkg">GAP</strong>. Usually, there should not be a need for this.</p>

<p>The next "general" file is <code class="file">GaussBasic.gi</code>. This includes the basic functions based on <a href="chapBib.html#biBBR">[BR08]</a>, again stored in the global record <code class="code">CommonHomalgTableForGaussBasic</code>. Preceding this  "a_find_slot open_flag slotable =do java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42

<p>In <code class="file">GaussForHomalg.gi</code> the methods for matrix entry manipulation are installed.</p>

<p>Finally, we come to the most important files, making sense of the case of


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap1.html">[Previous Chapter]</a>    <a href="chap3.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.java.lang.StringIndexOutOfBoundsException: Index 141 out of bounds for length 39

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

Messung
CHZG
8210010094

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet am  2026-11-04) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


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.