lattice_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)
[barvinok.git] / bernstein / examples / README
blob6707b65ee30c4fbc4bc2a7d9ebd9a0c94a0f9ea7
1 The input of the bernstein executable consists of
2 - the parametric polytope in PolyLib notation
3 - the context in PolyLib notation
4 - a list of the names of the variables and the parameters
5 - the parametric polynomial in GiNac notation
7 For verification, each of the examples also includes the expected solution,
8 consisting of the number of domains and for each domain
9 - the constraints in PolyLib notation
10 - a list of all corresponding coefficients
11 - a list of minimal coefficients
12 - a list of maximal coefficients
14 ---------------------------------------------------------------------------
15 Brief description of examples:
18 basicLinear.matrix                      Simple Example with two parameters 
19                                         and a linear Poly to test linear 
20                                         coefficient comparison.
21 basicLinear.poly                        Same as the first, but in 
22                                         testehrhart like format.
24 basicLinear2.matrix                     Similar to the first but with a 
25                                         negative Parameter (Q).
27 basicTest.matrix                        Very simple example taken from a 
28                                         real example from Memory Peak
29                                         problem.
31 basicTestParameterPosNeg.matrix         Similar to the basic test but the 
32                                         parameter can be negative.
34 linearExample.matrix                    A more complicated linear example
35                                         , with three variables and three 
36                                         parameters.
37 linearExample.poly                      Same as last, but in testehrhart 
38                                         like format.
40 philippe.matrix                         Example from the doc.
42 philippe3vars.matrix                    Example from the doc, with 3 
43                                         variables.
45 philippe3vars3pars.matrix               Example from the doc, with 3 
46                                         variables and with 3 parameters.
48 philippeNeg.matrix                      Example from the doc, with a 
49                                         negative parameter.
51 philippePolynomialCoeff.matrix          Example from the doc, modified 
52                                         with polynomial
53                                         (on the parameters) coefficients.
55 philippePolynomialCoeff1P.matrix        Example from the doc, modified 
56                                         with polynomial
57                                         (on the parameters) coefficients,
58                                         but with only one parameter to 
59                                         test lex-order in coeff..
61 test3Deg3Var.matrix                     Test with polynomial of degree 3, 
62                                         3 variables.
64 testDeg3.matrix                         Test with polynomial of degree 3.
66 ---------------------------------------------------------------------------