Change 'nonnegative' to 'non-negative' for consistency

Nemocas · Sep 18, 2023 · 24f2e95 · 24f2e95
1 parent 7ba6303
commit 24f2e95
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 7 deletions.
diff --git a/src/NCRings.jl b/src/NCRings.jl
@@ -256,7 +256,7 @@ julia> A = powers(M, 4)
 ```
 """
 function powers(a::T, d::Int) where {T <: Union{NCRingElement, MatElem}}
-   d < 0 && throw(DomainError(d, "the second argument must be nonnegative"))
+   d < 0 && throw(DomainError(d, "the second argument must be non-negative"))
    a isa MatElem && !is_square(a) && throw(DomainError(a, "matrix must be square"))
    M = Vector{T}(undef, d + 1)
    M[1] = one(a)

diff --git a/src/Poly.jl b/src/Poly.jl
@@ -2890,7 +2890,7 @@ function polynomial_to_power_sums(f::PolyRingElem{T}, n::Int=degree(f)) where T
     degree(f) < 1 && error("Polynomial has no roots")
     !is_monic(f) && error("Requires monic polynomial")
     iszero(constant_coefficient(f)) && error("Requires nonzero constant coefficient")
-    n < 0 && throw(DomainError(n, "number of terms must be nonnegative"))
+    n < 0 && throw(DomainError(n, "number of terms must be non-negative"))
     d = degree(f)
     R = base_ring(f)
     # Beware: converting to power series and derivative do not commute
@@ -2917,7 +2917,7 @@ function polynomial_to_power_sums(f::PolyRingElem{T}, n::Int=degree(f)) where T
     degree(f) < 1 && error("Polynomial has no roots")
     !is_monic(f) && error("Requires monic polynomial")
     iszero(constant_coefficient(f)) && error("Requires nonzero constant coefficient")
-    n < 0 && throw(DomainError(n, "number of terms must be nonnegative"))
+    n < 0 && throw(DomainError(n, "number of terms must be non-negative"))
     d = degree(f)
     R = base_ring(f)
     if n == 0

diff --git a/src/generic/AbsMSeries.jl b/src/generic/AbsMSeries.jl
@@ -13,7 +13,7 @@
 
 function O(R::AbsMSeriesRing{T}, prec::Int) where T <: RingElement
     R.weighted_prec != -1 && error("Operation not possible in weighted rings")
-    prec < 0 && error("Precision must be nonnegative")
+    prec < 0 && error("Precision must be non-negative")
     return R(poly_ring(R)(), fill(prec, nvars(R)))
 end
 

diff --git a/src/generic/Ideal.jl b/src/generic/Ideal.jl
@@ -1576,7 +1576,7 @@ function reduce_tail(f::T, V::AbstractVector{T}, res::U) where {U <: RingElement
             i -= 1
          end
          if i != 0 && !iszero(c)
-            h = leading_coefficient(V[i]) # should be nonnegative
+            h = leading_coefficient(V[i]) # should be non-negative
             q, r = AbstractAlgebra.divrem(c, h)
             u = shift_left(V[i], n - length(V[i]))
             p -= q*u
@@ -1608,7 +1608,7 @@ function normal_form(p::T, V::Vector{T}) where {U <: RingElement, T <: AbstractA
             i -= 1
          end
          if i != 0 && !iszero(c)
-            h = leading_coefficient(V[i]) # should be nonnegative
+            h = leading_coefficient(V[i]) # should be non-negative
             q, r = AbstractAlgebra.divrem(c, h)
             u = shift_left(V[i], n - length(V[i]))
             p -= q*u       

diff --git a/src/generic/MapCache.jl b/src/generic/MapCache.jl
@@ -9,7 +9,7 @@ codomain(M::MapCache{D, C}) where {D, C} = codomain(M.map)::C
 image_fn(M::MapCache{D, C}) where {D, C} = image_fn(M.map)
 
 function set_limit!(M::MapCache, limit::Int)
-   limit < 0 && error("Limit must be nonnegative")
+   limit < 0 && error("Limit must be non-negative")
    M.limit = limit
 end