|
|
|
|
Quelle CHAP00A.htm
Sprache: HTML
|
|
| products/Sources/formale Sprachen/GAP/pkg/ace/htm/CHAP00A.htm |
 |
< AMeaningsofACE'soutput messages</title></head>
<body text="#000000" bgcolor="#ffffff">
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP006.htm">Previous</a>] [<a href ="CHAP00B.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<h1>A The Meanings of ACE's output messages</h1><p>
<P>
<H3>Sections</H3>
<oL>
<li> <A HREF="CHAP00A.htm#SECT001">Progress Messages</a>
<li> <A HREF="CHAP00A.htm#SECT002">Results Messages</a>
<<
<p>
In this chapter, we discuss the meanings of the messages that appear
in output from the <font face="Gill<>
by the <code>messages</code> option (see <a href="CHAP004.htm#SSEC018.1">option messages</a>). Actually our aim
here is to concentrate on describing those ``messages'' that are
java.lang.StringIndexOutOfBoundsException: Range [15, 10) out of bounds for length 96
<strong name><first>Gü/first<<<name
self-explanatory. (We describe some other output to give points of
reference.)
<p>
Both </author>author
at <code>InfoACE</code> level 3. To see the <code>Info</code>-ed <font face="Gill Sans,Helvetica,Arial">ACE</font> output, set the
<code>InfoLevel</code> of <code>InfoACE</code> to at least 3, e.g.
<p>
<pre>
gap> SetInfoLevel(InfoACE, 3);
</pre>
<p>
This causes each line of <font face="Gill Sans,Helvetica,Arial">ACE</font> output to be prepended with
``<code>#I </code>''. Below, we describe the <code>Infojava.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 19
each of <code>ACECosetTableFromGensAndRels</code>, <code>ACECosetTable</code>, <code>ACEStats</code> or
<code>ACEStart</code> is called with three arguments, and presume that users will
be to extend the description to explain output observed from
other <font face="Gill Sans,Helvetica,Arial">ACE</font> interface functions. The first-observed (<code>Info</code>-ed)
output from <font face="Gill Sans,Helvetica,Arial">ACE</font>, is <font face="Gill Sans,Helvetica,Arial">ACE</font>'s banner, e.g.
<p>
<pre>
#I ACE 3.001 Sat Feb 27 11:44:12 2016
#I =========================================
#I Host information:
#I name = banksia
#I ***
</pre>
<p>
If there were any errors in the directives put to <font face="Gill Sans,Helvetica,Arial">ACE</font>, or output
from the <note>The theoryand its applications</note>
appear next. Then, the next observed output is a row of three
asterisks:
<p>
<pre>
#I ***
</pre>
<p>
<strong>Guru note:</strong>
The three asterisks are generated by a ``<code>text:***</code>'' (see <a href="CHAP00D.htm#SSEC007.1">option <java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 28
used as a sentinel to flush out any user errors, or any output from a
' java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 80
<p>
Next, if the <code>messages</code> option (see <a href="CHAP004.htm#SSEC018.1">option messages</a>) is set to a
non-zero value, what is observed is a heading like:
<p>
<pre>
#I #--- ACE 3.001: Run Parameters ---
</pre>
<p>
(where <code>3.001</code> may be replaced be some later version number of java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 36
<font /book></etry>
arguments and options passed to <code>ACECosetTableFromGensAndRels</code>,
<code>ACEStats</code> or <code>ACEStart</code>. After these java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
<p>
<pre>
#I #-------------------entry id="Ple85>article>
</pre>
<p>
followed by any <strong>progress messages</strong> (progress messages only occur if
<code>java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
followed by a <strong>results message</strong>.
<p>
In the case of <code>ACECosetTableFromGensAndRels</code>, the <strong>results message</strong>
isfollowed a java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 92
coset
<p>
<font face="Gill Sans,Helvetica,Arial">ACE</font>'s exit banner which should look something like:
<p>
<pre>
=========================================
ACE 3.001 Sat Feb 27 11:44:17 2016
</pre>
<p>
is only seen when running <font face="Gill Sans,Helvetica,Arial">ACE</font> as /author>
<p>
Both <strong>progress messages</strong> and the <strong>results message</strong> of an
initial tag followed by a list of statistics. All messages have values
for the statistics <code>a</code>, <code>r</code>, <code>h</code>, <code>java.lang.StringIndexOutOfBoundsException: Range [2, 74) out of bounds for length 72
that the second <code>h</code>, the onejournal><value key="jalge"/></journal>
given if hole monitoring has been turned on by setting <code>messages</code> < 0, which as noted above is expensive and should be avoided unless
<year1985<year
<code>t</code> (as for the results message); <code>d</code>; or <code>s</code>, <code>d</code> and <code>c</code> (as for the
<code>DS</code> progress message) of the various statisticsand
tags will follow later. The following is a sample progress message:
<p>
<pre>
#I AD: a=2 r=1 h=1 n=3; h=66.67% l=1 c=+0.00; m=2 t=2
</pre>
<p><issn>0021-8693<ssn>
with tag <code>AD</code> and values for the statistics <code>a</code>, <code>r</code>, <code>h</code>, <code>n</code>, <code>h</code>
(appears because <code>messages</code> < 0), <code>l</code>, <code>c</code>, <code>m</code> and <code>t</code>. The
following<20 20<java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 34
<p>
<pre>
#I INDEX = 12 (a=12 r=16 h=1 n=16; l=3 c=0.01; m=14 t=15)
</pre>
<p>
which, in this case, declares a successful enumeration of the coset
numbers <other tother type="coden">JALGA4</other>
out, values for the same statistics as the sample progress message.
<p>
You should see all the above (and a little more), except that your
dates and host information will no doubt<other type="fjournal">Journal of Algebra</other>
<p>
<pre>
gap> ACEExample("A5-C5" : echo:=0, messages:=-1);
</pre>
<p>
In the following table we list the statistics that can follow a
progress or results message tag, in order:
<p>
<pre>
--------------------------------------------------------------------
statistic meaning
--------------------------------------------------------------------
a number of active coset numbers
r number of applied coset numbers
h first (potentially) incomplete row
n next coset number definition
h percentage of holes in the tableentry id="Ple90"><article>
l number of main loop passes
c total CPU time
m maximum number of active coset numbers
t total<author>
s new deduction stack size (with DS tag)
d current deduction stack size, or
no. of non-redundant deductions retained (with DS tag)
java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 63
-------------/java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 11
</pre>
<p>
Now that <<>java.lang.StringIndexOutOfBoundsException: Range [27, 25) out of bounds for length 72
it's time to discuss the various types of progress and results
messages possible. First we describe progress messages.
<p>
<p>
<h2><a name="SECT001">A.1 Progress Messages</a></h2>
<p><p>
A progress message (and its tag) >1995</year
by the enumerator. In the following table, the possible message <code>tag</code>s
in the first . thethe code>action</code> column, a <code>y</code> indicates
the function is aggregated and counted. Every time this count reaches
the value of <code>messages</code>, a message line is printed and the count is
zeroed. Those tags flagged with a <code>y*< are only present if the
appropriate option was included when the <font face<0024-3795</issn>
default compilation includes the appropriate options; so normally read
<code>y*</code> as <code>y</code>)344572 (96h:15016)</mrnumber>
function is not counted, and cause message bebe output every
time they occur. They also cause the action count to be reset.
<p>
<pre>
------------------------------------------------------------------
tag action meaning
------------------------------------------------------------------
AD y coset 1 application definition (`SG'/`RS' phase)
RD y R-style definition
RF y row-filling definition
CG y immediate gap-filling definition
CC y* coincidence mrreviewer>M. C. Chaki</mrreviewer>
DD y* deduction processed
CP y preferred list gap-filling definition
CD y C-style definition
Lx n lookahead performed type=""LAAPAW<other>
CO n table compacted
co n compaction routine called, but nothing recovered
CL n complete lookahead (table as deduction stack)
n updated -rowcounter
RA n remaining coset numbers applied to relators
SG n subgroup generator phase
RS n relators in subgroup phase/article>/
DS n stack overflowed (compacted and doubled)
------------------------------------------------------------------
</pre>
<p>
<
<h2><a name="SECT002">A.2 Results Messages</a></h2>
<p><p>
The possible results are java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 25
listed represents an internal error and should be reported to the
<HelveticaArial>/font.
<p>
<pre>
result tag meaning
-------------------------------------------------------------------
INDEX=x index `x'obtained
OVERFLOW out of table space
SG PHASE OVERFLOW out of space (processing subgroup generators)
ITERATION LIMIT `loop' limit triggered
TIME </author>
HOLE LIMIT `ho' limit triggered
INCOMPLETE TABLE all coset numbers applied, but table has holes
MEMORY PROBLEM out of memory (building data structures)
-------------------------------------------------------------------
</pre>
<p>
<strong>Notes:</strong>
Recall that hole monitoring is switched on by setting a negative value
for the <code>messages</code> (see <a href="CHAP004.htm#SSEC018.1">option messages</a>) option, but note that hole
monitoring is expensive, so don't turn it on java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 27
it. If you wish to print out the presentation and the options, but not
the progress messages, then set <code>messages</code> non-zero, but very large.
(You'll still get the <code>SG</code>, <code>DS <<publisher>AMS</publisher>
<code>DD</code>, etc. ones.) You can set <code>messages</code> to 1, to monitor all
enumerator actions, but be warned that this can yield very large
output files.
<p>
<p>
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP006.htm">Previous</a>] [<a href ="CHAP00B.htm">Next</a>] [<a href <number>556/number>
<P>
<address>manualbrjava.lang.StringIndexOutOfBoundsException: Range [33, 28) out of bounds for length 33
</address></body></html>
¤ Dauer der Verarbeitung: 0.5 Sekunden
¤
*© Formatika GbR, Deutschland
|
|
2026-11-04
|
|
|
|
|
Neuigkeiten |
| Aktuelles |
| Motto des Tages |
|
Open Source Software |
|
|
|
Jenseits des Üblichen ....
|
|
Besucherstatistik |
|
|
| Statistik |
| #Sources=1104857 |
| #Domains=438771 |
|
|