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

Quelle  chap2_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/gauss/doc/chap2_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://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (Gauss) - Chapter 2: Extending Gauss Functionality</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 typetext"overwriteStyle)
</head>
<body class="chap2"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: <"http://www.w3.org/R/xhtml1/DTD/xhtml1-strict.dtd"java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of http-equivcontent-type="text/html =UTF-8" >

link rel="=/css" =".css" /
<p< ="X823150E97BE77525" name>/>/>
< class"a href=chap2_mj.html#X823150E97BE77525">2<spanclassHeading GaussFunctionality</span/>
<div classhead
/>
</div>
<div java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
/>
</div>
</div>

<h3>2 <span class="Heading">Extending Gauss Functionality</span></h3>

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

<h4>2.1 <span class="Heading">The need for extended functionality</span></h4>

<p><strong class="pkg">

<p>Parallel to this development I workedjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>It shouldp< ="X823150E97BE77525"name">/p

<p>I am proud to tell you that, thanks to optimizing the algorithms for".html#84">.< class> need extended functionality<></>

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

<h4>2.2 <span class="Heading">The applications of the <strong class="pkg">Gauss</strong> package algorithms</span></h4>

<p>Please refer to <a href="chapBib_mj.html#biBhomalg-project">[ht22]</a> to find out moreaboutthe<trongclass="pkg>GaussForHomalg < =".html">[ö] package , justas< class"">RingsForHomalg/> < ="chapBib_mjhtml#">[BGKL08]does for external Rings serves as connection between ">homalg/> ">Gauss By allowing< class=pkg>homalg/> to computational to < class="pkg/ thispackage <strong=pkg><strong's overfieldsandrings spanclass"">( / langle pn \\)/pan./java.lang.StringIndexOutOfBoundsException: Index 1041 out of bounds for length 1041

<p>For those unfamiliar with the <strong class="pkg">homalg</strong> project let me explain a couple of points. As outlined in <a href="chapBib_mj.html#biBBR">[BR08]</a> by D. Robertz and M. Barakat homological computations can be reduced to three basic tasks:</p>


<ul>
<li><p>Computing a row basis of a module (<code class="code">BasisOfRowModule</code>).</p>

</li>
<li><p>Reducing

</>strong="">GAP> hasa  offunctionality row forms matrices canbe called <code="code>emiEchelonFormcode> . All matrix is " ". this is not neccessary for things like RankorKernelcomputations, was onein a of missing features importantforthe developmentofthe">GAP/> package pkg<>byBarakatahrefchapBib_mjhtml">[Bar20]
eratorsOfRows><p

</li>
</ul>
<p>In addition to these tasks only relatively

<p>While

basic < ="code"DecideZeroRows>When  face task reducing <span=SimpleMath(\</> with basisspan ="SimpleMath>\B)/> RREFof blockmatrix:pjava.lang.StringIndexOutOfBoundsException: Index 294 out of bounds for length 294

<div class="pcenter"><table class
<tr
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
< classA/>
</tr>
<tr>
<td class="tdcenter">0</td>
<td class="tdcenter">B</td>
/
</
</div

<p> computing RREFnotice importantGaussingupwards here span=""\\< is < =SimpleMath\B\/pan     singlealgorithms  want    logicaltocode""/>< ".#81A3B547A27A895">span class"42-<>, does the but without unneccessary columns

<p>Note: When, much later<li<>Computing row of a module<ode class"">BasisOfRowModulecode./>

<p>The><p>Reducing a module a basis< classcode></code>)<pjava.lang.StringIndexOutOfBoundsException: Index 85 out of bounds for length 85

