本程序包用于补充 FeynCalc 程序包，以使得光锥运算更加方便。
本程序包在大多数情况下依赖 FeynCalc 的外部表示和特定于版本的特性，请确保您的 FeynCalc 的版本与 CHYLightConeUtils 的版本相兼容。
CHYLightConeUtils 版本 | FeynCalc 推荐版本
---|---
0.2-alpha | 10.1.0
请在导入 FeynCalc 后导入本程序包。你可以使用
Needs["CHYLightConeUtils`"];
来导入程序包。或者如果需要指定程序包路径
Needs["CHYLightConeUtils`","Path of this package .wl file"];
一个在线的路径为 https://www.cihaoyi.com/CHYLightConeUtils/CHYLightConeUtils.wl ，或者使用 https://www.cihaoyi.com/CHYLightConeUtils/CHYLightConeUtils-<version>.wl 来获取特定版本的。当前，存在以下版本别名：
latest：表示最新的稳定版本（如果稳定版不存在，则指向最新的推荐版本）。您可以始终使用在线地址获取最新的推荐版本。
你最好在导入程序包前，声明本程序所使用的内置变量 $CHYLCUDefaultLightconeVectorN、$CHYLCUDefaultLightconeVectorNB 和 $CHYLCUDefaultParallelVectorV，否则其默认值将为 $FCDefaultLightconeVectorN、$FCDefaultLightconeVectorNB、FCGV["v"]。你可以使用如下代码设置其默认值（请注意，你需要明确声明命名空间 CHYLightConeUtils` ）
CHYLightConeUtils`$CHYLCUDefaultLightconeVectorN(*=$FCDefaultLightconeVectorN*)= n;
CHYLightConeUtils`$CHYLCUDefaultLightconeVectorNB(*=$FCDefaultLightconeVectorNB*)= nb;
CHYLightConeUtils`$CHYLCUDefaultParallelVectorV = v;
Needs["CHYLightConeUtils`"];
注意，如果你一并设置 $FCDefaultLightconeVectorN 和 $FCDefaultLightconeVectorNB 将会导致 FeynCalc 程序包启用强制排序，光锥分量 n 将将会被强制排序到 nb 之前。由于 Gamma 矩阵的非对异性，运算结果将"看起来"有所不同，但实际上等价。
$$ n\dot n=0, \bar{n}\cdot \bar{n} =0, n\cdot \bar{n}=2 $$
$$ v\cdot n=1, v\cdot \bar{n}=1, v\cdot v=1 $$
在程序中，$n$ 为 $CHYLCUDefaultLightconeVectorN 的值，$\bar{n}$ 为 $FCDefaultLightconeVectorNB，$v$ 为 $CHYLCUDefaultParallelVectorV 的值。
如果您想阻止程序包自动定义如上关系，请在程序包导入之前声明 CHYLightConeUtils`$CHYLCUEnableLightConeRelation=False。
无
GAL[u_,n_,nb_]，GALD[u_,n_,nb_]，分别为 4 维和 D 维下的 Gamma 矩阵的光锥分解（组件）。其中 u_ 为 Gamma 矩阵的指标，n_ 和 nb_ 分别是平行分量和反平行分量的基底符号
LCR[\[Mu]_,\[Nu]_,n_,nb_]，LCRD[\[Mu]_,\[Nu]_,n_,nb_]，分别为 4 维和 D 维下的 Levi-Civita 符号的垂直分量，即 $\epsilon^{\mu \nu}_{\perp}$ 或 $\epsilon^{\mu \nu}\cdot n \cdot \bar{n}$
EpsIndexDeduplicate[expr_]，去除包含重复指标（或动量）的Levi-Civita符号
GetLowestNPowerList[expr_,var_,n_]，获取表达式关于指定变量的最低 N 阶非零幂项的列表。n 从 0 开始。
例如，对于表达式 $a x^2+c x^4$
GetLowestNPowerList[a x^2+c x^4,x,0]
的结果为 {a}，
GetLowestNPowerList[a x^2+c x^4,x,1]
的结果为 {a, b}。
ToLightConeComponents 的缩写
Momentum2LightConeCompoent[expr_,momenta_List]，对表达式 expr 中的动量进行光锥分解。当 momenta 参数为空列表或不给出时，将分解所有的动量；否则将只分解位于列表中的动量。
一个可选的方式是使用 Momentum2LightConeCompoentReplacement[args_List,n_,nb_,all_] 这个 Rule 列表，但这不是一个常规的使用方式，不推荐。
Gamma2LightConeConeCompoent[expr_,indexs_List] 对表达表达式中的Gamma矩阵光锥分解，当 indexs 参数为空列表或不给出时，将分解所有 Gamma 矩阵；否则将只分解位于列表中的指标或动量。
SpliteSlash2Gamma[expr_] 将Slash的 Gamma矩阵（即 GSD[p]）与动量拆分为指标所并的形式，会生成唯一指标并应用 DotSimplify。