bernstein/examples/README

   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
   6
   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
  13
  14 ---------------------------------------------------------------------------
  15 Brief description of examples:
  16
  17
  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.
  23
  24 basicLinear2.matrix                     Similar to the first but with a
  25                                         negative Parameter (Q).
  26
  27 basicTest.matrix                        Very simple example taken from a
  28                                         real example from Memory Peak
  29                                         problem.
  30
  31 basicTestParameterPosNeg.matrix         Similar to the basic test but the
  32                                         parameter can be negative.
  33
  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.
  39
  40 philippe.matrix                         Example from the doc.
  41
  42 philippe3vars.matrix                    Example from the doc, with 3
  43                                         variables.
  44
  45 philippe3vars3pars.matrix               Example from the doc, with 3
  46                                         variables and with 3 parameters.
  47
  48 philippeNeg.matrix                      Example from the doc, with a
  49                                         negative parameter.
  50
  51 philippePolynomialCoeff.matrix          Example from the doc, modified
  52                                         with polynomial
  53                                         (on the parameters) coefficients.
  54
  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..
  60
  61 test3Deg3Var.matrix                     Test with polynomial of degree 3,
  62                                         3 variables.
  63
  64 testDeg3.matrix                         Test with polynomial of degree 3.
  65
  66 ---------------------------------------------------------------------------