Opened 12 years ago

Closed 5 years ago

#10680 closed defect (fixed)

deal with BooleanMonomialMonoid in polynomial sequences

Reported by: Martin Albrecht Owned by: Martin Albrecht
Priority: major Milestone: sage-8.1
Component: commutative algebra Keywords:
Cc: Mate Soos, Charles Bouillaguet Merged in:
Authors: Thierry Monteil Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: 3fd8230 (Commits, GitHub, GitLab) Commit: 3fd8230751697d42873cddebbbc8dbdcd53f0b97
Dependencies: Stopgaps:

Status badges

Description (last modified by Charles Bouillaguet)

Reported by Mate Soos:

As of Sage 5.5, Sequences of polynomials offers special methods:

sage: B.<a,b,c,d> = GF(2)[]
sage: F0 = Sequence(map(lambda f: f.lm(),[a,b,c,d]))
sage: F0.groebner_basis()
[a, b, c, d]

However, Sequences of *boolean* polynomials lack these special methods:

sage: B.<a,b,c,d> = BooleanPolynomialRing()
sage: F0 = Sequence(map(lambda f: f.lm(),[a,b,c,d]))
sage: F0.groebner_basis()
...
AttributeError: 'Sequence_generic' object has no attribute 'groebner_basis'

Change History (9)

comment:1 Changed 10 years ago by Charles Bouillaguet

Cc: Charles Bouillaguet added
Description: modified (diff)

comment:2 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:3 Changed 9 years ago by For batch modifications

Milestone: sage-6.1sage-6.2

comment:4 Changed 8 years ago by For batch modifications

Milestone: sage-6.2sage-6.3

comment:5 Changed 8 years ago by For batch modifications

Milestone: sage-6.3sage-6.4

comment:6 Changed 5 years ago by Thierry Monteil

Branch: u/tmonteil/deal_with_booleanmonomialmonoid_in_polynomial_sequences

comment:7 Changed 5 years ago by Thierry Monteil

Authors: Thierry Monteil
Commit: 3fd8230751697d42873cddebbbc8dbdcd53f0b97
Status: newneeds_review

This defect fixed itself with the time. Let me just add a corresponding doctest to avoid future regression.


New commits:

3fd8230#10680 : test Groebner basis of sequences of boolean polynomials.

comment:8 Changed 5 years ago by Travis Scrimshaw

Milestone: sage-6.4sage-8.1
Reviewers: Travis Scrimshaw
Status: needs_reviewpositive_review

LGTM.

comment:9 Changed 5 years ago by Volker Braun

Branch: u/tmonteil/deal_with_booleanmonomialmonoid_in_polynomial_sequences3fd8230751697d42873cddebbbc8dbdcd53f0b97
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.