CoCoA:IdealOfPoints

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

IdealOfPoints

ideal of a set of affine points

Description

This function computes the reduced Groebner basis for the ideal of all

polynomials which vanish at the given set of points. It returns the

ideal generated by that Groebner basis.

NOTE:

* the current ring must have at least as many indeterminates as the
  dimension of the space in which the points lie;
* the base field for the space in which the points lie is taken to be
  the coefficient ring, which should be a field;
* in the polynomials returned, the first coordinate in the space is
  taken to correspond to the first indeterminate, the second to the
  second, and so on;
* if the number of points is large, say 100 or more, the returned
  value can be very large.  To avoid possible problems when printing
  such values as a single item we recommend printing out the elements
  one at a time as in this example:

<verbatim>

    I := IdealOfPoints(Pts);
    Foreach Element In Gens(I) Do
      PrintLn Element;
    EndForeach;

</verbatim> For ideals of points in projective space, see <ttref>IdealOfProjectivePoints</ttref>.

Example

  Use R ::= Q[x,y];
  Points := [[1, 2], [3, 4], [5, 6]];
  I := IdealOfPoints(Points);
  I;
Ideal(x - y + 1, y^3 - 12y^2 + 44y - 48)
-------------------------------
  I.Gens;  -- the reduced Groebner basis
[x - y + 1, y^3 - 12y^2 + 44y - 48]
-------------------------------

Syntax

IdealOfPoints(Points:LIST):IDEAL

where Points is a list of lists of coefficients representing a set of
*distinct* points in affine space.

GBM

HGBM

GenericPoints

IdealAndSeparatorsOfPoints

IdealAndSeparatorsOfProjectivePoints

IdealOfProjectivePoints

Interpolate

QuotientBasis

SeparatorsOfPoints

SeparatorsOfProjectivePoints

   <type>groebner</type>
   <type>ideal</type>
   <type>list</type>
   <type>points</type>