Ticket #4: sum.bug.sing

LIB "ncall.lib";
ring r=2,(x,y,z),dp;
ring s=0,(a,b,c,d),dp;
def nc_s=SuperCommutative(3,4);
def R=r+nc_s;
setring R;
R;
/*
//   characteristic : 2
//   number of vars : 7
//        block   1 : ordering dp
//                  : names    x y z
//        block   2 : ordering dp
//                  : names    a b c d
//        block   3 : ordering C
//   noncommutative relations:
// quotient ring from ideal
_[1]=d2
_[2]=c2
*/

def X=nc_s+r;

// // ** Error on recognizing nc types

setring X;
X;
/*
//   characteristic : 2
//   number of vars : 7
//        block   1 : ordering dp
//                  : names    a b c d
//        block   2 : ordering dp
//                  : names    x y z
//        block   3 : ordering C
//   noncommutative relations:
// quotient ring from ideal
_[1]=d2
_[2]=c2
*/

/*
Sowohl R=r+nc_s als auch X=nc_s+r haben das zu erwartende Ergebnis, aber 
bei letzterem gibt es // ** Error on recognizing nc types

Ist diese Fehlermeldung ein Fehler? Oder ist es wirklich nicht erlaubt, 
nc_s+r zu sagen (warum?), während r+nc_s problemlos geht?
*/



$$$$$$$