imap documentation improvement (3.1.6; spielwiese)

[kroeker@…]

Hello,

the imap documentation is currently somewhat vague for the following situation:

in case parameter names occur in the denominator of an ideal generator term, in version 3.1.6 the corresponding term will be skipped in the image and in spielwiese the denominator will get lost:

ring R = (2,a,c),(b),(C,dp(1));
ideal I= b^ 2+(c+1)/a;
ring S = (2),(b,a,c),(dp(3));
ideal I = imap(R,I);
I;
// 3.1.6, master: // I[1]=b2
// spielwiese:    // I[1]=b2+c+1

This specifics should be mentioned in future versions of the Singular manual

[hannes]

// ** Not defined: Cannot map a rational fraction and make a polynomial out of it! Ignoring the denominator.