From 5f1cce9b820cbdb9a7b949807a718a614cefd7f1 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Mon, 25 Nov 2024 10:13:24 +0000
Subject: [PATCH] chore: Rename wick ring to wick algebra

---
 HepLean.lean                                             | 2 +-
 HepLean/FeynmanDiagrams/Wick/{Ring.lean => Algebra.lean} | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)
 rename HepLean/FeynmanDiagrams/Wick/{Ring.lean => Algebra.lean} (96%)

diff --git a/HepLean.lean b/HepLean.lean
index 7873b51..811047a 100644
--- a/HepLean.lean
+++ b/HepLean.lean
@@ -55,8 +55,8 @@ import HepLean.FeynmanDiagrams.Basic
 import HepLean.FeynmanDiagrams.Instances.ComplexScalar
 import HepLean.FeynmanDiagrams.Instances.Phi4
 import HepLean.FeynmanDiagrams.Momentum
+import HepLean.FeynmanDiagrams.Wick.Algebra
 import HepLean.FeynmanDiagrams.Wick.Contract
-import HepLean.FeynmanDiagrams.Wick.Ring
 import HepLean.FeynmanDiagrams.Wick.String
 import HepLean.FlavorPhysics.CKMMatrix.Basic
 import HepLean.FlavorPhysics.CKMMatrix.Invariants
diff --git a/HepLean/FeynmanDiagrams/Wick/Ring.lean b/HepLean/FeynmanDiagrams/Wick/Algebra.lean
similarity index 96%
rename from HepLean/FeynmanDiagrams/Wick/Ring.lean
rename to HepLean/FeynmanDiagrams/Wick/Algebra.lean
index dccadbb..410edbf 100644
--- a/HepLean/FeynmanDiagrams/Wick/Ring.lean
+++ b/HepLean/FeynmanDiagrams/Wick/Algebra.lean
@@ -5,7 +5,8 @@ Authors: Joseph Tooby-Smith
 -/
 import HepLean.FeynmanDiagrams.Basic
 /-!
-# Operator ring
+
+# Operator algebra
 
 Currently this file is only for an example of Wick strings, correpsonding to a
 theory with two complex scalar fields. The concepts will however generalize.