Opened 12 years ago

Closed 12 years ago

#311 closed bug (fixed)

std of std not the same as std

Reported by: leonada@… Owned by: hannes
Priority: minor Milestone: 3-1-2 and higher
Component: singular-kernel Version: 3-1-2
Keywords: std Cc:

Description

Shouldn't ss=std(s) be the same as s=std(norid)?

Attachments (2)

stdstd.sing​ (27.0 KB) - added by anonymous 12 years ago.
stdstd.2.sing​ (587 bytes) - added by Oleksandr 12 years ago.
pure Singular code (not a log)

Download all attachments as: .zip

Change History (4)

Changed 12 years ago by anonymous

Attachment: stdstd.sing​ added

comment:1 Changed 12 years ago by Oleksandr

Component: dontKnow → singular-kernel
Keywords: std added
Owner: changed from somebody to hannes

Yeah, looks strange indeed but both results seems to be correct. see my tests: all NFs are zeroes!

it seems to be a global ordering but a wild one - maybe that's what makes Singular go crazy.

Last edited 12 years ago by Oleksandr (previous) (diff)

Changed 12 years ago by Oleksandr

Attachment: stdstd.2.sing​ added

pure Singular code (not a log)

comment:2 Changed 12 years ago by hannes

Resolution: → fixed
Status: new → closed

fixed with revision 14093 (tests), 14090 (setting of properties of the ring), 14088 (degree in posInS must be compatible with ordering)

Note: See TracTickets for help on using tickets.