This is an option for certifySingularSolution and certifySolutions. There are three possible options alphaTheory, intervalArithmetic and alphaCertified. By default, it takes alpha theory as a strategy.
|
|
|
|
|
The object CertificationOptions is a symbol.
The source of this document is in NumericalCertification/Documents/DocNumericalCertification.m2:519:0.