The major tools of the four stages

In this section we take a closer look at the tools. For each tool we list the main features and comment on the parameters that need to be tuned. As the package is still under continuing development, we also try to mention some of the things that should be added.

• Scal: Scaling of systems and solutions
• Redu: Linear and nonlinear reduction
• RoCo: root counting and homotopy construction
  • Modeling the structure
  • Linear-product start systems
  • Symmetric set structure analysis
• MVC: four lifting strategies
  • Implicit lifting
  • Static lifting
  • Dynamic lifting
  • Symmetric lifting
  • Combinations
• PoCo: Polynomial Continuation
• Vali: Validation of the computations