Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • 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
    • 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`
ReloadFormulaTransformRegistry
​
ReloadFormulaTransformRegistry[]
在当前内核中清空并重新加载所有内置、用户和自定义 JSON 注册表文件。
​
更多信息和选项
▪
结果包含 Status、Kind、Loaded 下各类型文件数、Registered 下的注册条目数、Failures 列表,以及完整的 Registry 快照。
▪
仅当发现的所有注册表文件都编译成功时,Status 才为 Success。每项失败都会记录注册表类型、文件路径和结构化编译结果。
▪
若要包含其他注册表根目录,应先调用 AddFormulaTransformRegistryPath,再重新加载。
​
范例  
(1)
基本范例  
(1)
In[1]:=
Needs["Lightmarey`FormulaTransformEngine`"]
重新加载注册表文件并报告成功注册的条目:
In[2]:=
reload=
ReloadFormulaTransformRegistry
[];reload["Registered"]
Out[2]=
Rules6,Heuristics2,EstimateSeeds2,StructuralTransforms4,TargetPlanners2,ObligationDischargers4
检查逐文件编译失败;内置注册表返回空列表:
In[1]:=
reload=
ReloadFormulaTransformRegistry
[];reload["Failures"]
Out[1]=
{}
返回的快照标识了包:
In[2]:=
ReloadFormulaTransformRegistry
[]["Registry","Package"]
Out[2]=
FormulaTransformEngine
参见
InspectFormulaTransformRegistry
▪
AddFormulaTransformRegistryPath
相关指南
▪
FormulaTransformEngine
""

© 2026 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com