D.2.4.14 stdlocus

Usage:

stdlocus(ideal F)
The input ideal must be the set equations defining the locus. Calling sequence: locus(F);
The input ring must be a parametrical ideal in Q[x][u], (x=tracer variables, u=remaining variables).
(Inverts the concept of parameters and variables of the ring). Special routine for determining the locus of points of a geometrical construction. Given a parametric ideal F representing the system determining the locus of points (x) which verify certain properties, the call to stdlocus(F) determines the different irreducible components of the locus. This is a simple routine, using only standard Groebner basis computation, elimination and prime decomposition instead of using grobcov. It does not determine the taxonomy, nor the holes of the components

Return:

The output is a list of the tops of the components [C_1, .. , C_n] of the locus. Each component is given its top ideal p_i.

Note:

The input must be the locus system.

LIB "grobcov.lib";
if(defined(R)){kill R;}
ring R=(0,x,y),(x1,y1),dp;
short=0;
// Concoid
ideal S96=x1 ^2+y1 ^2-4,(x-2)*x1 -x*y1 +2*x,(x-x1 )^2+(y-y1 )^2-1;
stdlocus(S96);
==> [1]:
==>    _[1]=(x^4+2*x^3+x^2*y^2-3*x^2-2*x*y^2-8*x*y-6*x+2*y^2+8*y+6)
==> [2]:
==>    _[1]=(x^2+y^2-4*y+3)