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`
FTMatchAlgebraicStructure
​
FTMatchAlgebraicStructure[expr,template]
将 expr 与包含 $ 前缀槽的代数模板字符串匹配。
​
更多信息和选项
▪
每个形如 $a 的不同符号都会变成具名 Blank 模式。第一个匹配以槽名到表达式的关联返回。
▪
解析错误或没有匹配时返回 $Failed。
▪
参数:
expr
Expression
待匹配的表达式。
template
String
包含 $a 等槽的 InputForm 代数模板。
​
范例  
(1)
基本范例  
(1)
In[1]:=
Needs["Lightmarey`FormulaTransformEngine`"]
从乘积中提取绑定:
In[2]:=
FTMatchAlgebraicStructure
[3x,"$coefficient*$factor"]
Out[2]=
$coefficient3,$factorx
槽可以匹配复合代数结构:
In[1]:=
FTMatchAlgebraicStructure
[x+y,"$a+$b"]
Out[1]=
$ax,$by
表达式不匹配时返回 $Failed:
In[2]:=
FTMatchAlgebraicStructure
[x,"$a+$b"]
Out[2]=
$Failed
参见
FTSolveParameters
▪
CompileFormulaTargetPlanner
相关指南
▪
FormulaTransformEngine
""

© 2026 Wolfram. All rights reserved.

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