Opened 14 years ago

Closed 14 years ago

Last modified 14 years ago

#113 closed bug (fixed)

opposite depends on current ring

Reported by: Oleksandr Owned by: Oleksandr
Priority: major Milestone: 3-1-1
Component: singular-kernel Version:
Keywords: opposite, non-commutative Cc: hannes

Description

LIB "nctools.lib"; 
ring R = 0, (a,b, X, Y, Z), dp;
def E = SuperCommutative(3); 
def EE = opposite(E); // IN R!
setring E;E;
//   characteristic : 0
//   number of vars : 5
//        block   1 : ordering dp
//                  : names    a b X Y Z 
//        block   2 : ordering C
//   noncommutative relations:
//    YX=-XY
//    ZX=-XZ
//    ZY=-YZ
// quotient ring from ideal
//_[1]=Z2
//_[2]=Y2
//_[3]=X2
var(3)*var(3); // 0
setring EE; EE; // BUG: no quotient:
//   characteristic : 0
//   number of vars : 5
//        block   1 : ordering a
//                  : names    z y x B A 
//                  : weights  1 1 1 1 1 
//        block   2 : ordering ls
//                  : names    z y x B A 
//        block   3 : ordering C
//   noncommutative relations:
//    yz=-zy
//    xz=-zx
//    xy=-yx
var(3)*var(3); // x2 is wrong!
setring E; def EE = opposite(E); // IN E:
setring EE;EE; // correct!
//   characteristic : 0
//   number of vars : 5
//        block   1 : ordering a
//                  : names    z y x B A 
//                  : weights  1 1 1 1 1 
//        block   2 : ordering ls
//                  : names    z y x B A 
//        block   3 : ordering C
//   noncommutative relations:
//    yz=-zy
//    xz=-zx
//    xy=-yx
// quotient ring from ideal
// _[1]=z2 // correct!
// _[2]=y2
// _[3]=x2
var(3)*var(3); // 0 -- correct

Attachments (6)

opposite.tst (141 bytes) - added by Oleksandr 14 years ago.
my test of opposite for Exterior algebra
opposite.tst.log (8.3 KB) - added by Oleksandr 14 years ago.
results of my test of opposite for Exterior algebra: BUG!!!!!!!! (memory access!)
opposite_vl.res (1.7 KB) - added by Oleksandr 14 years ago.
at least one bug in opposite is a pure PLURAL heritage bug!
opposite_q..log (8.4 KB) - added by Oleksandr 14 years ago.
current ring-dependency has beed resolved somehow
opposite_vl.log (4.1 KB) - added by Oleksandr 14 years ago.
without SCA
opposite.log (4.2 KB) - added by Oleksandr 14 years ago.
with SCA : more intelligence :)

Download all attachments as: .zip

Change History (10)

Changed 14 years ago by Oleksandr

Attachment: opposite.tst added

my test of opposite for Exterior algebra

Changed 14 years ago by Oleksandr

Attachment: opposite.tst.log added

results of my test of opposite for Exterior algebra: BUG!!!!!!!! (memory access!)

Changed 14 years ago by Oleksandr

Attachment: opposite_vl.res added

at least one bug in opposite is a pure PLURAL heritage bug!

comment:1 Changed 14 years ago by Oleksandr

Version: 3-0-5

comment:2 Changed 14 years ago by Oleksandr

Resolution: fixed
Status: newclosed

Fixed. Seems to work now. There was something messed up with quotients to sort out.

Note that the resulting ordering may become really weird!

Changed 14 years ago by Oleksandr

Attachment: opposite_q..log added

current ring-dependency has beed resolved somehow

Changed 14 years ago by Oleksandr

Attachment: opposite_vl.log added

without SCA

Changed 14 years ago by Oleksandr

Attachment: opposite.log added

with SCA : more intelligence :)

comment:3 Changed 14 years ago by Oleksandr

Cc: hannes added

Dear Hans,

could you please check whether there is anything to be done concerning the weird resulting ring ordering?!

(please, take a look at the file "opposite.log" above)

comment:4 Changed 14 years ago by seelisch

Milestone: Releases 3-1-1 and higher
Note: See TracTickets for help on using tickets.