Closed YueRen closed 2 years ago
@YueRen This is not a bug, this is a design decision which could be changed. Let us talk about this and #908 via skype, phone, gathertown ...
julia> R, (x1,x2) = PolynomialRing(QQ, "x".*string.(1:2)) (Multivariate Polynomial Ring in x1, x2 over Rational Field, fmpq_mpoly[x1, x2])
julia> R, (x1,x2) = grade(R) (Multivariate Polynomial Ring in x1, x2 over Rational Field graded by x1 -> [1] x2 -> [1], MPolyElem_dec{fmpq, fmpq_mpoly}[x1, x2])
julia> I = ideal([x1+x2]) ideal(x1 + x2)
julia> ishomogeneous(I[1]) true
I am closing the issue for now, because it is not as clear-cut as I imagined when I opened it. I don't think now is the time to discuss is (as in: there are other much more important tasks and this is just a minor issue with an easy workaround whose proper solution requires a lot of discussion)
This works:
This doesn't: