** Next:** Enumerative Geometry
** Up:** Reference Manual
** Previous:** Solution tolerances

**Basic validation**
- consists in the application of Newton's method
on the list of solutions. There are facilities to extract the
generating solutions when the symmetry group is submitted.
**Winding numbers**
- can be computed by homotopy continuation
methods. The user must provide a start system with solutions at
*t* < 1.
**Polyhedral validation**
- is based on the output file of poco,
where the polyhedral end game was turned on. This validation
puts up a frequency table of computed path directions.

*Jan Verschelde*

*3/7/1999*