Ticket #4022 (closed enhancement: fixed)

Opened 2 years ago

Last modified 2 years ago

[with patch, positive review] Gröbner bases over Z and Z/nZ

Reported by: malb Owned by: malb
Priority: major Milestone: sage-3.1.3
Component: commutative algebra Keywords:
Cc: Author(s):
Report Upstream: Reviewer(s):
Merged in: Work issues:

Description

The attached patch implements -- in a slow, lame way -- Gröbner bases over ZZ and IntegerModRing as defined in the Becker & Weispfenning. This code should be replaced by the new Singular code soon-ish, but it can't hurt to have a clean toy implementation.

While I think that the d_basis implementation is correct, I recommend somebody double checks. Particularly, the MPolynomial_libsingular.reduce implementation for ZZ should receive some careful examination.

Attachments

d_basis.patch Download (27.3 KB) - added by malb 2 years ago.

Change History

Changed 2 years ago by malb

Changed 2 years ago by malb

Quite likely the attached patch depends on #4021, I didn't check though whether it works stand alone too.

Changed 2 years ago by malb

  • status changed from new to assigned

Changed 2 years ago by AlexGhitza

  • summary changed from [with patch, needs review] Gröbner bases over Z and Z/nZ to [with patch, positive review] Gröbner bases over Z and Z/nZ

Applies cleanly on top of 3.1.3.alpha1 + patches at #686 and #4021.

I *really* like the examples.

Changed 2 years ago by mabshoff

  • status changed from assigned to closed
  • resolution set to fixed

Merged in Sage 3.1.3.alpha2

Note: See TracTickets for help on using tickets.