Clarify that certification doesn't produce guaranteed exact real root count
saschatimme opened this issue · 0 comments
saschatimme commented
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)