|
D.2.4.11 addcons
Procedure from library grobcov.lib (see grobcov_lib).
- Usage:
- addcons( ( ( (p1_1,(p1_11,..,p1_1k_1).. (p1_s,(p1_s1,..,p1_sk_s)),..,
( (pn_1,(pn_11,..,pn_1j_1).. (pn_s,(pn_s1,..,pn_sj_s)) ) )
a list L of locally closed sets in P-representation
- Return:
- the canonical P-representation of the constructible set of the union.
- Note:
- It is called internally by the routines locus, locusdg,
Example:
|