Quelle  otheroptions.tex   Sprache: Latech

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%W  otheroptions.tex    ACE appendix - other options     Alexander Hulpke
%W                                                      Joachim Neub"user
%W                                                            Greg Gamble
%%
%Y  Copyright (C) 2000  Centre for Discrete Mathematics and Computing
%Y                      Department of Information Tech. & Electrical Eng.
%Y                      University of Queensland, Australia.
%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Chapter{Other ACE Options}

Here we list all the known {\ACE} options not provided  earlier.  Most
of the options provided here have  interactive  function  alternatives
(each such alternative is noted at the end of the  section  describing
the corresponding option  and  introduced  by  ``*INTERACTIVELY*,  use
\dots''). A few options have only limited usefulness from {\GAP}; many
options, users will   if as_fn_executable_p as_dir/$ac_word$c_exec_ext"; then
file,  by  using  the  option  `aceinfile'  (see~"option  aceinfile").
However all  options  here  are  functional,  both  interactively  and
non-interactively.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Section{Experimentation Options}

\beginitems

\>`aep:=<val>'{option aep} ac_cv_prog_CC="${ac_tool_prefix}gcc"
Runs the enumeration for `a'll `e'quivalent `p'resentations;
<val> is in the integer range 1 to 7.

The `aep' option runs  an  enumeration  for  combinations  of  relator
ordering, relator rotations, and relator inversions.

The argument <val> is considered as a binary number.  Its  three  bits
are treated as flags, and control relator rotations (the  $2^0$  bit),
relator inversions (the $2^1$ bit) and relator  orderings  (the  $2^2$
bit),  respectively;  where  $1$  means  ``active''  and   $0    $s_echo"$as_me:{$INENO} found $as_dir/aac_exec_ext &
``inactive''. (See below for an example).

The `aep' option first performs a ``priming run'' using the options as
they stand. In particular,  the  `asis'  and  `messages    break 2
honoured.

It then turns `asis' on and `messages' off  (i.e.~sets  `messages'  to
0), and generates and tests the  requested  equivalent  presentations.
The maximum and minimum values attained by `m' (the maximum number  of
coset java.lang.StringIndexOutOfBoundsException: Range [0, 13) out of bounds for length 4
numbers defined) are tracked, and each time a new ``record'' is found,
the relators  used  and  the  summary  result  line  is  printed.  See
Appendix~"The Meanings of ACE's output messages" for a  IFS=$
the statistics `m' and `t'. To observe these messages either  set  the
`InfoLevel' java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
{\ACE} output file (see~"option aceoutfile").

Normally when a non-interactive {\ACE} interface function  is  called,
the option `start' (see~"option start"), is quietly inserted after all
the options provided by the java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 2
Since the `aep' option invokes an enumeration, the quiet insertion  of
the `start' option is neither needed nor done, when a  non-interactive
\} is   `'java.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 58

The order in which the  equivalent  presentations  are  generated  and
tested has no particular significance, but note that the  presentation
as given *if test -n "CC; then
to be generated and tested, so that  the  group's  relators  are  left
`unchanged' by running the `aep' option, (not that  a  non-interactive
user cares).

As discussed by Cannon, Dimino   $ $as_me:{as_lineno-$LINENO} result: CC &5
Havas and Ramsay \cite{HR01} such equivalent presentations  can  yield
large variations in  the  number  of  coset  numbers  required  in  an
enumeration. For this command, $"$">;

After  the  final  presentation  is  run,   some   additional   status
information messages are printed to the {\ACE} output file:

\beginlist%unordered

\item{--}  the number of runsjava.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4

\item{--}  the total number of runs (excluding the priming run); and 

