Home Online Manual
Top
Back: numerAlg_lib
Forward: Equal
FastBack:
FastForward:
Up: numerAlg_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.8.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