Define is_homogeneous for MPolyRingElem

src/AbstractAlgebra.jl

@@ -598,7 +598,6 @@ import .Generic: inverse_mat
 import .Generic: invmod
 import .Generic: is_compatible
 import .Generic: is_divisible_by
-import .Generic: is_homogeneous
 import .Generic: is_power
 import .Generic: is_rimhook
 import .Generic: is_submodule

src/MPoly.jl

@@ -484,6 +484,29 @@ function is_monomial(x::MPolyRingElem{T}) where T <: RingElement
    return length(x) == 1 && isone(first(coefficients(x)))
 end
 
+@doc raw"""
+    is_homogeneous(x::MPolyRingElem{T}) where {T <: RingElement}
+
+Return `true` if the given polynomial is homogeneous with respect to the standard grading and `false` otherwise.
+"""
+function is_homogeneous(x::MPolyRingElem{T}) where {T <: RingElement}
+   last_deg = 0
+   is_first = true
+
+   for e in exponent_vectors(x)
+      d = sum(e)
+      if !is_first
+         if d != last_deg
+            return false
+         end
+      else
+         is_first = false
+         last_deg = d
+      end
+   end
+   return true
+end
+
 ###############################################################################
 #
 #   Iterators

src/generic/MPoly.jl

@@ -642,31 +642,6 @@ function is_gen(x::MPoly{T}) where {T <: RingElement}
    return is_gen(x, Val{parent(x).ord})
 end
 
-@doc raw"""
-    is_homogeneous(x::MPoly{T}) where {T <: RingElement}
-
-Return `true` if the given polynomial is homogeneous with respect to the standard grading and `false` otherwise.
-"""
-function is_homogeneous(x::MPoly{T}) where {T <: RingElement}
-   last_deg = 0
-   is_first = true
-
-   for e in exponent_vectors(x)
-      d = sum(e)
-      if !is_first
-         if d != last_deg
-            return false
-         else
-            last_deg = d
-         end
-      else
-         is_first = false
-         last_deg = d
-      end
-   end
-   return true
-end
-
 @doc raw"""
     coeff(x::MPoly, i::Int)