Dear all,
Despite the fact that efforts are made to definie psi at:
https://github.com/Singular/Sources/blob/spielwiese/Singular/LIB/brnoeth.lib#L137 map psi=BR,x,@a; minpoly=number(psi(A)); if(!defined(psi)){ map psi=BR,x,@a; }
poly f=psi(B);
it seems it disappears somehow:
> LIB "brnoeth.lib";
...`
> ring s = 2,(x,y),lp;
> ideal I = x4+x,y4+y;
> list L = closed_points(I);
// ** redefining L (list L = closed_points(I);)
? `psi` is not defined
? error occurred in or before brnoeth.lib::pd2 line 138: ` poly f=psi(B);`
? expected poly-expression. type 'help poly;'
? leaving brnoeth.lib::pd2
skipping text from `;` error at token `)`
? leaving brnoeth.lib::closed_points
Playing a little bit, it seems one maybe should call setring to go back into BR to make psi reappear.