Top
Back: locusto
Forward: inout_lib
FastBack: general_lib
FastForward: inout_lib
Up: grobcov_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 

Top Back: locusto Forward: inout_lib FastBack: general_lib FastForward: inout_lib Up: grobcov_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-7, Aug 2013, generated by texi2html.