From 68a3cca76dfabca82bfee4a4aa0ef78e727b8d2a Mon Sep 17 00:00:00 2001 From: kalmarek Date: Tue, 14 Aug 2018 19:18:58 +0200 Subject: [PATCH] =?UTF-8?q?remove=20overloads=20of=20=C2=B1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/CheckSolution.jl | 22 ---------------------- 1 file changed, 22 deletions(-) diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl index 303f4b0..c5bf853 100644 --- a/src/CheckSolution.jl +++ b/src/CheckSolution.jl @@ -3,28 +3,6 @@ using IntervalArithmetic IntervalArithmetic.setrounding(Interval, :tight) IntervalArithmetic.setformat(sigfigs=12) -import IntervalArithmetic.± - -function (±)(X::SparseVector, tol::Real) - I, V = findnz(X) - Vint = [v ± tol for v in V] - return sparsevec(I, Vint) -end - -function (±)(X::Array{T}, tol::Real) where {T<:AbstractFloat} - result = zeros(Interval{Float64}, size(X)...) - for i in eachindex(X) - if X[i] != zero(T) - result[i] = X[i] ± tol - end - end - return result -end - -(±)(X::GroupRingElem, tol::Real) = GroupRingElem(X.coeffs ± tol, parent(X)) - -EOI{T<:Number}(Δ::GroupRingElem{T}, λ::T) = Δ*Δ - λ*Δ - function groupring_square(pm, vect::AbstractVector) zzz = zeros(eltype(vect), maximum(pm)) return GroupRings.mul!(zzz, vect, vect, pm)