From c090f1d3c56cdc5130071daafa6c988ea17f2d07 Mon Sep 17 00:00:00 2001 From: kalmar Date: Mon, 10 Apr 2017 20:01:56 +0200 Subject: [PATCH] bring AutFN up to date with PropertyT --- AutFN.jl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/AutFN.jl b/AutFN.jl index de1878e..410fdea 100644 --- a/AutFN.jl +++ b/AutFN.jl @@ -150,6 +150,8 @@ function ΔandSDPconstraints(identity::AutWord, S::Vector{AutWord}) return Δ, sdp_constraints end +ΔandSDPconstraints(identity::AutWord, S::Vector{AutWord}, r::Int) = ΔandSDPconstraints(identity, S) + const symbols = [FGSymbol("x₁",1), FGSymbol("x₂",1), FGSymbol("x₃",1), FGSymbol("x₄",1), FGSymbol("x₅",1), FGSymbol("x₆",1)] const TOL=1e-8 @@ -225,7 +227,7 @@ function main() end Blas.set_num_threads(parsed_args["cpus"]) end - @time PropertyT.check_property_T(name, S, solver, upper_bound, tol) + @time PropertyT.check_property_T(name, S, solver, upper_bound, tol, 2) return 0 end