<?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>