next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NumericalAlgebraicGeometry :: numericalVariety(Ideal)

numericalVariety(Ideal) -- constructs a numerical variety defined by the given ideal

Synopsis

Description

The witness sets of V are in one-to-one correspondence with irreducible components of the variety defined by I.
R = CC[x,y,z]
sph = (x^2+y^2+z^2-1);
I = ideal {sph*(x-1)*(y-x^2), sph*(y-1)*(z-x^3)};
setRandomSeed 7
V = numericalVariety I
peek V

Caveat

This function is under development. It may not work well if the input represents a nonreduced scheme.

See also