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

adopt to GroupRings nemoification

Browse Source
This commit is contained in:
kalmar 2017-05-28 19:59:26 +02:00
parent 0ba66ceaa4
commit 2adcf0bc13
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/PropertyT.jl
View File

@ -57,7 +57,7 @@ function ΔandSDPconstraints(name::String, generating_set::Function, radius::Int
t = @timed Δ, sdp_constraints = Main.ΔandSDPconstraints(Id, S, radius)
info(logger, timed_msg(t))
save(pm_fname, "pm", Δ.product_matrix)
save(pm_fname, "pm", parent(Δ).pm)
save(Δ_fname, "Δ", Δ.coeffs)
return Δ, sdp_constraints
else
@ -162,7 +162,7 @@ function check_property_T(name::String, generating_set::Function,
S = countnz(Δ.coeffs) - 1
info(logger, "|S| = $S")
info(logger, "length(Δ) = $(length(Δ))")
info(logger, "size(Δ.product_matrix) = $(size(Δ.product_matrix))")
info(logger, "|R(G)|.pm = $(size(parent(Δ).pm))")
λ, P = λandP(name, sdp_constraints, Δ, solver, upper_bound)