Ticket #10680 (new defect)

Opened 2 years ago

Last modified 5 months ago

deal with BooleanMonomialMonoid in polynomial sequences

Reported by: malb Owned by: malb
Priority: major Milestone: sage-5.10
Component: commutative algebra Keywords:
Cc: msoos, Bouillaguet Work issues:
Report Upstream: N/A Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description (last modified by Bouillaguet) (diff)

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

comment:1 Changed 5 months ago by Bouillaguet

  • Cc Bouillaguet added
  • Description modified (diff)
Note: See TracTickets for help on using tickets.