kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-07-17 10:55:30 +02:00
Code Issues Releases Wiki Activity

better use of findfirst in create_product_matrix

Browse Source
This commit is contained in:
kalmar 2017-01-13 18:02:34 +01:00
parent 239521f159
commit 95618eb0f9
1 changed files with 5 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
property(T).jl
View File

@ -45,20 +45,15 @@ function create_product_matrix(basis::Array{Array{Float64,2},1}, limit::Int)
for i in 1:limit for i in 1:limit
x_inv = inv(basis[i]) x_inv = inv(basis[i])
for j in 1:limit for j in 1:limit
w::Array{Float64,2} = x_inv*basis[j] w = x_inv*basis[j]
function f(x::Array{Float64,2}) index = findfirst(basis, w)
if x == w if 0 < index ≤ limit
return true
else
return false
end
end
index = findfirst(f, basis)
product_matrix[i,j] = index product_matrix[i,j] = index
push!(constraints[index],[i,j]) push!(constraints[index],[i,j])
end end
end end
end
return product_matrix, constraints return product_matrix, constraints
end end