Macaulay2
»
Documentation
Packages
»
NumericalCertification
::
Table of Contents
next | previous | forward | backward | up |
index
|
toc
NumericalCertification : Table of Contents
NumericalCertification
-- certify a numerical solution for a square system
alphaCertified
-- certify a list of numerical solutions via alphaCertified
alphaTheoryCertification
-- executes alpha-certification on a given system and list of points
CCi
-- a class of all complex intervals
CCiMatrix
-- a class of matrices of complex intervals
CertificationOptions
-- options for certification method
certifyDistinctSolutions
-- determine whether given points are distinct approximate solutions to the system
certifyRealSolution
-- determine whether a given point is an real approximate solution to the system
certifyRegularSolution
-- certify whether a given point is an approximate solution to the system
certifySingularSolution
-- certify if a given point is a singular solution for a given system using the deflation method.
certifySolutions
-- executes certification on a given system and list of points
computeConstants
-- compute the square of the auxiliary quantities related to alpha theory
krawczykOperator
-- compute the Krawczyk operator
krawczykRealnessTest
-- certify the realness of the associated solution for the square polynomial system from the given interval box
krawczykTest
-- certify the interval box for square polynomial system
pointToInterval
-- finds an interval box from a given point