1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-19 07:20:28 +01:00

rename to augmentation -> aug

This commit is contained in:
kalmarek 2018-08-14 20:19:54 +02:00
parent 919e1bb103
commit 617f2f3410

View File

@ -146,7 +146,7 @@ function compute_orbit_data{T<:GroupElem}(logger, name::String, S::Vector{T}, au
@logtime logger pm = GroupRings.create_pm(E_2R, E_rdict, sizes[radius], twisted=true) @logtime logger pm = GroupRings.create_pm(E_2R, E_rdict, sizes[radius], twisted=true)
RG = GroupRing(G, E_2R, E_rdict, pm) RG = GroupRing(G, E_2R, E_rdict, pm)
Δ = PropertyT.spLaplacian(RG, S) Δ = PropertyT.spLaplacian(RG, S)
@assert GroupRings.augmentation(Δ) == 0 @assert GroupRings.aug(Δ) == 0
save(filename(name, ), "Δ", Δ.coeffs) save(filename(name, ), "Δ", Δ.coeffs)
save(filename(name, :pm), "pm", pm) save(filename(name, :pm), "pm", pm)