|
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:
|