리 군
formula_13은 단순 리 군 E8의 근계 격자인 유니모듈러 격자이다.