Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Lightmarey`FormulaTransformEngine`
PlanFormulaTransform  |
|
| | ||||
▪
计划功能与 ApplyFormulaTransform 使用相同的选择、方向、参数、假设、上下文和状态模型。
▪
成功的计划记录 RegistryMutation -> False，并返回拟议关系、条件、证明义务、轨迹和所选部分。
▪
参数:
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]:=
plan=
["IntegrationByParts","Direction""Equal"]∫[x]v[x]domain;plan["Relation"]
 | PlanFormulaTransform |
′
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]:=
 | PlanFormulaTransform |
Out[1]=
StatusFailure,KindFormulaTransform,FailureTypeUnsupportedRule,MessageUnknown formula transform rule: NoSuchRule
在显式部分路径上规划变换：
In[2]:=
plan=
["IntegrationByParts","Direction""Equal","Part""2"]1+∫[x]v[x]domain;plan["PartPath"]
| PlanFormulaTransform |
′
u
Out[2]=
{2}
""