poiieq(1) poiieq(1)
FORMAT OF '.poi' - FILES
The first line contains the dimension of the problem.
DIM = dim
In general, lines consisting of a capitalized keyword are
significant for input recognition. Such keywords can be
COMMENT
CONV_SECTION
CONE_SECTION
END
and function specific keywords (such as ELIMINATION_ORDER).
There is no restriction concerning the order of sections.
The keyword
COMMENT
causes the programs to ignore the text until the next capitalized
keyword occurs. Usually the input contains a set of
points to be considered. If this is missing (the case of
a cone) the origin is assumed to be feasible. The list of
points is started by the keyword
CONV_SECTION
The following lines until the next keyword
contain points, each in one seperate row with exactly dim
rational values, given by numerator and denominator. A
denominator with value 1 can be omitted. A line number in
parantheses at the beginning of the line is
optional:
(ln) num1/den1 num2/den2 ....... numdim/dendim
Also the input may contain a set of vectors spanning
a convex cone. Such a set starts with the keyword
CONE_SECTION
The requirements for the vectors are the same as for points.
END
is needed to terminate the input file.
EXAMPLE
file 'example.poi':
DIM = 3
CONV_SECTION
3 3 0
5/3 1 0
1 5/2 0
CONE_SECTION
February 17, 1994 1
poiieq(1) poiieq(1)
0 0 2/3
END
FORMAT OF '.ieq' - FILES
The first line contains the dimension of the problem.
DIM = n
In general, lines consisting of a capitalized keyword are signif-
icant
for input recognition. Such keywords can be
COMMENT
INEQUALITIES_SECTION
END
and function specific keywords (such as ELIMINATION_ORDER).
There is no restriction concerning the order of sections.
The keyword
COMMENT
causes the programs to ignore the text until the next capitalized
keyword occurs. The list of equalities resp. inequalities
starts with the keyword
INEQUALITIES_SECTION
Each equation resp. inequalitiy requires one line. Line numbers
in parantheses are optional. The values are rational
and have to be given by numerator and (optional) denomi-
nator:
(ln) num1/den1 xind1 + num2/den2 xind2 .... <= (=>,=,==,=>,<=) numrhs/denrhs
e.g.: (2) -x2+3/4x5-3x7 >= 4/5
2x2- x3 = 8
The keyword
END
is required to end the file.
file 'example.ieq':
DIM = 5
VALID
3 3 0 2 3
LOWER_BOUNDS
0 1 2 2 2
UPPER_BOUNDS
2 2 2 5 5
ELIMINATION_ORDER
February 17, 1994 2
poiieq(1) poiieq(1)
2 0 1 0 3
INEQUALITIES_SECTION
( 1) +27x1-28x2+57x4-37x5 == 0
( 2) - x4+ x5 == 1
( 1) + x2 -2x5 <= -3
( 2) -x3 <= 0
-2x2 + x5 <= 0
-4/15x2-1/15x5 >= -1
END
February 17, 1994 3