id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
13155 Boolean Multivariate Ideals should not have negative dimension.... Bouillaguet malb "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...." defect closed minor sage-5.2 commutative algebra fixed polybori malb AlexanderDreyer PolyBori sage-5.2.beta1 Charles Bouillaguet Martin Albrecht N/A