kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-26 18:40:29 +01:00
Code Issues Releases Wiki Activity

remove overloads of ±

Browse Source
This commit is contained in:
kalmarek 2018-08-14 19:18:58 +02:00
parent ff8f5d45c2
commit 68a3cca76d
1 changed files with 0 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/CheckSolution.jl
View File

@ -3,28 +3,6 @@ using IntervalArithmetic
IntervalArithmetic.setrounding(Interval, :tight) IntervalArithmetic.setrounding(Interval, :tight)
IntervalArithmetic.setformat(sigfigs=12) 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) function groupring_square(pm, vect::AbstractVector)
zzz = zeros(eltype(vect), maximum(pm)) zzz = zeros(eltype(vect), maximum(pm))
return GroupRings.mul!(zzz, vect, vect, pm) return GroupRings.mul!(zzz, vect, vect, pm)