kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-09-13 08:35:40 +02:00
Code Issues Releases Wiki Activity

fix indentation, again

Browse Source
This commit is contained in:
kalmarek 2018-01-01 23:45:49 +01:00
parent 47f6d3637e
commit 923d892da0
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/CheckSolution.jl
View File

@ -36,9 +36,8 @@ function compute_SOS(Q::AbstractArray, pm::Array{Int,2}, l::Int)
groupring_square(Q[:,i], l, pm)
end
println("")
return result
end
function compute_SOS(Q::AbstractArray, RG::GroupRing, l::Int)