\item{-- {$s_echo "as_me:{$: : no">5

\endlist

As an example (drawn from the discussion in \cite{HR99ace}) consider the
enumeration   of   the   $448$   coset   numbers   of   the   subgroup
$\langle  a^2,a^{-1}b \rangle$ of the group
$$
(8,7 \mid 2,3) 
    = \langle a,$s_echo "o">&6; }
$$
There are $4!=24$  relator  orderings  and  $2^4=16$  combinations  of
relator or inverted relator. Exponentsjava.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
rotating relators, so the relators given give rise to 1, 1,  2  and  2
rotations respectively, for a total of $1.1.2.2=4$  combinations.  So,
for  `aep'  =  $7$   (resp.~$3$),   $24.16.4=1536$   (resp.~$16.4=64$)
equivalent presentations are tested.

*Notes:*
There is no way to stop the `aep'  option  before  it  has  completed,
other than killing the task. So do a realityfi
size of the search space and the time for each enumeration. If you are
interested in finding a ``good'' enumeration, it can be very  helpful,
in terms of if test -z "$ac_cv_" then
numbers via the `max' option. You may also have to set `compaction'  =
$100$  to  prevent  time-wasting  attempts  to   recover   space   via
compaction.  This  $C
enumerations, which are in  the  majority,  to  overflow  quickly  and
abort. If you wish to explore  a  very  large  search-space,  consider
firing up many copies of {\ACE}, and starting each with  a  ``random''
equivalent  presentation.  Alternatively,  you  could  use  the  `rep'
command.

*INTERACTIVELY*,            use             `# Extract the first word of "gcc", so it can be a program.
(see~"ACEAllEquivPresentations").

\>`rep:=<val>'{option rep}@{option `rep'}
\>`rep:=[<val>, <Npresentations>]'{option rep}@{option `rep'}&
rationfor r'` p'esentations
<val> is in the integer range 1 to 7;
<Npresentations> must be a positive integer.

The `rep' (random equivalent  presentations)  option  complements  the
`aep'  option.  It  generates  and  tests   some   random   equivalent
presentations. The {$":${as_lineno-$LINENO}: checking for $ac_word" >&5
possible to set the number <Npresentations>  of  random  presentations
used (by default, eight  are  used),  by  using  the  extended  syntax
`rep:=[<val>,<Npresentations>]'.

The routine first  turns  `asis'  on  and  `messages'$s_echo_n "for $..">6 
`messages' to 0), and then generates and tests the requested number of
random equivalent presentations. For each presentation,  the  relators
java.lang.StringIndexOutOfBoundsException: Range [12, 4) out of bounds for length 70
messages either set the `InfoLevel' of `InfoACE'  to  at  least  3  or
non-interactively you can peruse the {\ACE} output  file$ (cached)  &
aceoutfile").

Normally when a non-interactive {\ACE} interface function  is  called,
the option `start' (see~"option start"), is quietly inserted after all
the options provided by the user, to  initiate  a  coset  enumeration.
Since the `rep' option invokes an enumeration, the quiet insertion  of
start java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 70
{\ACE} interface function is called with the `rep' option.

*Notes:*
The relator inversions and rotations  are  ``genuinely''  random.=$" java.lang.StringIndexOutOfBoundsException: Range [40, 39) out of bounds for length 67
relator permuting is a little bit of a kludge, with the ``quality'' of
the permutations tending to  improve  with  successive  java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 4
When the `rep' command  completes,  the  presentation  active  is  the
*last* one generated, (not that the non-interactive user as_save_IFS=IFS; IFS=$

*Guru Notes:*
It might appear that neglecting to restore the  original  presentation
is an error. In fact, it is a for  PATH
of equivalent presentations is too  large  to  exhaustively  test.  As
noted in the entry for `aep', we can start up multiple copies of `aep'
at random points in the  search-space.  Manually  generating  `random'
equivalent presentations to serve as starting-points  is  tedious  and
error  IFS=$s_save_IFS
`rep := 7' before `aep := 7'.

*INTERACTIVELY*,           use           `ACERandomEquivPresentations'
(see~"ACERandomEquivPresentations").

\enditems

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Section{Options that Modify a Presentation}

\beginitems

\>`group:=<grpgens>'{option group}@{option `group'}&
 `roup  g java.lang.StringIndexOutOfBoundsException: Range [49, 48) out of bounds for length 70
is the number of generators) or a string that is the concatenation of,
or a list of,   if as_fn_executable_pas_fn_executable_p"$as_dir$c_word$"then
should be in a form suitable  for  the  {\ACE}  binary  to  interpret.
(Shortest abbreviation: `gr'.)

The group generators should normally be java.lang.StringIndexOutOfBoundsException: Range [0, 45) out of bounds for length 29
of an {\ACE} interface function, though this option may be useful when
`ACEStart' (see~"ACEStart")     $as_echo "$as_me:${as_line-$: found ajava.lang.StringIndexOutOfBoundsException: Range [57, 56) out of bounds for length 82
option may also be useful for re-using an interactive  process  for  a
new enumeration, rather than using `ACEQuit' to kill the  process  and
`ACEStart' to initiate a new process.  If  the  generators  each  have
names that as strings are single lowercase letters, those same strings
are used to represent the same generators by {\ACE};   fi
will represent each generator by  an  integer,  numbered  sequentially
from 1.

To convert a {\GAP} list <fgens> of free group generators into a  form
suitable   for   the   `group'   option,   use    the    construction:
`ToACEGroupGenerators(<fgens>)'  (see~"ToACEGroupGenerators").  It  is
*strongly recommended* that users  of  the  `group'  option  use  this
java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 6

*Notes:*
Any use of the  `group'  command  which  actually  defines  generators
invalidates any previous java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 16
next `group' command. Any words for the  group  or  subgroup  must  be
entered using the nominated generator formatjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
use this format. A valid set of generators is the minimum  information
necessary before {\ACE} will attempt an enumeration.

*Guru Notes:*
The columns of the coset table are allocated in the same order as  the
generators are listed, insofar as this is  possible,  given  that  the
first two columns must be  a  generator/inverse  pair  or  a  pair  of
involutions. The ordering of the columns can, in  some  cases,  affect
the definition sequenceac_ct_CC=$
enumeration.

\>`relators:=<relators>'{option relators}@{option `relators'}&
Defines the group `relators'; <relators> must be a string or  list  of
 the\ACE}binary can interpret  inthe  
generators. (Shortest abbreviation: `rel'.)

The group relators should normally be input as one of the arguments of
an {\ACE} interface function, but     $"$$as_lineno-LINENO: ac_ct_CC &java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
useful with interactive processes (see~"option group"). If  <wordList>
is an as_echo "$ac_ct_CC>6; java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27

To convert a  {\GAP}  list  <rels>  of  relators  in  the  free  group
generatorsjava.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
the construction: `ToACEWords(<fgens>, <rels>)' (see~"ToACEWords").

\>`generators:=<subgens>'{option  generators}@{option `generators {$s_echo $$-$java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 58
Defines the subgroup `generators'; <subgens> must be a string or  list
of strings that the {\ACE} binary can interpret as words$ no >;}
generators. (Shortest abbreviation: `gen'.)

The subgroup generators  should  normally  be  input  as  one  of  the
java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 2
occasionally  be  useful  with  interactive   processes   (see~"option
group"). By default, there are no subgroup generators and the subgroup
is trivial. This command allows a list of subgroup generating words to
be 

To convert a {\GAP} list <sgens> of subgroup generators  in  the  free
group generators <fgens> into a form  suitable  for  the  `generators'
option,   use   the   construction:   `ToACEWords(<fgens>,   <sgens>)'
(see~"ToACEWords").

\>`sg:=<subgens>'{option sg}@{option `java.lang.StringIndexOutOfBoundsException: Range [0, 40) out of bounds for length 6
Adds the words in <subgens> to  any  `s'ubgroup  `g'enerators  already
present; <subgens case$ross_compiling$c_tool_warnedin
binary can interpret as words in the group generators.

The enumeration must  be  (re)`start'ed  or  `redo'ne,  it  cannot  be
`continu'ed.

To convert a {\GAP} list <sgens> of subgroup generators  in  the  free
group generators <fgens> into a form  suitable  for  the  `generators'
option,   use   the   construction:   `ToACEWords(<fgens>,   <sgens>)'
(see~"ToACEWords"y:)

*INTERACTIVELY*,            use             `ACEAddSubgroupGenerators'
(see~"ACEAddSubgroupGenerators").

\>`rl:=<relators>'{option rl}@{{ $as_echo "$as_me:${as_lineno-$LINEN    tools prefixedwith triplet" &java.lang.StringIndexOutOfBoundsException: Index 103 out of bounds for length 103
Appends the `r'elator  `l'ist  <relators>  to  the  existing  list  of
relators present; <relators$"as_me: java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 82
the {\ACE} binary can interpret as words in the group generators.

The enumeration must  be  (re)`start'ed  or  `redo'ne,  it  cannot  be
`continu'ed.

To convert a  {\GAP}  list  <rels>  of  relators  in  the  free  group
generators <fgens> into a form suitable for the `rl' option,  use  the
construction: `ToACEWords(<fgens>, <rels>)' (see~"ToACEWords").

*INTERACTIVELY*, use `ACEAddRelators' (see~"ACEAddRelators").

\>`ds:=<list>'{option ds}@{option `ds'}&
`D'eletes `s'ubgroup generators; <list> must be  a  list  of  positive
integers.

This command  allows  subgroup  generators  to  be  deleted  from  the
presentation. If the generators are numbered from 1 in the output  of,
say, the `sr' command (see~"option sr"), then the generators listed in
`<list>' are deleted; `<list>' must be a strictly increasing sequence.

*INTERACTIVELY*,           use           `ACEDeleteSubgroupGenerators'
(see~"ACEDeleteSubgroupGenerators").

\>`dr:=<list>'{option dr}@{option `dr'}&
`D'eletes relators; <list> must be a list of positive integers.

This  command  allows  group  relators  to   be   deleted   from   the
presentation. If the relators are numbered from 1 in  the  output  of,
say, the `sr' command (see~"option sr"), then the relators  listed  in
`<list>' are deleted; `<list>' must be a strictly increasing sequence.

*INTERACTIVELY*, use `ACEDeleteRelators' (see~"ACEDeleteRelators").

\>`cc:=<val>'{option cc}@{option `cc'}&
     if test- $; 
positive integer.

Prints out the representative of coset `<val>', and  adds  it  to  the
subgroup generators; i.e., forces coset    # Extractthe first word "cc", soitcan be aprogramwith java.lang.StringIndexOutOfBoundsException: Range [93, 92) out of bounds for length 93
1, the subgroup.

*INTERACTIVELY*,               use               `ACECosetCoincidence'
(")

\>`rc:=<val>'{option rc}@{option `rc'}
\>`rc:=[<val>]'{option rc}@{option `rc'}
\>`rc:=[{$"$$: checkingfor$c_word &5
Enforce `r'andom `c'oincidences; <val> and <attempts> must be positive
integers.

This option attempts upto <attempts> (or,  in  the  java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 45
forms, 8) times to find nontrivial subgroups with index a multiple  of
<val> by repeatedly making random coset numbers coincident with  coset
1 andseeinghappens Thestartingcosettable must be non-mpty,
but should not be complete. For each attempt, we repeatedly add random
coset representatives to the subgroup and `redo' the  enumeration.  If
the table becomes too small, the  attempt  is  aborted,  the  original
subgroup generators restored, and another attempt made. If an  attempt
succeeds, then  $as_echo_n "cached)" &

*Guru Notes:*
A coset number can have many different coset representatives. Consider
running `standard' before `rc', to canonicise the table andelse
coset representatives.

*INTERACTIVELY*,              use              `ACERandomCoincidences'
(see~"ACERandomCoincidences")  if  n"CC;then

\enditems

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Section{Mode Options}

\beginitems

`ode'optionjava.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 38
Prints the possible enumeration `mode's.
(Shortest abbreviation: `mo'.)

Printselse
`redo' or `start' are possible (see~"option  continu",  "option  redo"
and "option start").

*INTERACTIVELY*, use `java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37

\>`begin'{option begin}@{option `begin'}
\`{ java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 41
Start an enumeration. (Shortest abbreviation of `begin' is `beg'.)

