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