Opened 10 years ago

Closed 10 years ago

#456 closed bug (fixed)

Incomplete interreduction in a quotient ring with redSB

Reported by: Simon King Owned by: somebody
Priority: major Milestone: 3-1-6 and higher
Component: dontKnow Version: 3-1-5
Keywords: Cc:

Description

The following occurs in Singular 3-1-5. It was found using my optional Sage package for the computation of modular group cohomology.

The definitions are in test.sing​. One obtains 

> < "/Users/SimonKing/test.sing";
> interred(NF(I*I,std(0)));
_[1]=a_4_8*a_6_8*a_1_0^3*a_1_3
> option("redSB");
> interred(NF(I*I,std(0)));
_[1]=a_4_8*a_6_8*a_1_0^3*a_1_3
_[2]=a_4_8*a_6_8*c_8_16*a_1_0^3*a_1_3

I can't imagine that this is a feature (and it does not occur in 3-1-3). After all, the second remaining generator is divisible by the first. See this ​Sage ticket

Attachments (1)

test.sing​ (60.3 KB) - added by Simon King 10 years ago.

Download all attachments as: .zip

Change History (3)

Changed 10 years ago by Simon King

Attachment: test.sing​ added

comment:1 Changed 10 years ago by Simon King

Priority: minor → major

comment:2 Changed 10 years ago by hannes

Resolution: → fixed
Status: new → closed

fixed by svn changeset 15319

Note: See TracTickets for help on using tickets.