Distinguished Rho Positivity

Back home

Project Info

Article: arXiv
Authors: Alexander Bertoloni Meli, Teruhisa Koshikawa, Jonathan Leake

Resources

Code

• All code: src.zip
• Check positivity of a single rho: pos-check-parallel.py
• Check positivity of distinguished rho for E8: pos-check-parallel-E8.py
• Compute non-positivity data: non-pos-weyl-elements.py

Non-positivity data (see readme.txt)

• All data: non-positivity-data.zip
• G2: G2.txt
• F4: F4.txt
• E6: E6.txt
• E7: E7.txt
• E8: E8.txt