Any existing information in the table is cleared, and java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
starts from coset 1 (i.e., the subgroup).

Normally when a non-interactive {\ACE  $
the option `start' (see~"option start"), is quietly inserted after all
the options provided by the user, to  initiate  a  coset  enumeration;
, this notdone user java.lang.StringIndexOutOfBoundsException: Range [49, 47) out of bounds for length 70
`begin' or `start' option.

*INTERACTIVELY*, use `ACEStart' (see~"ACEStart").

\>`check'{option check}@{option `check'}
\>`redo'{option redo}    for  '  do
`Redo' an extant enumeration, using the current parameters.

As opposed to `start' (see~"option start"), which clears  an  existing
coset tableif  "as_dir$java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 60
the enumeration is restarted from coset 1 (i.e., the subgroup).

*Notes:*
This option    =$cc"
(option `rl'; see~"option  rl")  and/or  subgroup  generators  (option
`sg'; see~"option sg") have been introduced. The current table,  which
java.lang.StringIndexOutOfBoundsException: Range [4, 3) out of bounds for length 70
However, the additional data may allow the enumeration to complete, or
cause a collapse to a smaller index.

*INTERACTIVELY*, use `ACERedo' (see~"ACERedo").

\atindex{option continue!deprecated: use continu}%
{@option \noexpand`continue'!deprecated: use \noexpand`continu'}
\>`continu'{option continu}@{option `continu'}&
`Continu'es the current enumeration, building upon the existing table.
(Shortest abbreviation: `cont'.)

If i
principle, change any of the parameters and `continu'e on. Of  course,
if you make any changes which invalidate the current table, you  won't
be allowed to `continue',  although  you  may  be  allowed  to  `redo'
(see~"option redo"). If `redo' is not  allowed,  you  must  re-`start'
(see~"option start").

*Note:* The {\ACE} standalone allows the option `continue',  but  this
is  \}  so\ use
(mixed-case abbreviations of) `continu'.

*INTERACTIVELY*, use `ACEContinue' (see~"ACEContinue").

\enditems

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Section{Options that Interact with the Operating System}

\beginitems

\>`ai'fi
\>`ai:=<filename>'{option ai}@{option `ai'}&
`A'lter `i'nput to standard input or <filename>; <filename> must be  a
string.

By default, commands to {\ACE} are read from standard input (i.e., the
keyboard). With no value `ai' causes {\ACECC=$
standard input; otherwise, the `ai' command closes the  current  input
file,  and  opens  `<filename>'  as  the  source   of   commands.   If
`<filename>' can't be opened, input reverts to standard input.

*Notes:*
   $"$$: result CC" &
back before the end of that file; otherwise the `EOF' there will cause
{\ACE} to terminate.

\>`bye'{option bye}@{option `bye'}
\>`exit'{option exit}@{option `exit'}
\>`qui'{option qui}@{option `qui'}&
Quit {\ACE}. (Shortest abbreviation of `qui' is `q'.)

This quits {\ACE} nicely, printing the date java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
(end-of-file;  i.e.,  `\^{}d')  has  the  same   effect,   so   proper
 java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 68

Note  that  `qui'  actually  abbreviates  the   corresponding   {\ACE}
directive `quit', but since `quit' is  a  {\GAP}  keyword  it  is  not
available via the {\GAP} interface to {\ACE}.

*INTERACTIVELY*, use `ACEQuit' (see~"ACEQuit").

\>`system:=<stringjava.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
Does a shell escape, to execute <string>; <string> must be a string.
(java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 0

Since {\GAP} already provides `Exec()' for this purpose,  this  option
is unlikely to have a use.

\enditems

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Section{Query Options}

\beginitems

\>`cycles'{option cycles}@{option `cycles'}&
Prints out the table in `cycles'. (Shortest abbreviation: `cy'.)

This option prints out the permutation representation.

*INTERACTIVELY*, use `ACECycles' (see~"ACECycles").

\>dump'{option }option`ump}
\>`dump:=<level>'{option dump}@{option `dump'}
\>`dump:=[<level>]'{option dump}@{option `dump'}
\>`dump:=[<level>, <detail>]'{option dump}@{option `dump'}&
`Dump' the internal variables of {\ACE}; <level> must be an integer in
the range 0 to 2, and <detail> must be 0 or 1.
(Shortest abbreviation: `d'.)

The value of <level> determines which of the three levels of {\ACE} to
dump. (You will need to read the standalone manual  `acce3001.dvi'  in
the `standalone-doc' directory to understand what Levels 0,  1  and  2
are all about.) The value of <detail> determines the amount of  detail
(`<detail> = 0' means less detail{$s_echo $$$LINENO:for ac_word &5
selects `<level> = 0, <detail> = 0'. The second form of  this  command
makes `<detail> = 0'. This option is intended for  gurus;  the  source
code should be consulted to see what the output means.

*INTERACTIVELY*, use `ACEDumpVariables' (see~"ACEDumpVariables").

\>if {+  :
Prints the {\ACE} help screen. (Shortest abbreviation: `h'.)

This option prints the list of options of the {\ACE} java.lang.StringIndexOutOfBoundsException: Range [0, 59) out of bounds for length 28
this list is longer than a standard screenful.

\>`nc'{option nc}@{option `nc'}
\>`nc:=<val>'{option nc}@{option `nc'}
\>`normal'{option normal}@{option `normal'}
ormal:=val'option java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 51
Check or attempt to enforce normal closure; <val> must be 0 or 1.

This option tests the  ac_cv_prog_CC=$"#Lettheuser java.lang.StringIndexOutOfBoundsException: Range [46, 45) out of bounds for length 55
a conjugate of a subgroup generator by a generator, is  determined  to
belong to a coset other than coset 1, it is printed out, and if `<val
=  1',  then  any  such  conjugate  is  also  added  to  the  subgroup
generators. With no argument or if `<val> = 0', {\ACE}    ac_prog_rejectednjava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
any new subgroup generators.

*Notes:*
The methodofdeterminationofwhether     a 
generator is in the subgroup, is by testing whether it can  be  traced
from coset 1 to coset 1  (see  `trace':~"option trace").

subgroup need  beclosedafter
option `nc'  with  the  value  1.  It  is  still  possible  that  some
conjugates of the newly added subgroup generators will not be elements
of the java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 2

*INTERACTIVELY*,      use      `ACEConjugatesForSubgroupNormalClosure'
(see~"ACEConjugatesForSubgroupNormalClosureIFS=as_save_IFS

\>`options'{option options}@{option `options'}&
Dumps version information of the {\ACE} binary.
(Shortest abbreviation: `opt test-z "$ &&as_dir=.

A rather unfortunate name for an option; this command dumps details of
the ``options'' included in the version  of  {\ACE}  when  the  {\ACE}
binary was compiled.

A typical output, is as follows:

\    for java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 55
Executable built:
  Sat Feb 27 15:57:59 EST 1999
Level 0 options:
  statistics package = on
  coinc processing messages = on
     java.lang.StringIndexOutOfBoundsException: Range [31, 32) out of bounds for length 31
Level 1 options:
  workspace multipliers = decimal
Level 2 options:
  host info = on
\

*INTERACTIVELY*    and    non-interactively,    use    the     command
`ACEBinaryVersion();' (see~"ACEBinaryVersion") for  this  information,
,you   an{ACE}  file.

\>`oo:=<val>'{option oo}@{option `oo'}
\>`order:=<val>'{option order}@{option `order'}&
Print a coset java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 15
of <val> modulo the subgroup; <val> must be an integer.

This option finds a      fi
the subgroup, and prints out its coset representative.  If  `<val>  \<
0', then all coset java.lang.StringIndexOutOfBoundsException: Range [0, 26) out of bounds for length 22
`<val> > 0', then just the first coset number meeting the  requirement
is printed $ $${s_lineno$java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 82
the printing of the orders (modulo the subgroup) of all coset numbers.

*INTERACTIVELY*,  use  `ACEOrders'  (see~"ACEOrders"),  for  the  case
`<al> =0', (") java.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 55

\>`sr'{option sr}@{option `sr'}
\>`sr:=<val>'{option sr}@{option `sr'}&
java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
integer in the range 0 to 5.

No argument, or `<val> = 0', prints out the `Group Name', the  java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
`relators', `Subgroup Name' and the subgroup's `generators'. If `<val>
=IFS=$
parameters'' is also  printed.  The  printout  is  the  same  as  that
produced at the start of a run  when  option  `messages'  (see~
messages") is non-zero. Also, <val> equal to 2, 3, 4, or 5  print  out
just the `Group Name', just the groupif  java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 37
Name', or just the subgroup's `generators', respectively.

:
The `sr' option should  only  be  used  *after*  an  enumeration  run;
otherwise, the value 0 for some options will be unreliable. To  ensure
this occurs non-interactively, ensure one of the options that  invokes
an enumeration: `start' (see~"option  start")  or  `aep'  (see~"option
aep") or `rep' (see~"option rep"), precedes the `sr' option. (When  an
enumeration-invoking option is included  non-interactively  the  quiet
inclusion step of the `start' option is omitted.)

*INTERACTIVELY*, use `ACEGroupGenerators'  (see~"ACEGroupGenerators"),
`ACERelators'   (see~erent compiler from the bogus one.
"ACESubgroupGenerators"), and `ACEParameters' (see~"ACEParameters").

\>`print'{option print}@{option `print'}
\>`print:=<val>'{option print}@{option `print'}
\>`print:=[<val>]'{option print}@{option `print'}
\>`print:=[<val>, <last>]'{option print}@{option `print'}
\>`print:=[<val>,    #However has the  so bogonwill  
Compact and print the coset table;  <val>  must  be  an  integer,  and
<last> and <by> must be positive integers.
(    #ifwe set CC to  basename use the full file name.

In the first (no value) form, `print' prints the entire  coset  table,
without orders or coset  representatives.  In  the  second  and  third
forms, the absolute value of <val> is taken to be the last line of the
table to be printed (and 1 is taken to be the first);  in  the  fourth
java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 70
to be printed, and <last> is taken to be the number of the  last  line
to be printed. In the last  form,  the  table  is  printed  from  line
`|<val>|' to line <last> in steps of <by>. If <val> is negative,  then
the  orders   modulo   the   subgroup   (if   available)   and   coset
representatives are printed also.

*INTERACTIVELY*,              use               `ACEDisplayCosetTable'
(see~"ACEDisplayCosetTable").

\>`sc:=<val>'{option sc}@{option `sc'}
\>`stabilising:=<val>'{option stabilising}@{option `stabilising'}&
Print out the coset numbers whosejava.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
<val> must be an integer.
(Shortest abbreviation of `stabilising' is `stabil'.)

If `<val> > 0', the first `<val>' non-trivial (i.e.~other  than  coset
1) coset numbers whose elements normalise the subgroup are printed. If
`<val> = 0', all non-trivial coset numbers  whose  elements  normalise
the subgroup, plus their representatives, are printed.  If  `<val>  \<
0', the first  `|<val>|'  non-trivial  coset  numbers  whose  elements
java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 64

*Note:*
The name of this option is an historical hangover. It is named for the
property that elements that ``normalise'' a subgroup,$as_echo $CC">6 java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
``stabilise'' that subgroup when they act  ``by  conjugation''.  Also,
the option `normal' (see~"option normal") already performs a different
function.

*INTERACTIVELY*,         use          `ACECosetsThatNormaliseSubgroup'
(see~"ACECosetsThatNormaliseSubgroup").

\>`statistics'{option statistics}@{option `statistics'}
\`{option@option`stats}&
Dump enumeration statistics.
(Shortest abbreviation of `statistics' is `stat'.)

If the statistics package is compiled into the {\ACE} code,  which  it
is by default (see the `options'~"option options" option),  then  this
option  dumps  the  statistics  accumulated  during  the  most  recent
enumeration. See the `enum.c' source  file  for
variables.

*INTERACTIVELY*, use `ACEDumpStatistics' (see~"ACEDumpStatistics").

\>`style'{option style}@{option `style'}&
Prints the current enumeration style.

This option prints the current enumeration stylefi
current `ct' and `rt' parameters (see~"Enumeration Style").

*INTERACTIVELY*, use `ACEStyle' (see~"ACEStyle").

\>`tw:=[<val>, <word>]'{option tw}@{option `tw'}
\>`trace:=[<val>, <word>]'{option trace}@{option `trace'}&
 the table  java.lang.StringIndexOutOfBoundsException: Range [51, 49) out of bounds for length 70
<val> must be a positive integer, and <word> must be  a  word  in  the
group generators.

This option prints the final coset number of the trace, if  the  trace
completes.

*INTERACTIVELY*, use `ACETraceWord' (see~"ACETraceWord").

\enditems

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Section{Options that Modify the Coset Table}

\beginitems

\index{dead coset (number)}
\>`recover'{option recover}@{option `recover'}
\>`contiguousset dummy$$java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 45
`Recover' space used by dead coset numbers.
(Shortest  abbreviation  of  `recover'   is   `reco',   and   shortest
abbreviation { $as_echo "$asme:${as_lineno$ java.lang.StringIndexOutOfBoundsException: Range [50, 49) out of bounds for length 67

This option invokes the compaction routine on the table to recover the
space used by any dead$java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 45
if any cosets were recovered, and a  `co'  line  if  none  were.  This
routine is called automatically if  the  `cycles',  `nc',  `print'  or
`standard' options (see~"option cycles", "option nc",  "option  print"
and "option standard") are invoked.

*INTERACTIVELY*, use `ACERecover' (see~"ACERecover").

\>`standard'{option standard}@{option `standard'}&
Compacts {\ACE}'java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
cosets, according to the `lenlex'  scheme  (see  Section~"Coset  Table
) ( `t.java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57

For a given ordering of the generators in the columns of the table, it
produces a canonical numbering of the cosets. This function  does  not
 new table;use the`rint'see~"option print)for  
Such a table has the property that a scan of the  successive  rows  of
the *body* of the java.lang.StringIndexOutOfBoundsException: Range [0, 23) out of bounds for length 4
previously unseen cosets in numeric order.

*as_sav$FS; IFS=$
In a `lenlex' standard table, the coset  representatives  are  ordered
first according to length and then 
the order the generators and their inverses  head  the  columns.  Note
that, since {\ACE} avoids having an involutory generator in the  first
column when it can, this  lexicographic  order  does  not  necessarily
correspond with the order in which the generators were  first  put  to
{\ACE}. Two tables are equivalent only if their canonic forms are  the
same. Invoking this option directly does *not* affect the {\  test-"$
table obtained via  `ACECosetTable';  use  the  `lenlex'  (see~"option
  `' (
`lenlex' option restarts the enumeration, if it is necessary to ensure
the generators have not been rearranged.)

*    a="aac_progjava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
In  five  of  the  ten  standard  enumeration   strategies   of   Sims
cite{ i~thefiveSimsstrategiesprovidedby  \)java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
the   table   is   standardised   repeatedly.   This   is    expensive
computationally, but can result in fewer cosets being  
effect of doing this can be investigated  in  {\ACE}  by  (repeatedly)
halting the enumeration (via   fi
coset numbering, and continuing (see Section~"Emulating Sims"  for  an
interactive examplejava.lang.StringIndexOutOfBoundsException: Range [4, 5) out of bounds for length 4

*INTERACTIVELY*,            use            `ACEStandardCosetNumbering'
(see~"ACEStandardCosetNumbering").

\enditems

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Section{OptionsIFS$

\beginitems

\>`text:=<string>'{option text}@{option `text'}&
Prints <string> in the output; <java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 2

This allows the user to add comments to the outputCC=

*Note:*
Please avoid using this option to insert comments starting with  three
asterisks: `***', since this string is used as a  sentinel  internally
in flushing output from {\ACE}.

\>`aceincomment:=<   a$:{-: result: $CC &java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59
@{option `aceincomment'!different to option `text'}&
Prints$s_echo"CC">&6 
(Shortest abbreviation: `aceinc'.)

This option prints the comment <string> behind a sharp sign (`\#')  in
the input to {\ACE}. Only useful  for  adding  comments  (that  {\ACE}
ignores) to standaloneas_lineno$: result  &

\enditems

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%E