From 6364d90ac1e39e37a98712a34c126be33071401b Mon Sep 17 00:00:00 2001
From: "Viktor T. Toth" <vttoth@vttoth.com>
Date: Fri, 16 Jul 2021 10:29:35 -0400
Subject: [PATCH] Adding bivector term to Laplacian itensor demo with torsion

---
 share/tensor/laplacian.dem | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/share/tensor/laplacian.dem b/share/tensor/laplacian.dem
index 3b2ffc4b5..0eafbbea6 100644
--- a/share/tensor/laplacian.dem
+++ b/share/tensor/laplacian.dem
@@ -66,4 +66,11 @@ ishow(canform(conmetderiv(D2,g)))$
 ("Finally, we see that the two results differ only by torsion")$
 ishow(canform(D2-D1))$
 
+("Last but not least, d^2 is not nilpotent in the presence of torsion")$
+extdiff(extdiff(f([],[])))$
+%,icc2,ikt2,ikt1$
+canform(%)$
+%,g$
+ishow(contract(%))$
+
 ("Reminder: when dim = 2n, the Laplacian is -1 times these results.")$
-- 
2.11.4.GIT