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

Impressum chap4_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/gbnp/doc/chap4_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 (GBNP) - Chapter 4: Info Level</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="chap4"  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="chapA_mj.html">A</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="chap3_mj.html">[Previous Chapter]</a>    <a href="chap5_mj.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap4.html">[MathJax off]</a></p>
<p><a id="X79C5DF3782576D98" name="X79C5DF3782576D98"></a></p>
<div class="ChapSects"><a href="chap4_mj.html#X79C5DF3782576D98">4 <span class="Heading">Info Level</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X7DFB63A97E67C0A1">4.1 <span class="Heading">Introduction</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X82D40B0E84383BBC">4.2 <span class="Heading">InfoGBNP</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X82D40B0E84383BBC">4.2-1 InfoGBNP</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X8222A2F67E4CC62B">4.2-2 <span class="Heading">What will be printed at level 0</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X8552D1FF7EA2B8A6">4.2-3 <span class="Heading">What will be printed at level 1</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X7CC244E47F903B31">4.2-4 <span class="Heading">What will be printed at level 2</span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X7FAE244E80397B9A">4.3 <span class="Heading">InfoGBNPTime</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X7FAE244E80397B9A">4.3-1 InfoGBNPTime</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X8222A2F67E4CC62B">4.3-2 <span class="Heading">What will be printed at level 0</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X8552D1FF7EA2B8A6">4.3-3 <span class="Heading">What will be printed at level 1</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X7CC244E47F903B31">4.3-4 <span class="Heading">What will be printed at level 2</span></a>
</span>
</div></div>
</div>

<h3>4 <span class="Heading">Info Level</span></h3>

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

<h4>4.1 <span class="Heading">Introduction</span></h4>

<p>Many functions of the GBNP package can produce additional output. Such output might be useful for long calculations, to see where the calculation is or to gain more information about the calculation itself.</p>

<p><strong class="pkg">GAP</strong> provides the tools to be able to tune the output of the functions. All of the functions of this package use the <code class="code">InfoClass</code> <code class="func">InfoGBNP</code> (<a href="chap4_mj.html#X82D40B0E84383BBC"><span class="RefLink">4.2-1</span></a>) and some use the <code class="code">InfoClass</code> <code class="func">InfoGBNPTime</code> (<a href="chap4_mj.html#X7FAE244E80397B9A"><span class="RefLink">4.3-1</span></a>). As usual with GAP when this is left at 0, the functions will hardly print additional information. It can be set to 1 or 2 with <code class="code">SetInfoLevel</code> (more about this function can be found at <a href="../../../doc/ref/chap7_mj.html#X7B2ADC37783104B9"><span class="RefLink">Reference: InfoLevel</span></a>). A brief explanation about each infolevel will be given in the next sections.</p>

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

<h4>4.2 <span class="Heading">InfoGBNP</span></h4>

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

<h5>4.2-1 InfoGBNP</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ InfoGBNP</code></td><td class="tdright">( info class )</td></tr></table></div>
<p>The <code class="code">InfoClass</code> for this package is used in almost all functions. To change this level to 1 (some information) or 2 (more information, also information from calculation loops) use the function <code class="code">SetInfoLevel</code>.</p>

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

<h5>4.2-2 <span class="Heading">What will be printed at level 0</span></h5>

<p>At level 0 no information is printed beyond what functions themselves command to be printed. These include functions like <code class="func">PrintNP</code> (<a href="chap3_mj.html#X7B63BEA87A8D6162"><span class="RefLink">3.2-1</span></a>), <code class="func">PrintNPList</code> (<a href="chap3_mj.html#X832103DC79A9E9D0"><span class="RefLink">3.2-3</span></a>), <code class="func">PrintTraceList</code> (<a href="chap3_mj.html#X83D1560C7F2A04BA"><span class="RefLink">3.7-2</span></a>) and <code class="func">PrintNPListTrace</code> (<a href="chap3_mj.html#X7DD0B56D7BD6CD98"><span class="RefLink">3.7-4</span></a>), but it also includes the function <code class="func">DetermineGrowthQA</code> (<a href="chap3_mj.html#X83C57C3A7DCF0471"><span class="RefLink">3.6-1</span></a>), which only prints one or two lines and <code class="func">DimsQATrunc</code> (<a href="chap3_mj.html#X7C6882DB837A9F5A"><span class="RefLink">3.8-5</span></a>) which produces information about a truncated Gröbner basis.</p>

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

<h5>4.2-3 <span class="Heading">What will be printed at level 1</span></h5>

<p>The infolevel can be set to 1 with the following command:</p>


<div class="example"><pre>
SetInfoLevel(InfoGBNP,1);
</pre></div>

<p>At level 1 a large set of functions will produce a bit of output. Most of this information reports on the phase of the algorithm the calculations are in or some simple statistics about the input or output.</p>

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

<h5>4.2-4 <span class="Heading">What will be printed at level 2</span></h5>

<p>The infolevel can be set to 2 with the following command.</p>


<div class="example"><pre>
SetInfoLevel(InfoGBNP,2);
</pre></div>

<p>At level 2 a large set of functions will produce a lot of output. This mostly concerns information on loops in the calculations. Timing information will be printed as well.</p>

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

<h4>4.3 <span class="Heading">InfoGBNPTime</span></h4>

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

<h5>4.3-1 InfoGBNPTime</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ InfoGBNPTime</code></td><td class="tdright">( info class )</td></tr></table></div>
<p>The <code class="code">InfoClass</code> for timing is used in producing information about the runtime of the algorithm in certain possibly lengthy calculations.</p>

<p>To change this level to 1 (Gröbner functions give information) or 2 (more information, also information from other functions, which might not always take a long time and from inside loops) use the function <code class="code">SetInfoLevel</code>.</p>

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

<h5>4.3-2 <span class="Heading">What will be printed at level 0</span></h5>

<p>No timing information will be printed at level 0. This can be desirable for small examples or when producing test output, for use with <code class="code">Test</code>.</p>

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

<h5>4.3-3 <span class="Heading">What will be printed at level 1</span></h5>

<p>The infolevel can be set to 1 with the following command:</p>


<div class="example"><pre>
SetInfoLevel(InfoGBNPTime,1);
</pre></div>

<p>At level one there will be time information printed by the functions from different variants of the Gröbner basis algorithm: <code class="func">Grobner</code> (<a href="chap3_mj.html#X7CD9F9C97B2563E2"><span class="RefLink">3.4-1</span></a>), <code class="func">SGrobner</code> (<a href="chap3_mj.html#X7FEDA29E78B0CEED"><span class="RefLink">3.4-2</span></a>), <code class="func">SGrobnerTrace</code> (<a href="chap3_mj.html#X78AE6EED83B97595"><span class="RefLink">3.7-5</span></a>), and <code class="func">SGrobnerTrunc</code> (<a href="chap3_mj.html#X7CD043E081BF2302"><span class="RefLink">3.8-2</span></a>).</p>

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

<h5>4.3-4 <span class="Heading">What will be printed at level 2</span></h5>

<p>The infolevel can be set to 2 with the following command:</p>


<div class="example"><pre>
SetInfoLevel(InfoGBNPTime,2);
</pre></div>

<p>At level two there will also be some information printed from a loop from within <code class="func">SGrobnerTrunc</code> (<a href="chap3_mj.html#X7CD043E081BF2302"><span class="RefLink">3.8-2</span></a>).</p>


<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap3_mj.html">[Previous Chapter]</a>    <a href="chap5_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="chapA_mj.html">A</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.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>

98%


¤ 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.