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

docs: Add todos

Browse source
This commit is contained in:
jstoobysmith 2024-07-09 16:31:26 -04:00
parent 4c0291ae7b
commit b5a22f9685
10 changed files with 14 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

8
HepLean/AnomalyCancellation/Basic.lean
View file

@ -13,12 +13,10 @@ This file defines the basic structures for the anomaly cancellation conditions.
It defines a module structure on the charges, and the solutions to the linear ACCs.
## TODO
- Derive ACC systems from gauge algebras and fermionic representations.
- Relate ACCSystems to algebraic varieties.
-/
/-! TODO: Derive an ACC system from a guage algebra and fermionic representations. -/
/-! TODO: Relate ACC Systems to algebraic varieties. -/
/-! TODO: Refactor whole file, and dependent files. -/
/-- A system of charges, specified by the number of charges. -/
structure ACCSystemCharges where