See also: zpr - Print Matrices and Permutations

Command Line

zcv Options TextFile DataFile

Options: Standard options, see Standard Command Line Options

TextFile: Input file (text)

DataFile: Output file (binary)

Input Files

TextFile: Input file (text)

Output Files

DataFile: Output file (binary)

Description

This program converts a text file into binary format. If the input file name is "-", input is read from stdin.

Text File Format: The text file is interpreted line by line. Empty lines are ignored completetly. If the line contains one or more "#", which may occur at any position, the first "#" and all remaining characters on this line are ingored.

Each object, for example a matrix or a permutation, consists of a one line header followed by the data. Here are some examples of possible header formats:

matrix field=16 rows=10 cols=10
permutation degree=10026
polynomial field=2 degree=23

The header may be given in a different format, for example

MeatAxeFileInfo := "matrix field=5 rows=100 cols=100";

Other header formats are supported for compatibility with older versions of the MeatAxe.

After an old type 1 header, the format of the data follwing the header is fixed. There must be at most 80 characters per line, lines must be filled as much as possible, and each row of the matrix starts with a new input line. There are no blanks allowed to separate numbers. In all other modes, the data part consists of a sequence of integers in free format, separated by any combination of blanks, tabs, or newlines.