mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-09-18 09:38:00 +02:00
S is now a honest Vector of groupelems
This commit is contained in:
parent
477417bb9a
commit
79e98b07be
@ -153,8 +153,7 @@ function setup_logging(name::String)
|
|||||||
end
|
end
|
||||||
|
|
||||||
|
|
||||||
function check_property_T(name::String, generating_set,
|
function check_property_T(name::String, S, solver, upper_bound, tol, radius)
|
||||||
solver, upper_bound, tol, radius)
|
|
||||||
|
|
||||||
if !isdir(name)
|
if !isdir(name)
|
||||||
mkdir(name)
|
mkdir(name)
|
||||||
@ -170,8 +169,7 @@ function check_property_T(name::String, generating_set,
|
|||||||
Δ, sdp_constraints = ΔandSDPconstraints(name, S, radius)
|
Δ, sdp_constraints = ΔandSDPconstraints(name, S, radius)
|
||||||
end
|
end
|
||||||
|
|
||||||
S = countnz(Δ.coeffs) - 1
|
info(logger, "|S| = $(length(S))")
|
||||||
info(logger, "|S| = $S")
|
|
||||||
info(logger, "length(Δ) = $(length(Δ))")
|
info(logger, "length(Δ) = $(length(Δ))")
|
||||||
info(logger, "|R(G)|.pm = $(size(parent(Δ).pm))")
|
info(logger, "|R(G)|.pm = $(size(parent(Δ).pm))")
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user