PolynomialIdeals
VanishingIdeal
compute the vanishing ideal for finite a set of points
Calling Sequence
Parameters
Description
Examples
References
VanishingIdeal(S, X)
VanishingIdeal(S, X, T, p)
S
-
list or set of points
X
list of variable names
T
(optional) monomial order
p
(optional) characteristic, a non-negative integer
The VanishingIdeal command constructs the vanishing ideal for a set of points in affine space. The output of this command is the ideal of polynomials that vanish (that is, are identically zero) on S.
The first argument must be a list or set of points in affine space. Each point is given as a list with coordinates corresponding to the variables in X.
The third argument is optional, and specifies a monomial order for which a Groebner basis is computed. If omitted, VanishingIdeal chooses lexicographic order, which is generally the fastest order.
The field characteristic can be specified with an optional last argument. The default is characteristic zero.
Multiple occurrences of the same point in S are ignored, so that VanishingIdeal always returns a radical ideal.
with⁡PolynomialIdeals:
L≔5,4,4,4,0,2,6,4,1,3,0,5,3,1,3
J≔VanishingIdeal⁡L,x,y,z
J≔z5−15⁢z4+85⁢z3−225⁢z2+274⁢z−120,9⁢z4−98⁢z3+351⁢z2+24⁢x−454⁢z+48,z4−8⁢z3+13⁢z2+4⁢y+18⁢z−40
Simplify⁡PrimeDecomposition⁡J
y,x−3,z−5,−5+x,−4+y,z−4,−1+y,x−3,z−3,y,−4+x,z−2,−6+x,−4+y,z−1
VanishingIdeal⁡L,x,y,z,tdeg⁡x,y,z
13⁢y2−36⁢x−37⁢y−12⁢z+168,13⁢y⁢z+26⁢z2−48⁢x−19⁢y−198⁢z+484,78⁢x⁢z+91⁢z2−354⁢x+50⁢y−937⁢z+2302,39⁢y⁢x−26⁢z2−36⁢x−193⁢y+170⁢z−92,39⁢x2−26⁢z2−255⁢x−40⁢y+188⁢z+124,13⁢z3−117⁢z2−12⁢x+18⁢y+308⁢z−204
alias⁡α=RootOf⁡z3+z+1
α
M≔1,α,α2α−1,0,1,1α
K≔VanishingIdeal⁡M,x,y,2
K≔α2⁢y2+α2+x+y+1,α2⁢y2+y2⁢α+y3+y2+y
IdealInfoCharacteristic⁡K
2
Simplify⁡PrimeDecomposition⁡K
y,α2+x+1,x+1,y+α,x+1,α2+y+1
Farr, Jeff. Computing Grobner bases, with applications to Pade approximation and algebraic coding theory. Ph.D. Thesis, Clemson University, 2003.
See Also
alias
Groebner[Basis]
MonomialOrders
PolynomialIdeals[IdealInfo]
PolynomialIdeals[PrimeDecomposition]
PolynomialIdeals[Simplify]
Download Help Document