use radius parameter
This commit is contained in:
parent
4f37db5bde
commit
9697bdc71d
30
SL.jl
30
SL.jl
@ -45,20 +45,22 @@ function products{T}(U::AbstractVector{T}, V::AbstractVector{T})
|
|||||||
return unique(result)
|
return unique(result)
|
||||||
end
|
end
|
||||||
|
|
||||||
function ΔandSDPconstraints(Id, S; radius::Int=4)
|
function ΔandSDPconstraints(Id, S, radius)
|
||||||
k = div(radius,2)
|
radius *=2
|
||||||
lengths = Vector{Int}()
|
|
||||||
|
sizes = Vector{Int}()
|
||||||
S = vcat([Id], S)
|
S = vcat([Id], S)
|
||||||
B = S
|
B = S
|
||||||
push!(lengths,length(B))
|
push!(sizes,length(B))
|
||||||
for i in 2:radius
|
for i in 2:radius
|
||||||
B = products(S, B);
|
B = products(S, B);
|
||||||
push!(lengths, length(B))
|
push!(sizes, length(B))
|
||||||
end
|
end
|
||||||
|
println("Generated balls of sizes $sizes")
|
||||||
k = div(radius,2)
|
k = div(radius,2)
|
||||||
basis = B[1:lengths[k]]
|
basis = B[1:sizes[k]]
|
||||||
|
|
||||||
product_matrix = PropertyT.create_product_matrix(B,lengths[k]);
|
product_matrix = PropertyT.create_product_matrix(B, sizes[k]);
|
||||||
sdp_constraints = PropertyT.constraints_from_pm(product_matrix, length(B))
|
sdp_constraints = PropertyT.constraints_from_pm(product_matrix, length(B))
|
||||||
L_coeff = PropertyT.splaplacian_coeff(S, basis, length(B));
|
L_coeff = PropertyT.splaplacian_coeff(S, basis, length(B));
|
||||||
Δ = GroupAlgebraElement(L_coeff, product_matrix)
|
Δ = GroupAlgebraElement(L_coeff, product_matrix)
|
||||||
@ -113,6 +115,10 @@ function parse_commandline()
|
|||||||
help = "Matrices over filed of p-elements (default: p=0 => over ZZ)"
|
help = "Matrices over filed of p-elements (default: p=0 => over ZZ)"
|
||||||
arg_type = Int
|
arg_type = Int
|
||||||
default = 0
|
default = 0
|
||||||
|
"--radius"
|
||||||
|
help = "Find the decomposition over B_r(e,S)"
|
||||||
|
arg_type = Int
|
||||||
|
default = 0
|
||||||
end
|
end
|
||||||
|
|
||||||
return parse_args(s)
|
return parse_args(s)
|
||||||
@ -136,7 +142,13 @@ function main()
|
|||||||
else
|
else
|
||||||
name = "SL$(N)_$p"
|
name = "SL$(N)_$p"
|
||||||
end
|
end
|
||||||
name = name*"-$(string(upper_bound))"
|
radius = parsed_args["radius"]
|
||||||
|
if radius == 0
|
||||||
|
name*"-$(string(upper_bound))"
|
||||||
|
radius = 2
|
||||||
|
else
|
||||||
|
name = name*"-$(string(upper_bound))-r=$radius"
|
||||||
|
end
|
||||||
S() = SL_generatingset(N, p)
|
S() = SL_generatingset(N, p)
|
||||||
|
|
||||||
if parsed_args["cpus"] ≠ nothing
|
if parsed_args["cpus"] ≠ nothing
|
||||||
@ -145,7 +157,7 @@ function main()
|
|||||||
end
|
end
|
||||||
Blas.set_num_threads(parsed_args["cpus"])
|
Blas.set_num_threads(parsed_args["cpus"])
|
||||||
end
|
end
|
||||||
@time PropertyT.check_property_T(name, S, solver, upper_bound, tol)
|
@time PropertyT.check_property_T(name, S, solver, upper_bound, tol, radius)
|
||||||
return 0
|
return 0
|
||||||
end
|
end
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user