mirror of
https://github.com/kalmarek/SmallHyperbolic
synced 2024-11-12 20:55:29 +01:00
use the small Laplacian
This commit is contained in:
parent
7332e6c3ea
commit
8d47872fa0
@ -35,6 +35,13 @@ function check_propertyT(sett::PropertyT.Settings)
|
||||
|
||||
RG = parent(Δ)
|
||||
load_basis!(RG, sett)
|
||||
|
||||
S = gens(RG.group)
|
||||
S = unique!([S; inv.(S)])
|
||||
|
||||
Δ = RG(length(S)) - sum(RG(s) for s in S) # small Laplacian
|
||||
@info "Checking the positivity of" Δ
|
||||
|
||||
@assert iszero(aug(Δ))
|
||||
|
||||
ELT = Δ^2;
|
||||
|
Loading…
Reference in New Issue
Block a user