Singular Manual: locusto

| #### D.2.4.16 locusto Procedure from library `grobcov.lib` (see grobcov_lib). Usage: locusto(list L); The argument must be the output of locus or locusdg or envelop. It transforms the output into a string in standard form readable in other languages, not only Singular (Geogebra). Return: The locus in string standard form Note: It can only be called after computing either - locus(grobcov(F)) -> locusto( locus(grobcov(F)) ) - locusdg(locus(grobcov(F))) -> locusto( locusdg(locus(grobcov(F))) ) - envelop(F,C) -> locusto( envelop(F,C) ) Example:
    LIB "grobcov.lib";
    if(defined(R)){kill R;}
    ring R=(0,x,y),(x1,y1),dp;
    short=0;
    ideal S=x1^2+y1^2-4,(y-2)*x1-x*y1+2*x,(x-x1)^2+(y-y1)^2-1;
    locusto(locus(grobcov(S)));
    ==> [[[(x^4+2*x^2*y^2-9*x^2+y^4-9*y^2+4*y+12)],[[1]]],[Normal],1]],[[(x^2+y^2\
       -4*y+3)],[[1]]],[[Special],[y1-2,x1]],1]]]
    locusto(locusdg(locus(grobcov(S))));
    ==> [[[(x^4+2*x^2*y^2-9*x^2+y^4-9*y^2+4*y+12)],[[1]]],[Relevant],1]]]

User manual for Singular version 4-1-0p2, 2017, generated by texi2html.