Opened 15 years ago

Closed 15 years ago

#1836 closed enhancement (fixed)

[with patch] return reduced Groebner bases by default

Reported by: Martin Albrecht Owned by: Martin Albrecht
Priority: major Milestone: sage-2.10.1
Component: commutative algebra Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

... to avoid ambiguousness

Attachments (2)

redSB-doc.patch (719 bytes) - added by Martin Albrecht 15 years ago.
redSB-sage.patch (25.0 KB) - added by Martin Albrecht 15 years ago.
updated patch which uses Python techniques to implement reduction of Groebner bases, and forces all GB calculations to be reduced

Download all attachments as: .zip

Change History (6)

Changed 15 years ago by Martin Albrecht

Attachment: redSB-doc.patch added

comment:1 Changed 15 years ago by ncalexan

There are an awful lot of places that Groebner bases are computed. (complete_prime_decomposition, etc). I'd really like to guarantee that *all* such bases are reduced. Is that unreasonable?

Changed 15 years ago by Martin Albrecht

Attachment: redSB-sage.patch added

updated patch which uses Python techniques to implement reduction of Groebner bases, and forces all GB calculations to be reduced

comment:2 in reply to:  1 Changed 15 years ago by Martin Albrecht

Replying to ncalexan:

There are an awful lot of places that Groebner bases are computed. (complete_prime_decomposition, etc). I'd really like to guarantee that *all* such bases are reduced. Is that unreasonable?

The updated patch is supposed to implement that.

comment:3 Changed 15 years ago by Michael Abshoff

Patch looks good to me. I think that all of Nick's concerns have been addressed.

Cheers,

Michael

comment:4 Changed 15 years ago by Michael Abshoff

Resolution: fixed
Status: newclosed

Merged in Sage 2.10.1.alpha1

Note: See TracTickets for help on using tickets.