[PPL-devel] Polyhedron insert examples
P M Hill
hill at comp.leeds.ac.uk
Fri Oct 19 08:42:07 CEST 2001
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
More information about the PPL-devel
mailing list