MAF : Reference (Usage) : Command line syntax

Command line syntax

MAF utilities allow command line options to be specified anywhere on the command line, and in any order, though it is usually a good idea to put all such options before any filenames (except perhaps for the -cos option). Command line options always begin with a '-' character, and are always separate words: you cannot combine several single letter options into one longer option, as is possible with some packages. In fact there are relatively few single letter command line options, and most of these are only included for compatibility with KBMAG. Most command line options in MAF are ordinary English words, intended to describe the purpose or effect of the option. Many command line options require a parameter, often a number. This must always be specified immediately after the option itself but separated from it by at least one space. Command line options are case sensitive (and all alphabetic characters should be lower case only). However, when a command line option contains underscore(s) ('_' characters ) it will be recognised with or without the underscore(s), or with the underscore(s) replaced by '-' characters. For instance, -nowd, -no_wd, and -no-wd can all be used to set the corresponding option in automata. You may not add extra '_' characters.

Numeric parameters

Numeric parameters are specified as ordinary decimal numbers. However, from version 2, you can use one of the following 6 letters at the end of a number to multiply the number by a scaling factor:

LetterFactor
k1,000
K2^10=1,024
m1,000,000
M2^20=1,048,576
g1,000,000,000
G2^30=1,073,741,824

For example you can specify the maximum amount of memory to be used by a coset table with the coset enumerator gptcenum should be 2 Gigabytes using the command line option -work_space 2G, or that the maximum number of equations automata should create is 10 million by -max_equations 10m.

String parameters

Filenames and other non-numeric parameters may optionally be enclosed in quotes. This is necessary if the filename contains spaces or characters which have a special meaning in the command shell being used.

-strategy options

Some utilities, notably automata and gptcenum have a special command line option -strategy string. This option is likely to be introduced to simplify in future, and conceivably to some of the other more complex MAF utilities. In utilities that support it, the string parameter will take the form of an optional name, used to select predefined strategies, possibly followed by a '/' character and one or more single letter codes which either modify a named strategy or define a new one. (In the case of gptcenum the complete syntax is actually more complex than this but it adheres to this general plan).