MAF : Reference : File names and formats

File names and formats

All the files written and read by MAF generally conform to the format used by KBMAG and are structured either as a GAP record or as a GAP list. Files produced by MAF are cosmetically different from KBMAG, since MAF's output reflects the author's different preferences for file layout. KBMAG and MAF can each read files produced by the other package. There are some differences in the file format for coset systems, but MAF can read KBMAG's files, and can produce files in the format it expects.

Input files

Four types of input file are handled:

  1. The rewriting system input files used by automata and the RWS utilities are described in Input files. Necessary information about GAP syntax can also be found there.
  2. For applications related to cosets of subgroups, an additional input file, called a substructure file, defining generators of the subgroup must also be supplied by the user. See Substructure files for further information. MAF uses the combination of an ordinary input file and a substructure file to generate a coset system, according to the scheme described in Coset system names
  3. A few applications, notably reduce and gporder, can process an input file containing a list of words. Such files are formatted as a GAP list of words formatted like this:
    words :=
    [
      a*b*A*B,
      a*b^3*A,
      b^5
    ]
    
  4. Files containing the finite state automata produced by automata or other programs, which are used by input by many MAF components.

Output files

Almost all output files produced by MAF follow use one of the formats listed above. The formats used for automata and rewriting systems files are specified in the GASP Standard Format Document.

The documents Output files (groups and monoids) and Output files (coset systems) describe the names and purpose of all the automata and related files constructed by automata or other RWS utilities, and the circumstances under which they are produced.

Any output files not conforming to one of these formats will generally be structured as a GAP list, or list of lists. Such files are described in the documentation for the relevant utility.