>Dear Singular Team,
>Having defined a ring S=0,(x,y,a,b),lp;
>I want to define polys f,g, in x,y, and h in a,h, and
>then substitute h(f,g) to get another poly k in x,y.
>Then I am going to examine the grobner basis for
>This should recover h.
>But how do I substitute a polynomial in given variables
>into another polynomial?
Use map (from S to itself), eg:
poly f = x3+y5;
poly g = xy5-x2;
poly h = a2-b3;
map F = S,ideal(x,y,f,g);
ideal i =a-f,b-g;
poly k = F(h);
Gert-Martin Greuel (Singular team)
Posted in old Singular Forum on: 2001-05-15 13:23:43+02