Addition nicht-kommutativer Ringe

[Oleksandr]

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?), waerend r+nc_s problemlos geht?

[Oleksandr]

test

[Oleksandr]

This was fixed as a part of major NC redesign.

[seelisch]

Milestone milestone1 deleted