| #### D.15.15.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

User manual for Singular version 4-0-2, 2015, generated by texi2html.