|
|
D.5.1.1 Incl
Procedure from library numerAlg.lib (see numerAlg_lib).
- Usage:
- Incl(ideal I, ideal J); I, J ideals
- Return:
- t=1 if the algebraic variety defined by I contains the algebraic
variety defined by J, otherwise t=0
Example:
| | LIB "numerAlg.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;
poly g1=(x2+y2+z2-6)*(x-1);
poly g2=(x2+y2+z2-6)*(y-2);
poly g3=(x2+y2+z2-6)*(z-3);
ideal J=g1,g2,g3;
def W=Incl(I,J);
==>
Inclusion:
0
def W=Incl(J,I);
==>
Inclusion:
1
|
|
