Lightmarey/FormulaTransformEngine

FormulaTransformEngine 指南

FormulaTransformEngine 为保持求值的数学表达式提供确定性的注册表驱动变换。变换结果显式保留条件、延迟证明义务、执行轨迹和状态。该程序包还支持目标引导的规划和经过验证的扩展注册表。

— 以确定性方式对 expr 应用具名变换规则。

— 预览一次由目标引导的规则应用，并且不修改注册表。

— 查找与目标匹配的部分，并可对每个候选预览规则。

— 验证声明式公式变换规则，并注册其匹配器、方向、条件和参数默认值。

— 验证并注册确定性的预处理重写，用于生成或排序变换候选。

— 验证并注册保持等式关系的结构变换，其中包含具名运行时和结构匹配器。

— 验证并注册目标规划器，根据请求的目标关系推导变换参数。

— 验证并注册证据驱动的消解策略，用于处理指定类型的证明义务。

— 返回当前注册表的名称、数量、类型和允许的失败类型。

— 在当前内核中清空并重新加载所有内置、用户和自定义 JSON 注册表文件。

— 把 path 追加到自定义注册表搜索根目录，并返回更新后的列表。

— 返回变换状态中保存的延迟证明义务。

— 解析并分派一个外部 formula_transform 请求关联。

— 将 expr 与包含 $ 前缀槽的代数模板字符串匹配。

— 代入已知绑定后求解参数方程。

""