Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Lightmarey`FormulaTransformEngine`
CompileFormulaStructuralTransform  |
|
| | ||||
▪
结构变换用于表达乘积法则展开、规范化等操作，在不引入不等式估计的情况下重组表达式结构。
▪
编译过程只接受声明式数据。可执行构造、未知编译原语、未绑定模板槽和不一致的方向都会被拒绝。
▪
成功时返回包含 Status -> "Compiled"、Kind -> "FormulaStructuralTransform"、Name、规范化字段和 Raw 的关联。无效输入返回 Status -> "Failure"、FailureType -> "InvalidRuleJSON" 以及 Issues 列表。
▪
参数:
json | Association | 描述符字段如下表所示。 |
▪
描述符字段:
name | String，必需 | 注册表名称。 | |
runtime | String，必需 | 结构运行时；默认使用 name。 | |
appliesTo | 字符串列表 | 支持的表达式族。 | |
matchers | List | 结构匹配器。 | |
orientations | List | 仅等式关系的变换模板。 | |
conditions | List | 所需的数学条件。 | |
derivedBindings | Association | 由匹配槽计算的绑定。 | |
parameterExpressions | 字符串列表 | 按表达式解析的参数。 |
范例
(1)
基本范例
(1)
In[1]:=
Needs["Lightmarey`FormulaTransformEngine`"]
编译并注册一个最小有效描述符：
In[2]:=
 | CompileFormulaStructuralTransform |
Out[2]=
StatusCompiled,KindFormulaStructuralTransform,HeadCompiledFormulaStructuralTransform,RegistryKindStructuralTransform,NameExampleStructural,RuntimeGenericStructural,AppliesTo{ProductRule},Matchers{},Orientations{},Conditions{},DerivedBindings,ParameterExpressions{},RawkindStructuralTransform,nameExampleStructural,runtimeGenericStructural,appliesTo{ProductRule},matchers{},orientations{}
无效描述符返回结构化诊断，而不会执行任意代码：
In[1]:=
| CompileFormulaStructuralTransform |
Out[1]=
StatusFailure,KindFormulaTransform,FailureTypeInvalidRuleJSON,MessageStructural transform JSON was rejected.,Issues{name must be a non-empty string.,runtime must be a non-empty string.},StructuralTransform
""