-- -*- M2-comint -*- hash: 14215479499954183098

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};

i7 : 
