mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-26 17:05:27 +01:00
In the new api we need just DeltaandSDPconstraints function
This commit is contained in:
parent
b0f273ce45
commit
9641f72b05
3
SL3Z.jl
3
SL3Z.jl
@ -79,9 +79,8 @@ function inv(M::Array{Mod,2})
|
|||||||
return adjugate(M)
|
return adjugate(M)
|
||||||
end
|
end
|
||||||
|
|
||||||
function prepare_Δ_sdp_constraints(identity, S)
|
|
||||||
@show length(S)
|
|
||||||
|
|
||||||
|
function ΔandSDPconstraints(identity, S)
|
||||||
B₁ = vcat([identity], S)
|
B₁ = vcat([identity], S)
|
||||||
B₂ = products(B₁, B₁);
|
B₂ = products(B₁, B₁);
|
||||||
B₃ = products(B₁, B₂);
|
B₃ = products(B₁, B₂);
|
||||||
|
Loading…
Reference in New Issue
Block a user