Opened 16 years ago

Closed 15 years ago

Last modified 15 years ago

#45 closed proposed feature (fixed)

sum of rings

Reported by: Oleksandr Owned by: hannes
Priority: minor Milestone: Release 3-1-0
Component: singular-kernel Version:
Keywords: sum of rings Cc:

Description

the sum of rings should better give at least warning about equal variable names, consider for instance:

> ring r; r;
//   characteristic : 32003
//   number of vars : 3
//        block   1 : ordering dp
//                  : names    x y z
//        block   2 : ordering C
> ring s; s;
//   characteristic : 32003
//   number of vars : 3
//        block   1 : ordering dp
//                  : names    x y z
//        block   2 : ordering C
> def R = r + s; setring R; R;
//   characteristic : 32003
//   number of vars : 3
//        block   1 : ordering dp
//                  : names    x y z
//        block   2 : ordering C

should give a warning on

> def R = r + s; setring R; R;

Change History (3)

comment:1 Changed 15 years ago by seelisch

question by Gert-Martin Greuel in the meeting of Feb 12, 2009, added by Frank Seelisch: Is there anything to check for the non-commutative case? --> Hans, please reassign to Oleksandr Motask after investigation on usefulness of above warning.

comment:2 Changed 15 years ago by seelisch

Resolution: fixed
Status: newclosed

comment:3 Changed 15 years ago by seelisch

Milestone: Release 3-1-0
Note: See TracTickets for help on using tickets.