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 ---------------------------------------------------------------------------
   8 Brief description of examples:
   9
  10
  11 basicLinear.matrix                      Simple Example with two parameters
  12                                         and a linear Poly to test linear
  13                                         coefficient comparison.
  14 basicLinear.poly                        Same as the first, but in
  15                                         testehrhart like format.
  16
  17 basicLinear2.matrix                     Similar to the first but with a
  18                                         negative Parameter (Q).
  19
  20 basicTest.matrix                        Very simple example taken from a
  21                                         real example from Memory Peak
  22                                         problem.
  23
  24 basicTestParameterPosNeg.matrix         Similar to the basic test but the
  25                                         parameter can be negative.
  26
  27 linearExample.matrix                    A more complicated linear example
  28                                         , with three variables and three
  29                                         parameters.
  30 linearExample.poly                      Same as last, but in testehrhart
  31                                         like format.
  32
  33 philippe.matrix                         Example from the doc.
  34
  35 philippe3vars.matrix                    Example from the doc, with 3
  36                                         variables.
  37
  38 philippe3vars3pars.matrix               Example from the doc, with 3
  39                                         variables and with 3 parameters.
  40
  41 philippeNeg.matrix                      Example from the doc, with a
  42                                         negative parameter.
  43
  44 philippePolynomialCoeff.matrix          Example from the doc, modified
  45                                         with polynomial
  46                                         (on the parameters) coefficients.
  47
  48 philippePolynomialCoeff1P.matrix        Example from the doc, modified
  49                                         with polynomial
  50                                         (on the parameters) coefficients,
  51                                         but with only one parameter to
  52                                         test lex-order in coeff..
  53
  54 test3Deg3Var.matrix                     Test with polynomial of degree 3,
  55                                         3 variables.
  56
  57 testDeg3.matrix                         Test with polynomial of degree 3.
  58
  59 ---------------------------------------------------------------------------