diff --git a/src/Rings/orderings.jl b/src/Rings/orderings.jl index e3d5d84bcd86..499395da5419 100644 --- a/src/Rings/orderings.jl +++ b/src/Rings/orderings.jl @@ -18,7 +18,7 @@ export is_global export is_local export is_mixed export is_total -export is_weighted +export _is_weighted export lex export matrix_ordering export monomial_ordering @@ -124,7 +124,7 @@ function _unique_var_indices(a::AbstractVector{<:MPolyRingElem}) return z end -function is_weighted(ord::Symbol) +function _is_weighted(ord::Symbol) return ord == :wdeglex || ord == :wdegrevlex || ord == :negwdeglex || ord == :negwdegrevlex end diff --git a/src/exports.jl b/src/exports.jl index 24c1e824abe6..2ec90f620678 100644 --- a/src/exports.jl +++ b/src/exports.jl @@ -869,7 +869,6 @@ export is_unital export is_vertical_k_separation export is_very_ample export is_weakly_connected -export is_weighted export is_welldefined export is_z_graded export is_zero