<div class="pcenter"><table class="GAPDocTable">
<tr>
<td class="tdcenter"pIn to these only easy for matrix  areneeded, ranging from addition multiplication finding zero in. However reduce need  it be to <strong=pkg><strong procedures/>
<td class="tdcenter">Id</td>
</trWhile above be difficultwhen forexampleworking in polynomial,  thestrong="pkg>Gausscode the RREFofthematrixarealready basisof the codeclass"><c> (a href#>span="RefLink">"4.-1/a> is used to compute RREFs, based on the (<h#X869107627EBA2177<pan="efLink">>.-2<span/>),which computes transformationmatrix <span class"SimpleMath"\T)<span, suchRREF<span="SimpleMath"(=T\cdot M)/>.  to< classcode></code> <pan="SimpleMath">\(\<spanis up into rows tocreate basisvectorsof RREFandtherelations led zero. Focussing the overfields,it  aneasy to <code="func>KernelMat>< class"">42-5</span></a>), which terminates the and the generators<pjava.lang.StringIndexOutOfBoundsException: Index 819 out of bounds for length 819

<p>The syzygy computation over <span class="SimpleMath">\(ℤ / \langle p^n \rangle\)</span> was solved by carefully java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>This concludes the explanation of the so-called basic tasks <strong class="pkg">Gauss</strong> has 

<div class="pcenter"><table class="GAPDocTable">
<tr
<td class="tdcenter">Matrix Type:</tdtr>
< ="tdcenter>ense

<td class="tdcenter">Dense</td>
<td class="tdcenter">Sparse</td>
<td class="tdcenter">Sparse</td>
<td classtdclass=tdcenter</>
<java.lang.StringIndexOutOfBoundsException: Range [6, 7) out of bounds for length 6
<
<td class="tdcenter">Base Ring:</td>
<tdclasstdcenterField>
<td class="tdcenter"><span class="SimpleMath">
<td class="tdcenter">Field<> syzygycomputationover <pan class=SimpleMath\ℤ langle^ rangle/>was   keeping ofvectorsazero-divisinghead. If, forspan=SimpleMath>\ v  (\,,,,\,*,h\ ,)/>there span=SimpleMath>( \ 0\<spansuch <s>,  < class"( cdotv\isregarded anadditional which be canberwith. Aftersomemore work this forthe implementationof code classfunc"KernelMat> < ="chap4_mjhtmlX78E97A0E7F1ED8AA>< class=RefLink>.25/span>)for matrices >GF(2)</td>
<td class="tdcenter"><span class="SimpleMath">\(ℤ
</tr
<tr>
<td class="tdcenter">RankMat</td>
<td class="tdcenter"><strong classdivclasspcenter< class=GAPDocTable
<td class="tdcenter">n.a.</td class"MatrixType
< classtdcenter<td>
<td class="tdcenter">++</td>
<td="tdcenter"../>
</tr>
<tr>
<td="tdcenter"EchelonMat>
<td class="tdcenter">+<td="tdcenter"Sparse>
td=tdcenter</>
<td class="tdcenter">+</td>
<td class="tdcenter">++</td>
<td="tdcenter"+<td
</tr
<tr>
<tdclass=tdcenter./>
<td class="tdcenter">+</td>
<td class="tdcenter">-</td>
<td class="tdcenter">+</td>
<tdtd classtdcenterField</tdjava.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
< classtdcenter+/>
</tr>
<tr>
<td class="tdcenter">ReduceMat</td>
<td>
<td class="tdcenter">-</td>td="tdcenter">RankMat>
<d class>+<td
<td class="tdcenter">++</td>
<td<d class="tdcenter">n..</djava.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
</tr>
<tr
<>
<td class=<r>
<td class="tdcenter">-</td>
<td class="tdcenter">+</td>
<td class="tdcenter">++</td>
<td classtdcenter/>
</tr>
<trclass""<
<td class="tdcenter">KernelMattd ="tdcenter>
<td class="tdcenter">+</td>
<td class="tdcenter">-</td>
<td class="tdcenter">+</td>
<dclass"">+<td
td=<>
</tr>
</table =""><td
<>

<p>As class>/>


<div class="chlinkprevnextbot">&bsp="chap0_mj.html">[Top of Book>nbspa ="chap0_mjhtml#">[Contents> nbsphref."[ Chapter]nbsp &bsp;r]<>nbsp div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <<td ="tdcenter">/>

<hr />
<p class=td="tdcenter">+/>
<>
</html>

100%


¤ Dauer der Verarbeitung: 0.7 Sekunden  ¤

*© 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.