Ticket #317: 1.sing

echo = 2; option(prot); option(mem);

ring r1 = (0,a),x,dp;

number c = (a3+2); poly m = c*x; ideal I = m;

ring r2 = (0,a),x,dp; minpoly = a3+2; map f = r1,x;

imap(r1, c); _ == 0;
fetch(r1, c); _ == 0;
f(c); _ == 0;

imap(r1, m); _ == 0;
fetch(r1, m); _ == 0;
f(m); _ == 0;

imap(r1, I); _[1] == 0;
fetch(r1, I); _[1] == 0;
f(I); _[1] == 0;
$$

deg(J[1]);
leadcoef(J[1]) == 0;
J[1] == 0;
// simplify does nasty things:
simplify(J,2+4); // does nothing
simplify(J,1);
simplify(J,8);
// my workaround:
setring r1;
string s = "ideal JJ = " + string(I) + ";";
setring r2;
execute(s);
JJ;
JJ[1] == 0;