Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Lightmarey`FormulaTransformEngine`
ApplyFormulaTransform  |
|
| | ||||
|
| | ||||
▪
结果为 Association。成功结果包含 Status、Kind、Rule、Direction、Relation、Conditions、Obligations、State、Trace、Original、Selected、Part 和 PartPath。
▪
规则名先在已编译的规范规则中解析，再在结构变换中解析。未知名称返回 FailureType -> "UnsupportedRule"。
▪
变换是确定性的：它不会调用大语言模型，也不会执行注册表 JSON 中的任意代码。
▪
参数:
rule | String | 已编译规则或结构变换的名称。 | |
opts | Options | 下表列出的任意通用变换选项。 | |
expr | Expression 或 HoldComplete | 从中选择目标部分并执行变换的完整表达式。 |
▪
可以使用下列选项：
"Direction" | "Auto" | 请求的方向：Auto、Upper、Lower、TwoSided 或 Equal。 | |
"Part" | "Whole" | 表达式选择器：Whole、Auto、整数路径、列表路径或 Named:name。 | |
"Parameters" | <||> | 规则参数、targetRelation/targetPattern，以及可选的 namedParts。 | |
"Assumptions" | True | 检查变换条件时使用的符号假设。 | |
"AssumptionsText" | "" | 证明义务消解器使用的自然语言假设证据。 | |
"Context" | <||> | 传给引擎的结构化分析上下文。 | |
"ContextText" | "" | 证明义务消解器使用的自然语言上下文证据。 | |
"State" | FormulaTransformState | 包含轨迹和延迟证明义务的初始状态关联。 |
范例
(1)
基本范例
(1)
In[1]:=
Needs["Lightmarey`FormulaTransformEngine`"]
应用分部积分并返回所得等式：
In[2]:=
result=
["IntegrationByParts","Direction""Equal"]∫[x]v[x]domain;result["Relation"]
 | ApplyFormulaTransform |
′
u
Out[2]=
∫v[x][x]domainLightmarey`FormulaTransformEngine`Private`BoundaryTerm[u,v[x],domain]-Lightmarey`FormulaTransformEngine`Private`IBPIntegral[u,v[x],domain]
′
u
可以直接传入保持求值的输入；完整表达式的部分路径为空：
In[1]:=
result=
["IntegrationByParts","Direction""Equal"]HoldComplete∫[x]v[x]domain;result["PartPath"]
| ApplyFormulaTransform |
′
u
Out[1]=
{}
使用 Part 选择一个子表达式：
In[2]:=
result=
["IntegrationByParts","Direction""Equal","Part""2"]1+∫[x]v[x]domain;result["Selected"]
| ApplyFormulaTransform |
′
u
Out[2]=
∫v[x][x]domain
′
u
未知规则返回结构化失败：
In[3]:=
 | ApplyFormulaTransform |
Out[3]=
StatusFailure,KindFormulaTransform,FailureTypeUnsupportedRule,MessageUnknown formula transform rule: NoSuchRule
""