Clarify that certification doesn't produce guaranteed exact real root count

JuliaHomotopyContinuation / HomotopyContinuation.jl

A Julia package for solving systems of polynomials via homotopy continuation.

https://www.JuliaHomotopyContinuation.org

MIT License

181 stars 30 forks source link

Clarify that certification doesn't produce guaranteed exact real root count #424

Closed saschatimme closed 3 years ago

saschatimme commented 3 years ago

Improve things to

CertificationResult
===================
• 36 solution candidates given
• 36 certified solution intervals 
   (8 real, x complex, y undecided)
• 36 distinct certified solution intervals 
   (8 real, x complex, y undecided)