kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-26 02:30:29 +01:00
Code Issues Releases Wiki Activity

no need to pass both Group and S as arguments

Browse Source
This commit is contained in:
kalmarek 2018-01-02 03:28:34 +01:00
parent f478081d4e
commit ac4ef92ef0
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Orbit-wise.jl
View File

@ -222,7 +222,7 @@ function check_property_T(sett::Settings)
files_exists = ex.([:pm, :Δ, :Uπs, :orb, :preps]) files_exists = ex.([:pm, :Δ, :Uπs, :orb, :preps])
if !all(files_exists) if !all(files_exists)
compute_orbit_data(sett.logger, prepath(sett), sett.G, sett.S, sett.autS, radius=sett.radius) compute_orbit_data(sett.logger, prepath(sett), sett.S, sett.autS, radius=sett.radius)
end end
cond1 = exists(filename(fullpath(sett), :λ)) cond1 = exists(filename(fullpath(sett), :λ))

3
src/OrbitDecomposition.jl
View File

@ -166,12 +166,13 @@ function orthSVD{T}(M::AbstractMatrix{T})
return fact[:U][:,1:M_rank] return fact[:U][:,1:M_rank]
end end
function compute_orbit_data{T<:GroupElem}(logger, name::String, G::Nemo.Group, S::Vector{T}, autS::Nemo.Group; radius=2) function compute_orbit_data{T<:GroupElem}(logger, name::String, S::Vector{T}, autS::Nemo.Group; radius=2)
isdir(name) || mkdir(name) isdir(name) || mkdir(name)
info(logger, "Generating ball of radius $(2*radius)") info(logger, "Generating ball of radius $(2*radius)")
# TODO: Fix that by multiple dispatch? # TODO: Fix that by multiple dispatch?
G = parent(first(S))
Id = (isa(G, Nemo.Ring) ? one(G) : G()) Id = (isa(G, Nemo.Ring) ? one(G) : G())
@logtime logger E_2R, sizes = Groups.generate_balls(S, Id, radius=2*radius); @logtime logger E_2R, sizes = Groups.generate_balls(S, Id, radius=2*radius);