|
D.2.4.10 locusto
Procedure from library grobcov.lib (see grobcov_lib).
- Usage:
- locusto(L);
The argument must be the output of locus of a parametrical ideal
It transforms the output into a string in standard form
readable in many languages (Geogebra).
- Return:
- The locus in string standard form
- Note:
- It can only be called after computing the locus(grobcov(F)) of the
parametrical ideal.
The basering R, must be of the form Q[a,b,..][x,y,..].
Example:
| LIB "grobcov.lib";
ring R=(0,a,b),(x,y),dp;
short=0;
ideal S96=x^2+y^2-4,(b-2)*x-a*y+2*a,(a-x)^2+(b-y)^2-1;
"System="; S96; " ";
==> System=
==> S96[1]=x^2+y^2-4
==> S96[2]=(b-2)*x+(-a)*y+(2*a)
==> S96[3]=x^2+y^2+(-2*a)*x+(-2*b)*y+(a^2+b^2-1)
==>
locusto(locus(grobcov(S96)));
==> [[[(a^4+2*a^2*b^2-9*a^2+b^4-9*b^2+4*b+12)],[[1]],Normal,1]],[[(a^2+b^2-4*\
b+3)],[[1]],Special,1]]]
|
|