Top
Back: locus
Forward: locusto
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.9 locusdg

Procedure from library grobcov.lib (see grobcov_lib).

Usage:
locus(G);
The input must be the grobcov of a parametrical ideal RETURN: The locus.
The output are the components of two constructible subsets of the locus of the parametrical system.: Normal and Non-normal.
These components are
given as a list of (pi,(pi1,..pis_i),type_i,level_i) varying i, where the p's are prime ideals, the type can be: Normal, Special, Accumulation, Degenerate.
NOTE: It can only be called after computing the grobcov of the parametrical ideal in generic representation ('ext',0), which is the default.
The basering R, must be of the form Q[a_1,..,a_m][x_1,..,x_n]. KEYWORDS: geometrical locus, locus, loci.
EXAMPLE: locusdg; shows an example

Example:
 


Top Back: locus Forward: locusto 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.