CertificationOptions -- options for certification method

Description

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.

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}
                      certifiedRegular => {p}
                      certifiedSingular => {}
                      nonCertified => {}

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 |}   }
                      certifiedRegular => {|  [.954349,.95439] + [0,-0]*ii [.318414,.318476] + [0,-0]*ii [-.298641,-.298614] + [0,-0]*ii [.94792,.947962] + [0,-0]*ii |}
                      certifiedSingular => {}
                      nonCertified => {}

For the programmer

The object CertificationOptions is a symbol.