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 /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/NumericalCertification/Documents/DocNumericalCertification.m2:519:0.