alphaCertified -- certify a list of numerical solutions via alphaCertified

Synopsis

• Optional inputs:
  • ALGORITHM (missing documentation) => ..., default value 2,
  • ARITHMETICTYPE (missing documentation) => ..., default value 0,
  • NEWTONONLY (missing documentation) => ..., default value 0,
  • NUMITERATIONS (missing documentation) => ..., default value 2,
  • NUMRANDOMSYSTEMS (missing documentation) => ..., default value 2,
  • PRECISION (missing documentation) => ..., default value 96,
  • RANDOMDIGITS (missing documentation) => ..., default value 10,
  • RANDOMSEED (missing documentation) => ..., default value 9263,
  • REALITYCHECK (missing documentation) => ..., default value 1,
  • REALITYTEST (missing documentation) => ..., default value 0,
  • REFINEDIGITS (missing documentation) => ..., default value 0,

Description

i1 : needsPackage("NumericalCertification", Configuration => {"ALPHACERTIFIEDexec" => "some/path/to/alphaCertified"})

o1 = NumericalCertification

o1 : Package

i2 : R = CC[x1,x2,y1,y2];

i3 : f = polySystem {3*y1 + 2*y2 -1, 3*x1 + 2*x2 -3.5, x1^2 + y1^2 -1, x2^2 + y2^2 -1};

i4 : p1 = point{{.95, .32, -.30, .95}};

i5 : p2 = point{{.65,.77,.76,-.64}};

i6 : P = {p1, p2};