kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-23 00:10:28 +01:00
Code Issues Releases Wiki Activity

rename parameter S -> T

Browse Source
This commit is contained in:
kalmarek 2017-11-02 13:48:20 +01:00
parent 1c67cdbcea
commit 79d5c7f933
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/CheckSolution.jl
View File

@ -53,7 +53,7 @@ function compute_SOS(Q::AbstractArray, RG::GroupRing, l::Int)
return GroupRingElem(result, RG)
end
function distance_to_cone{S<:Interval}(elt::GroupRingElem, Q::AbstractArray{S,2}, wlen::Int)
function distance_to_cone{T<:Interval}(elt::GroupRingElem, Q::AbstractArray{T,2}, wlen::Int)
SOS = compute_SOS(Q, parent(elt), length(elt.coeffs))
SOS_diff = elt - SOS