1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-14 06:10:28 +01:00

small fixes

This commit is contained in:
Marek Kaluba 2022-11-17 11:22:17 +01:00
parent 5349c21034
commit 2cc9444667
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
3 changed files with 3 additions and 3 deletions

View File

@ -68,7 +68,7 @@ solve_in_loop(
model,
wd,
varP,
logdir="./log/r=$HALFRADIUS/Sp($N,Z)/Adj_C₂-InfΔ",
logdir="./log/Sp($N,Z)/r=$HALFRADIUS/Adj_C₂-InfΔ",
optimizer=cosmo_optimizer(
eps=1e-10,
max_iters=20_000,

View File

@ -29,7 +29,7 @@ include("actions/actions.jl")
function group_algebra(G::Groups.Group, S=gens(G); halfradius::Integer, twisted::Bool)
S = union!(S, inv.(S))
@info "generating wl-metric ball of radius $(2halfradius)"
@time E, sizes = Groups.wlmetric_ball_serial(S, radius=2halfradius)
@time E, sizes = Groups.wlmetric_ball(S, radius=2halfradius)
@info "sizes = $(sizes)"
@info "computing the *-algebra structure for G"
@time RG = StarAlgebras.StarAlgebra{twisted}(

View File

@ -39,7 +39,6 @@ function solve(m::JuMP.Model, optimizer, warmstart=nothing)
m = setwarmstart!(m, warmstart)
JuMP.optimize!(m)
Base.Libc.flush_cstdio()
status = JuMP.termination_status(m)
@ -55,6 +54,7 @@ function solve(solverlog::String, m::JuMP.Model, optimizer, warmstart=nothing)
status, warmstart = open(solverlog, "a+") do logfile
redirect_stdout(logfile) do
status, warmstart = solve(m, optimizer, warmstart)
Base.Libc.flush_cstdio()
status, warmstart
end
end