Singular Manual: AddCons

| #### D.2.4.15 AddCons Procedure from library `grobcov.lib` (see grobcov_lib). Usage: AddCons(L) Calls internally AddConsP and allows a different input. Input L: list of pairs of of ideals [ [P_1,Q_1], .., [Pr,Qr] ] representing a set of locally closed setsV(P_i) \ V(Q_i) to be added. Return: list of lists of levels of the different locally closed sets of the canonical P-rep of the constructible. [ [level_1,[ [Comp_11,..Comp_1r_1] ] ], .. , [level_s,[ [Comp_s1,..Comp_sr_1] ] ] where level_i=i, Comp_ij=[ p_i,[p_i1,..,p_it_i] ] is a prime component. Note: Operates in a ring R=Q[u_1,..,u_m] Example:
    LIB "grobcov.lib";
    if (defined(Grobcov::@P)){kill Grobcov::@P; kill Grobcov::@R; kill Grobcov::@RP;}
    ring R=0,(x,y,z),lp;
    short=0;
    ideal P1=x;
    ideal Q1=x,y;
    ideal P2=y;
    ideal Q2=y,z;
    list L=list(list(P1,Q1), list(P2,Q2) );
    L;
    ==> [1]:
    ==>    [1]:
    ==>       _[1]=x
    ==>    [2]:
    ==>       _[1]=x
    ==>       _[2]=y
    ==> [2]:
    ==>    [1]:
    ==>       _[1]=y
    ==>    [2]:
    ==>       _[1]=y
    ==>       _[2]=z
    AddCons(L);
    ==> [1]:
    ==>    [1]:
    ==>       1
    ==>    [2]:
    ==>       [1]:
    ==>          [1]:
    ==>             _[1]=x
    ==>          [2]:
    ==>             [1]:
    ==>                _[1]=z
    ==>                _[2]=y
    ==>                _[3]=x
    ==>       [2]:
    ==>          [1]:
    ==>             _[1]=y
    ==>          [2]:
    ==>             [1]:
    ==>                _[1]=z
    ==>                _[2]=y

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