Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

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>

Messung
CHZG
8010010093

¤ Dauer der Verarbeitung: 0.1 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.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1104857
#Domains=439378