Rename isweighted -> is_weighted (#2953)

oscar-system · Oct 28, 2023 · 2bed7c9 · 2bed7c9
1 parent 103262f
commit 2bed7c9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/src/AlgebraicGeometry/Miscellaneous/basics.jl b/src/AlgebraicGeometry/Miscellaneous/basics.jl
@@ -45,7 +45,7 @@ function weights(P::ProjSpc)
   return Int[x[1] for x = P.Rx.d]
 end
 
-function isweighted(P::ProjSpc)
+function is_weighted(P::ProjSpc)
   return !all(x->isone(x[1]), P.Rx.d)
 end
 
@@ -173,7 +173,7 @@ function normalize!(a::ProjSpcElem{ZZRingElem})
 end
 
 function Base.hash(a::ProjSpcElem, u::UInt=UInt(123432))
-  if isweighted(parent(a))
+  if is_weighted(parent(a))
     return u
   end
   normalize!(a)

diff --git a/src/AlgebraicGeometry/RationalPoint/ProjectiveRationalPoint.jl b/src/AlgebraicGeometry/RationalPoint/ProjectiveRationalPoint.jl
@@ -208,7 +208,7 @@ function normalize!(a::AbsProjectiveRationalPoint{ZZRingElem})
 end
 
 function Base.hash(a::AbsProjectiveRationalPoint, u::UInt=UInt(123432))
-  if isweighted(codomain(a))
+  if is_weighted(codomain(a))
     return u
   end
   normalize!(a)

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 isweighted
+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 isweighted(ord::Symbol)
+function _is_weighted(ord::Symbol)
    return ord == :wdeglex || ord == :wdegrevlex ||
           ord == :negwdeglex || ord == :negwdegrevlex
 end