mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-12-24 18:10:29 +01:00
Higher level compute_SOS
This commit is contained in:
parent
96ce02852f
commit
4ae2c617cb
@ -48,6 +48,9 @@ function compute_SOS(Q::AbstractArray, pm::Array{Int,2}, l::Int)
|
|||||||
return result
|
return result
|
||||||
end
|
end
|
||||||
|
|
||||||
|
function compute_SOS(Q::AbstractArray, RG::GroupRing, l::Int)
|
||||||
|
result = compute_SOS(Q, RG.pm, l)
|
||||||
|
return GroupRingElem(result, RG)
|
||||||
end
|
end
|
||||||
|
|
||||||
function distance_to_cone{S<:Interval}(elt::GroupRingElem, Q::AbstractArray{S,2}, wlen::Int)
|
function distance_to_cone{S<:Interval}(elt::GroupRingElem, Q::AbstractArray{S,2}, wlen::Int)
|
||||||
|
Loading…
Reference in New Issue
Block a user