Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
Cloud & Deployment
Core Language & Structure
Data Manipulation & Analysis
Engineering Data & Computation
External Interfaces & Connections
Financial Data & Computation
Geographic Data & Computation
Geometry
Graphs & Networks
Higher Mathematical Computation
Images
Knowledge Representation & Natural Language
Machine Learning
Notebook Documents & Presentation
Scientific and Medical Data & Computation
Social, Cultural & Linguistic Data
Strings & Text
Symbolic & Numeric Computation
System Operation & Setup
Time-Related Computation
User Interface Construction
Visualization & Graphics
Random Paclet
Alphabetical List
Using Paclets
Create a Paclet
Get Started
Download Definition Notebook
Learn More about
Wolfram Language
FormulaTransformEngine
Guides
FormulaTransformEngine
FormulaTransformEngine
Symbols
AddFormulaTransformRegistryPath
ApplyFormulaTransform
CompileFormulaHeuristicRule
CompileFormulaObligationDischarger
CompileFormulaStructuralTransform
CompileFormulaTargetPlanner
CompileFormulaTransformRule
FormulaTransformHandleRequest
FTMatchAlgebraicStructure
FTSolveParameters
GetFormulaTransformObligations
InspectFormulaTransformRegistry
PlanFormulaTransform
PlanFormulaTransformParts
ReloadFormulaTransformRegistry
AddFormulaTransformRegistryPath
ApplyFormulaTransform
CompileFormulaHeuristicRule
CompileFormulaObligationDischarger
CompileFormulaStructuralTransform
CompileFormulaTargetPlanner
CompileFormulaTransformRule
FormulaTransformHandleRequest
FTMatchAlgebraicStructure
FTSolveParameters
GetFormulaTransformObligations
InspectFormulaTransformRegistry
PlanFormulaTransform
PlanFormulaTransformParts
ReloadFormulaTransformRegistry
Lightmarey`FormulaTransformEngine`
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
H
a
n
d
l
e
R
e
q
u
e
s
t
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
H
a
n
d
l
e
R
e
q
u
e
s
t
[
a
r
g
s
]
解
析
并
分
派
一
个
外
部
f
o
r
m
u
l
a
_
t
r
a
n
s
f
o
r
m
请
求
关
联
。
更
多
信
息
和
选
项
▪
支持的 action 值为 apply、plan_apply、plan_parts、inspect_registry、reload_registry、compile_rule、compile_heuristic、compile_seed、compile_planner、compile_structural、compile_discharger、get_obligations 和 discharge_obligation。未知 action 会回退到 apply。
▪
变换动作接受 formula 和 rule 字符串,以及 direction、part、parameters、assumptions、context 和 state。编译动作从 payload 的 JSON 文本或兼容关联的载荷中读取描述符。
▪
参数:
a
r
g
s
A
s
s
o
c
i
a
t
i
o
n
请
求
字
段
和
字
符
串
编
码
的
工
具
输
入
。
▪
描述符字段:
a
c
t
i
o
n
S
t
r
i
n
g
分
派
动
作
;
默
认
值
为
a
p
p
l
y
。
f
o
r
m
u
l
a
I
n
p
u
t
F
o
r
m
字
符
串
a
p
p
l
y
/
p
l
a
n
动
作
必
需
。
r
u
l
e
S
t
r
i
n
g
除
p
l
a
n
_
p
a
r
t
s
外
均
为
必
需
。
p
a
y
l
o
a
d
J
S
O
N
字
符
串
编
译
动
作
使
用
的
描
述
符
。
d
i
r
e
c
t
i
o
n
/
p
a
r
t
S
t
r
i
n
g
变
换
方
向
和
部
分
选
择
器
。
p
a
r
a
m
e
t
e
r
s
/
c
o
n
t
e
x
t
A
s
s
o
c
i
a
t
i
o
n
或
J
S
O
N
字
符
串
结
构
化
请
求
数
据
。
a
s
s
u
m
p
t
i
o
n
s
/
c
o
n
t
e
x
t
S
t
r
i
n
g
自
然
语
言
证
据
。
s
t
a
t
e
I
n
p
u
t
F
o
r
m
字
符
串
序
列
化
的
变
换
状
态
。
范例
(
1
)
基本范例
(
1
)
I
n
[
1
]
:
=
N
e
e
d
s
[
"
L
i
g
h
t
m
a
r
e
y
`
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
E
n
g
i
n
e
`
"
]
分派一个注册表检查请求:
I
n
[
2
]
:
=
r
e
q
u
e
s
t
=
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
H
a
n
d
l
e
R
e
q
u
e
s
t
[
A
s
s
o
c
i
a
t
i
o
n
[
"
a
c
t
i
o
n
"
"
i
n
s
p
e
c
t
_
r
e
g
i
s
t
r
y
"
]
]
;
r
e
q
u
e
s
t
[
"
R
u
l
e
C
o
u
n
t
"
]
O
u
t
[
2
]
=
6
格式错误的请求返回结构化失败:
I
n
[
1
]
:
=
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
H
a
n
d
l
e
R
e
q
u
e
s
t
[
A
s
s
o
c
i
a
t
i
o
n
[
"
a
c
t
i
o
n
"
"
a
p
p
l
y
"
,
"
f
o
r
m
u
l
a
"
"
"
]
]
O
u
t
[
1
]
=
S
t
a
t
u
s
F
a
i
l
u
r
e
,
K
i
n
d
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
,
F
a
i
l
u
r
e
T
y
p
e
I
n
v
a
l
i
d
R
e
q
u
e
s
t
,
M
e
s
s
a
g
e
f
o
r
m
u
l
a
m
u
s
t
b
e
a
n
o
n
-
e
m
p
t
y
W
o
l
f
r
a
m
I
n
p
u
t
F
o
r
m
e
x
p
r
e
s
s
i
o
n
.
参
见
A
p
p
l
y
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
▪
P
l
a
n
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
▪
C
o
m
p
i
l
e
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
R
u
l
e
相
关
指
南
▪
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
E
n
g
i
n
e
"
"