Home Online Manual
Top
Back: JuReZeroDim
Forward: WitSet
FastBack:
FastForward:
Up: numerDecom_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.9.8 WitSupSet

Procedure from library numerDecom.lib (see numerDecom_lib).

Usage:
WitSupSet(ideal I);I ideal

Return:
list of Witness point Super Sets W(i) for i=1,...,dim(V(I)), L list of generic linear polynomials and N(0) list of a polynomial system of the same number of polynomials and unknowns. // if W(i) = x, then V(I) has no component of dimension i

Example:
 
LIB "numerDecom.lib";
ring r=0,(x,y,z),dp;
poly f1=(x2+y2+z2-6)*(x-y)*(x-1);
poly f2=(x2+y2+z2-6)*(x-z)*(y-2);
poly f3=(x2+y2+z2-6)*(x-y)*(x-z)*(z-3);
ideal I=f1,f2,f3;
def W=WitSupSet(I);
setring W;
W(2);
// witness point super set of a pure 2-dimensional component of V(I)
W(1);
// witness point super set of a pure 1-dimensional component of V(I)
W(0);
// witness point super set of a pure 0-dimensional component of V(I)
L;
// list of generic linear polynomials