Home Online Manual
Top
Back: preComp
Forward: GTZopt
FastBack:
FastForward:
Up: mprimdec_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.20.12 indSet

Procedure from library mprimdec.lib (see mprimdec_lib).

Usage:
indSet(i); i ideal

Return:
list with two entries
both are lists of new varstrings with the dependent variables, the independent set, the ordstring with the corresp. block ordering, and the integer where the independent set starts in the varstring

Note:
the first entry gives the strings for all maximal independent sets the second gives the strings for the independent sets,
which cannot be enhanced

Example:
 
LIB "mprimdec.lib";
ring s1=(0,x,y),(a,b,c,d,e,f,g),lp;
ideal i=ea-fbg,fa+be,ec-fdg,fc+de;
i=std(i);
list  l=indSet(i);
l;
==> [1]:
==>    [1]:
==>       [1]:
==>          e,f
==>       [2]:
==>          a,b,c,d,g
==>       [3]:
==>          (C,dp(2),dp)
==>       [4]:
==>          5
==> [2]:
==>    [1]:
==>       [1]:
==>          a,b,c,d
==>       [2]:
==>          e,f,g
==>       [3]:
==>          (C,dp(4),dp)
==>       [4]:
==>          3
==>    [2]:
==>       [1]:
==>          a,c,e
==>       [2]:
==>          b,d,f,g
==>       [3]:
==>          (C,dp(3),dp)
==>       [4]:
==>          4