|
5.1.56 interpolation
Syntax:
interpolation ( list, intvec )
Type:
- ideal
Purpose:
interpolation(l,v) computes the reduced Groebner basis of the intersection
of ideals l[1]^v[1], ..., l[N]^v[N] by applying linear algebra methods.
Assume:
- Every ideal from the list l must be a maximal ideal of a point and should have
the following form: variable_1-coordinate_1, ..., variable_n-coordinate_n, where n
is the number of variables in the ring.
The ring should be a polynomial ring over Zp or Q with global ordering.
Example:
See
diff;
fglm;
intersect;
std;
subst.
|