Address comments

oscar-system · Oct 27, 2023 · 576aeee · 576aeee
1 parent 5829174
commit 576aeee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git 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
@@ -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