mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-23 16:20:28 +01:00
basis belongs to RG
This commit is contained in:
parent
73c9e65558
commit
0c6ac791c8
@ -36,7 +36,7 @@ function constraints_from_pm(pm, total_length=maximum(pm))
|
|||||||
return constraints
|
return constraints
|
||||||
end
|
end
|
||||||
|
|
||||||
function splaplacian(RG::GroupRing, S, Id=RG.group(), n=length(basis))
|
function splaplacian(RG::GroupRing, S, Id=RG.group(), n=length(RG.basis))
|
||||||
result = RG(spzeros(n))
|
result = RG(spzeros(n))
|
||||||
result[Id] = float(length(S))
|
result[Id] = float(length(S))
|
||||||
for s in S
|
for s in S
|
||||||
|
Loading…
Reference in New Issue
Block a user