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