diff --git a/src/Rings/mpolyquo-localizations.jl b/src/Rings/mpolyquo-localizations.jl index 4fd7c74595c1..e0e3ecf557d3 100644 --- a/src/Rings/mpolyquo-localizations.jl +++ b/src/Rings/mpolyquo-localizations.jl @@ -2805,7 +2805,6 @@ _exponents(x::MPolyLocRingElem) = AbstractAlgebra.exponent_vectors(numerator(x)) _exponents(x::MPolyQuoLocRingElem) = AbstractAlgebra.exponent_vectors(lifted_numerator(x)) # overwriting the comparison method to avoid computing saturations and groebner bases. -_cmp_reps(a::MPolyQuoRingElem) = y->(lift(y) == lift(a)) _cmp_reps(a::MPolyLocRingElem) = y->(fraction(y) == fraction(a)) _cmp_reps(a::MPolyQuoLocRingElem) = y->(fraction(y) == fraction(a))