Opened 9 years ago

Closed 5 years ago

#515 closed proposed feature (fixed)

imap documentation improvement (3.1.6; spielwiese)

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: Release 4-0-0
Component: doc Version: 3-1-6
Keywords: imap documentation special cases parameters ring names Cc:



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);
// 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

Change History (1)

comment:1 Changed 5 years ago by hannes

Resolution: fixed
Status: newclosed
// ** Not defined: Cannot map a rational fraction and make a polynomial out of it! Ignoring the denominator.
Note: See TracTickets for help on using tickets.