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


Top Back: locusdg Forward: addcons 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 4-0-0, 2013, generated by texi2html.