Validation

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.