/**/ P ::= QQ[x,y];
/**/ Eps := [0.1, 0.1];
/**/ Points := [[10, 0], [-10, 0], [0, 10], [0, -10], [7, 7], [-7, -7]];
/**/ indent(ApproxPointsNBM(P, mat(Points), RowMat(Eps)));
record[
AlmostVanishing := [x^2 +(2/49)*x*y +y^2 -100,
x*y^2 +(49/51)*y^3 +(-4900/51)*y, y^4 +51*x*y -100*y^2],
BBasis := [x^2 +(2/49)*x*y +y^2 -100, x*y^2 +(49/51)*y^3 +(-4900/51)*y,
x^2*y +(49/51)*y^3 +(-4900/51)*y, y^4 +51*x*y -100*y^2, x*y^3 -49*x*y],
QuotientBasis := [1, y, x, y^2, x*y, y^3],
StableBBasisFound := true
]
|