Ticket #13155 (closed defect: fixed)
Boolean Multivariate Ideals should not have negative dimension....
|Reported by:||Bouillaguet||Owned by:||malb|
|Cc:||malb, AlexanderDreyer, PolyBori||Work issues:|
|Report Upstream:||N/A||Reviewers:||Martin Albrecht|
|Authors:||Charles Bouillaguet||Merged in:||sage-5.2.beta1|
Description (last modified by Bouillaguet) (diff)
The dimension of an ideal cannot be negative (it would be mathematically incoherent). Yet, in SAGE, it is possible to create Boolean Ideals of dimension -1.....
sage: n=11 sage: R = BooleanPolynomialRing(n, 'x') sage: R2 = PolynomialRing(GF(2), n, 'x') sage: I = ideal([ R(f) for f in sage.rings.ideal.Cyclic(R2, n).gens() ]) sage: I.dimension() -1
In fact, all the BooleanPolynomialIdeal's should have dimension zero. Thus I suggest to overload the dimension() method to just return zero....
- Priority changed from major to minor
- Status changed from new to needs_review
- Status changed from needs_review to needs_work
- Reviewers set to Martin Albrecht
- Status changed from needs_work to needs_review
- Description modified (diff)