deal with BooleanMonomialMonoid in polynomial sequences

[malb]

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'

CC: @msoos @sagetrac-Bouillaguet

Component: commutative algebra

Author: Thierry Monteil

Branch/Commit: 3fd8230

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/10680

[sagetrac-tmonteil]

Branch: u/tmonteil/deal_with_booleanmonomialmonoid_in_polynomial_sequences

[sagetrac-tmonteil]

comment:7

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.

[sagetrac-tmonteil]

Author: Thierry Monteil

[sagetrac-tmonteil]

Commit: 3fd8230

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:8

LGTM.

[vbraun]

Changed branch from u/tmonteil/deal_with_booleanmonomialmonoid_in_polynomial_sequences to 3fd8230