next | previous | forward | backward | up | top | index | toc | Macaulay2 website
NumericalCertification :: CertificationOptions

CertificationOptions -- options for certification method

Description

This is an option for certifySingularSolution and certifySolutions. By default, it takes alpha theory as a strategy.

i1 : R = RR[x1,x2,y1,y2];
i2 : f = polySystem {3*y1 + 2*y2 -1, 3*x1 + 2*x2 -7/2,x1^2 + y1^2 -1, x2^2 + y2^2 - 1};
i3 : p = point {{.95437, .318445, -.298627, .947941}};
i4 : peek certifySolutions(f, {p})

o4 = MutableHashTable{alphaValues => {1.04693e-10}    }
                      certifiedDistinct => {p}
                      certifiedReal => {p}
                      certifiedRegularSolutions => {p}
                      certifiedSingularSolutions => {}
                      nonCertifiedSolutions => {}
i5 : peek certifySolutions(f, {p}, Strategy => "intervalArithmetic")

o5 = MutableHashTable{certifiedReal => {|  [.954349,.95439] + [0,-0]*ii [.318414,.318476] + [0,-0]*ii [-.298641,-.298614] + [0,-0]*ii [.94792,.947962] + [0,-0]*ii |}            }
                      certifiedRegularSolutions => {|  [.954349,.95439] + [0,-0]*ii [.318414,.318476] + [0,-0]*ii [-.298641,-.298614] + [0,-0]*ii [.94792,.947962] + [0,-0]*ii |}
                      certifiedSingularSolutions => {}
                      nonCertifiedSolutions => {}
i6 : peek certifySolutions(f, {p}, Strategy => "alphaCertified")
sh: 1: cd: can't cd to alphaCertified
sh: 1: ./alphaCertified: not found

o6 = null

For the programmer

The object CertificationOptions is a symbol.