DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #246 from HEPLean/FeynmanDiagrams

Browse source 
chore: Rename wick ring to wick algebra
This commit is contained in:
Joseph Tooby-Smith 2024-11-25 10:40:02 +00:00 • committed by GitHub
commit 8324c95451
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
HepLean.lean
View file

@ -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

3
HepLean/FeynmanDiagrams/Wick/Ring.lean → HepLean/FeynmanDiagrams/Wick/Algebra.lean
View file

@ -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.