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
  • 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`
FormulaTransformHandleRequest
​
FormulaTransformHandleRequest[args]
解析并分派一个外部 formula_transform 请求关联。
​
更多信息和选项
▪
支持的 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 文本或兼容关联的载荷中读取描述符。
▪
参数:
args
Association
请求字段和字符串编码的工具输入。
▪
描述符字段:
action
String
分派动作;默认值为 apply。
formula
InputForm 字符串
apply/plan 动作必需。
rule
String
除 plan_parts 外均为必需。
payload
JSON 字符串
编译动作使用的描述符。
direction / part
String
变换方向和部分选择器。
parameters / context
Association 或 JSON 字符串
结构化请求数据。
assumptions / context
String
自然语言证据。
state
InputForm 字符串
序列化的变换状态。
​
范例  
(1)
基本范例  
(1)
In[1]:=
Needs["Lightmarey`FormulaTransformEngine`"]
分派一个注册表检查请求:
In[2]:=
request=
FormulaTransformHandleRequest
[Association["action""inspect_registry"]];request["RuleCount"]
Out[2]=
6
格式错误的请求返回结构化失败:
In[1]:=
FormulaTransformHandleRequest
[Association["action""apply","formula"""]]
Out[1]=
StatusFailure,KindFormulaTransform,FailureTypeInvalidRequest,Messageformula must be a non-empty Wolfram InputForm expression.
参见
ApplyFormulaTransform
▪
PlanFormulaTransform
▪
CompileFormulaTransformRule
相关指南
▪
FormulaTransformEngine
""

© 2026 Wolfram. All rights reserved.

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