Top
Back: extend
Forward: locusdg
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.8 locus

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 four constructible subsets of the locus of the parametrical system: Normal , Special, Accumulation and Degenerate. 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: locus; shows an example

Example:
 


Top Back: extend Forward: locusdg 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.