Voa

OPEdefs 索引文件

优点: 高性能，适用于复杂的 OPE、NO 计算 OPEdefs-index

源文件 OPEdefs.wls

CRITICAL WARNING

使用 OPEdefs.wls 时，算符声明的顺序与 OPE 声明中的顺序必须保持一致，否则 Wolfram Script 会出现计算结果错误

例子

Bosonic[A, B] (* A first, B after *)
OPE[A, A] = MakeOPE[{One, 0}];
OPE[A, B] = MakeOPE[{2B}]; (* CORRECT order *); 
(* WRONG order OPE[B, A] = MakeOPE[{2B}]; WRONG order *); 
OPE[B, B] = MakeOPE[{-One, 0}];

例子

Bosonic[A] (* A first *)
Fermionic[B] (* B after *)
OPE[A, A] = MakeOPE[{One, 0}];
OPE[A, B] = MakeOPE[{2B}]; (* CORRECT order *); 
(* WRONG order OPE[B, A] = MakeOPE[{2B}]; WRONG order *); 
OPE[B, B] = MakeOPE[{-One, 0}];

pyope-voa 索引文件

优点: 功能丰富，附带计算后端切换、Wolfram 批量规范化、Zhu's $C_2$ 代数、Zhu's 代数、有限维结合代数、associate variety、descendant 空间、null states 等功能模块

快速开始: pyope-quick-start

• 优先使用本地版本 pyope：~/pyope

• Fallback: 若本地版本不存在，安装: pip install pyope-voa

pyope-voa 使用提醒

• clear_registry() 清空算符注册表，用于重新声明算符，可以在所有声明前使用
• 用 simplify_with_wolfram(expr) 显式调用 Wolfram 端规范化做化简，可以传递以 operator 为中心的嵌套 list/tuple/dict 等载荷
• 使用 set_compute_backend("wolfram", max_workder_number=X) 让以下函数自动调用 X 个 wolfram 后端进行并行计算
• 若生成元含有非正 conformal weight，构造 LocalOperatorBasis 时必须提供 max_occurence
• 需要自定义 SymPy/LaTeX 显示时，可使用 BasicOperator(..., latex=...)、RealizedGenerator(..., latex=...)，或者创建后用 .set_latex(r"\beta")

  clear_registry()
  b = BasicOperator('b', fermionic=True, conformal_weight=Fraction(2))
  GW = b
  (GW,) = make_realized([GW])
  GW.set_latex(r"G_W")
  

• 需要研究 Zhu's 代数或有限维商代数时，优先查 GenericZhuReducer、ZhuSpace、build_finite_dimensional_algebra
• 需要研究 C_2 商、null states、singularity 约束时，优先查 GenericC2Reducer、QuotientC2NullSearcher、SingularVectorAnalyzer

模块文档的索引: pyope-index

wls Coding convention

1. CRITICAL: 多行表达式必须用括号 () 括起来作为一个整体

   var = (term1
          + term2
          + term3
          + ...)
   

   否则 Wolfram Script 可能会误解表达式的结构，将第二行以及之后的行当成新的表达式，导致语法错误或计算错误
2. 函数要用中括号 [arg1, arg2, ...] 包裹 arguments
3. 注意: 变量名、argument 名字不能加下划线，除非是 pattern
4. 下划线代表 pattern，小心使用，例如 var_ 是一个 pattern，可以匹配任何名字的变量，而 var 是一个具体的变量名