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
Authoring .ftr.md Rules
FormulaTransformEngine
Formula Transform Workflow
Symbols
AddFormulaTransformRegistryPath
ApplyFormulaTransform
CompileFormulaHeuristicRule
CompileFormulaObligationDischarger
CompileFormulaStructuralTransform
CompileFormulaTargetPlanner
CompileFormulaTransformRule
FormulaTransformHandleRequest
FTMatchAlgebraicStructure
FTSolveParameters
GetFormulaTransformObligations
InspectFormulaTransformRegistry
PlanFormulaTransform
PlanFormulaTransformParts
ReloadFormulaTransformRegistry
AddFormulaTransformRegistryPath
AEMeasurable
AlmostEverywhere
ApplyFormulaTransform
Boundaryless
BoundaryPairing
BoundaryValue
CheckFormulaTransformEquivalence
CompileFormulaHeuristicRule
CompileFormulaObligationDischarger
CompileFormulaStructuralTransform
CompileFormulaTargetPlanner
CompileFormulaTransformFamily
CompileFormulaTransformMonotonicityDescriptor
CompileFormulaTransformRule
CompileFormulaTransformSource
Convolution
CountingMeasure
CreateFormulaTransformCertificate
CreateFormulaTransformContext
CreateFormulaTransformRegistry
DiscreteConvolution
EuclideanMeasure
FindFormulaTransforms
FormulaTransformHandleRequest
FormulaTransform
FormulaTransformSteps
FTMatchAlgebraicStructure
FTSolveParameters
GetFormulaTransformObligations
InspectFormulaTransformRegistry
IntegrableOn
IntegrationByPartsAdmissible
LebesgueMeasure
LoadFormulaTransformRegistry
LpNorm
MeasureIntegral
MeasureOf
MemLp
MemSobolev
PlanFormulaTransform
PlanFormulaTransformParts
PositiveMeasure
RegionMeasureObject
ReloadFormulaTransformRegistry
RiemannianGradientEnergy
RiemannianVolumeMeasure
SmoothCompactRiemannianManifold
TheoremConstant
TransformParameter
ValidateFormulaTransformDerivation
Lightmarey`FormulaTransformEngine`
R
e
l
o
a
d
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
R
e
g
i
s
t
r
y
R
e
l
o
a
d
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
R
e
g
i
s
t
r
y
[
]
在
当
前
内
核
中
清
空
并
重
新
加
载
所
有
内
置
、
用
户
和
自
定
义
J
S
O
N
注
册
表
文
件
。
更
多
信
息
和
选
项
▪
结果包含 Status、Kind、Loaded 下各类型文件数、Registered 下的注册条目数、Failures 列表,以及完整的 Registry 快照。
▪
仅当发现的所有注册表文件都编译成功时,Status 才为 Success。每项失败都会记录注册表类型、文件路径和结构化编译结果。
▪
若要包含其他注册表根目录,应先调用 AddFormulaTransformRegistryPath,再重新加载。
范例
(
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
l
o
a
d
=
R
e
l
o
a
d
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
R
e
g
i
s
t
r
y
[
]
;
r
e
l
o
a
d
[
"
R
e
g
i
s
t
e
r
e
d
"
]
O
u
t
[
2
]
=
R
u
l
e
s
6
,
H
e
u
r
i
s
t
i
c
s
2
,
E
s
t
i
m
a
t
e
S
e
e
d
s
2
,
S
t
r
u
c
t
u
r
a
l
T
r
a
n
s
f
o
r
m
s
4
,
T
a
r
g
e
t
P
l
a
n
n
e
r
s
2
,
O
b
l
i
g
a
t
i
o
n
D
i
s
c
h
a
r
g
e
r
s
4
检查逐文件编译失败;内置注册表返回空列表:
I
n
[
1
]
:
=
r
e
l
o
a
d
=
R
e
l
o
a
d
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
R
e
g
i
s
t
r
y
[
]
;
r
e
l
o
a
d
[
"
F
a
i
l
u
r
e
s
"
]
O
u
t
[
1
]
=
{
}
返回的快照标识了包:
I
n
[
2
]
:
=
R
e
l
o
a
d
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
R
e
g
i
s
t
r
y
[
]
[
"
R
e
g
i
s
t
r
y
"
,
"
P
a
c
k
a
g
e
"
]
O
u
t
[
2
]
=
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
E
n
g
i
n
e
参
见
I
n
s
p
e
c
t
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
R
e
g
i
s
t
r
y
▪
A
d
d
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
R
e
g
i
s
t
r
y
P
a
t
h
相
关
指
南
▪
F
o
r
m
u
l
a
T
r
a
n
s
f
o
r
m
E
n
g
i
n
e
"
"