Zero-allocation isone (#239)

Author: blegat

src/comparison.jl

@@ -5,6 +5,13 @@ Base.iszero(m::AbstractMonomial) = false
 Base.iszero(t::AbstractTerm) = iszero(coefficient(t))
 Base.iszero(t::AbstractPolynomial) = iszero(nterms(t))
 
+Base.isone(v::AbstractVariable) = false
+Base.isone(m::AbstractMonomial) = isconstant(m)
+Base.isone(t::AbstractTerm) = isone(coefficient(t)) && isconstant(monomial(t))
+function Base.isone(p::AbstractPolynomial)
+    return isone(nterms(p)) && isone(first(terms(p)))
+end
+
 # See https://github.com/blegat/MultivariatePolynomials.jl/issues/22
 # avoids the call to be transfered to left_constant_eq
 Base.:(==)(α::Nothing, x::APL) = false

test/allocations.jl

@@ -1,5 +1,4 @@
 module TestAllocations
-
 include("utils.jl")
 
 function runtests()
@@ -86,6 +85,12 @@ function test_isapproxzero()
     alloc_test(0) do
         isapproxzero(q; ztol = 1e-8)
     end
+    alloc_test(0) do
+        iszero(q)
+    end
+    alloc_test(0) do
+        isone(q)
+    end
 end
 
 function _test_gcd(T)