|
D.4.7.12 indSet
Procedure from library mprimdec.lib (see mprimdec_lib).
- Usage:
- indSet(i); i ideal
- Return:
- list with two entrees
both are lists of new varstrings with the dependend 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 independend sets
the second gives the strings for the independend 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
|
|