[PPL-devel] Polyhedron insert examples

[P M Hill]

Hi,

In Polyhedron.defs.hh, there are examples for various methods that
require a polyhedron to be built before the method can be illustrated.

However, they all use ConSys and GenSys to build the polyhedron when it
is simpler to use the Polyhedron insert method:

EG

    \par Example 4
    The following code shows the use of the function
    <CODE>add_dimensions_and_embed</CODE>:
    \code
  ConSys cs;
  cs.insert(x == 2);
  Polyhedron ph(cs);
  ph.add_dimensions_and_embed(1);
    \endcode

could illustrate the same point with:

    \par Example 4
    The following code shows the use of the function
    <CODE>add_dimensions_and_embed</CODE>:
    \code
  Polyhedron ph;
  ph.insert(x == 2);
  ph.add_dimensions_and_embed(1);
    \endcode

right?

The same applies to examples 5, 6, 7 and 8.

ciao,
  Pat