fmel(1) fmel(1)
NAME fmel
fmel - projection of linear system on subspaces
SYNOPSIS
fmel [-pcl] input_fname_with_suffix_'ieq'
DESCRIPTION
fmel reads a system of linear inequalities and eliminates
choosen variables. That is, fmel projects the given sys-
tem to the subspace given by xi = 0, for i is contained in
I, where I is the index set of the variables that should
be eliminated. The set I and the elimination order are
given in the input file by a line containing the
function specific keyword "ELIMINATION_ORDER", fol-
lowed by a line containing exactly dim integers, where
dim is the dimension of the problem. A '0' as the i-th
entry of the line indicates that the i-th variable should
not be eliminated, that is, i is not in I. An entry of the
line indicates that the i-th variable should be eliminated
in the j-th iteration. (All nonzero numbers must be dif-
ferent and it must be possible to put them into an order
1,2,3,4...) fmel writes its output into a file, whose
name is obtained by appending ".ieq" to the filename of
the input file.
OPTIONS
--pp Unbuffered redirection of the terminal messages
into the file input_fname_with_suffix_'prt'
--cc Generation of new inequalities without the rule of
Chernikov.
--ll Use a special integer arithmetic allowing the inte-
gers to have arbitrary lengths. This arithmetic is
not as efficient as the system's integer arithmetic
with respect to time and storage requirements.
Note: Output values which exceed the 32-bit integer
storage size are written in hexadecimal format
(hex). Such hexadecimal format can not be reread as
input.
SEE ALSO
porta(1), dim(1), iespo(1), portsort(1), traf(1), fctp(1),
posie(1), vint(1) osie(1), vint(1)
February 11, 1997 1