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
