kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-22 16:05:27 +01:00
Code Issues Releases Wiki Activity

fix tests

Browse Source
This commit is contained in:
kalmarek 2019-11-06 17:49:56 +01:00
parent e8ac92ff97
commit ac035e9fc8
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/1712.07167.jl
View File

@ -7,7 +7,7 @@
autS = WreathProduct(PermGroup(2), PermGroup(N)) autS = WreathProduct(PermGroup(2), PermGroup(N))
rm("oSL($N,Z)", recursive=true, force=true) rm("oSL($N,Z)", recursive=true, force=true)
sett = PropertyT.Settings("SL($N,Z)", G, S, autS, with_SCS(2000, accel=20); sett = PropertyT.Settings("SL($N,Z)", G, S, autS, with_SCS(1000, accel=20);
upper_bound=0.27, force_compute=false) upper_bound=0.27, force_compute=false)
@info sett @info sett

2
test/SOS_correctness.jl
View File

@ -33,7 +33,7 @@
@time sos_sqr = PropertyT.compute_SOS_square(pm, Q) @time sos_sqr = PropertyT.compute_SOS_square(pm, Q)
@time sos_hpc = PropertyT.compute_SOS(pm, Q) @time sos_hpc = PropertyT.compute_SOS(pm, Q)
@test norm(sos_sqr - sos_hpc, 1) < 4e-12 @test norm(sos_sqr - sos_hpc, 1) < 5e-12
@info "$NAME:\nDifference in l₁-norm between square and hpc sos decompositions:" norm(eoi-sos_sqr,1) norm(eoi-sos_hpc,1) norm(sos_sqr - sos_hpc, 1) @info "$NAME:\nDifference in l₁-norm between square and hpc sos decompositions:" norm(eoi-sos_sqr,1) norm(eoi-sos_hpc,1) norm(sos_sqr - sos_hpc, 1)
######################################################### #########################################################