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,,,,,