id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc	work_issues	upstream	reviewer	author	merged	dependencies	stopgaps
5485	[with patch, positive review] issue with dimension of ideals in polynomial rings	AlexGhitza	malb	"Consider this:

{{{
sage: R.<x, y> = ZZ[]
sage: I = R.ideal(0)
sage: I.dimension()
verbose 0 (794: multi_polynomial_ideal.py, dimension) Warning: falling back to very slow toy implementation.
1
}}}

But judging from the docstring of I.dimension(),this should be the Krull dimension of R/I, which is 3 since R/I is (canonically isomorphic to) R:

{{{
sage: R.krull_dimension()
3
}}}
"	defect	closed	major	sage-3.4.1	commutative algebra	fixed