Ticket #2111 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

[with patch, with positive review] Gröbner bases over any field

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

Description

This now works (but is very very slow): 

sage: R.<x,y> = PolynomialRing(GF(2147483659),order='lex')
sage: ideal([x^3-2*y^2,3*x+y^4]).groebner_basis()
[x + 1431655773*y^4, y^12 + 54*y^2]

Attachments

native_gb.patch Download (28.0 KB) - added by malb 5 years ago.
trac_2111_2.patch Download (9.1 KB) - added by malb 5 years ago.
misc additional improvements, apply after first patch

Change History

Changed 5 years ago by malb

Changed 5 years ago by malb

misc additional improvements, apply after first patch

comment:1 Changed 5 years ago by ncalexan

  • Summary changed from [with patch, needs review] Gröbner bases over any field to [with patch, with positive review] Gröbner bases over any field

Both patches look good, there's a lot to like in the first patch. Apply!

I personally prefer long outputs of doctests to be all one line -- I find it makes it easier to find errors -- but that's no reason to reject a good patch :)

comment:2 Changed 5 years ago by mabshoff

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

Merged in Sage 2.10.2.alpha0

Note: See TracTickets for help on using tickets.