From 8d47872fa0198772fe491ddb9ea18a5448285c9a Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Mon, 20 Jan 2020 01:43:29 +0100
Subject: [PATCH] use the small Laplacian

---
 src/utils.jl | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/utils.jl b/src/utils.jl
index 22ed006..e9bdc57 100644
--- a/src/utils.jl
+++ b/src/utils.jl
@@ -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;