Exclude zero from the scaling domain

Sagnac · Mar 4, 2024 · 168a5c5 · 168a5c5
1 parent 53161e3
commit 168a5c5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/ScaleAperture.jl b/src/ScaleAperture.jl
@@ -9,7 +9,7 @@ https://www.jeos.org/index.php/jeos_rp/article/view/07012
 =#
 
 function Π(v::Vector{T}, ε::T) where T <: Float64
-    @domain(0.0 ≤ ε ≤ 1.0, ε)
+    @domain(0.0 < ε ≤ 1.0, ε)
     _, n_max = validate_length(v)
     v2 = similar(v, Float64)
     n = 0

diff --git a/src/TransformAperture.jl b/src/TransformAperture.jl
@@ -14,8 +14,8 @@ const b = binomial
 const ei = cis # ei(x) = exp(im*x)
 
 function S(v::Vector{T}, ε::T, δ::Complex{T}, ϕ::T, ω::Tuple{T,T}) where T <: Float64
-    @domain(0.0 ≤ ε ≤ 1.0, ε)
-    @domain(0.0 ≤ ε + abs(δ) ≤ 1.0, ε, δ)
+    @domain(0.0 < ε ≤ 1.0, ε)
+    @domain(ε + abs(δ) ≤ 1.0, ε, δ)
     @domain(0.0 < ω[1] ≤ 1.0, ω[1])
     len, n_max = validate_length(v)
     remap = Dict{NTuple{2, Int}, Int}()