kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2025-03-29 12:12:37 +01:00

skip the identity constraint if augmented

Browse Source
This commit is contained in:
Marek Kaluba 2023-04-04 23:48:59 +02:00
parent 3f2be20152
commit 150b5c2cba
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 6 additions and 0 deletions

6
src/sos_sdps.jl
View File

@ -194,6 +194,10 @@ function sos_problem_primal(
end
end
id_one = findfirst(invariant_vectors(wedderburn)) do v
b = basis(parent(elt))
return sparsevec([b[one(first(b))]], [1 // 1], length(v)) == v
end
feasibility_problem = iszero(orderunit)
model = JuMP.Model()
@ -240,6 +244,8 @@ function sos_problem_primal(
for (i, iv) in enumerate(invariant_vectors(wedderburn))
ProgressMeter.next!(prog; showvalues = __show_itrs(i, prog.n))
augmented && i == id_one && continue
# i == 500 && break
x = dot(X, iv)
u = dot(U, iv)