Undo the implementation for elements of quotient rings.

oscar-system · Oct 4, 2024 · ddb20cb · ddb20cb
1 parent d6ea035
commit ddb20cb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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))