Opened 12 years ago

Closed 12 years ago

#1836 closed enhancement (fixed)

[with patch] return reduced Groebner bases by default

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

Description

... to avoid ambiguousness

Attachments (2)

redSB-doc.patch (719 bytes) - added by malb 12 years ago.
redSB-sage.patch (25.0 KB) - added by malb 12 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 12 years ago by malb

comment:1 follow-up: Changed 12 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 12 years ago by malb

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 12 years ago by malb

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 12 years ago by mabshoff

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

Cheers,

Michael

comment:4 Changed 12 years ago by mabshoff

  • Resolution set to fixed
  • Status changed from new to closed

Merged in Sage 2.10.1.alpha1

Note: See TracTickets for help on using tickets.