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`
CompileFormulaTransformSource
​
CompileFormulaTransformSource[path_String]
​
​
-- compile a restricted Markdown and YAML rule source.
​
Details
▪
Return contract: Returns a compiled family or descriptor with SourceFile and exact FormulaSpans attached.
▪
Failure contract: Returns a source-located Failure with File, Line, Column, Span, and schema Path whenever possible.
▪
Only YAML frontmatter is executable rule data. The Markdown body is explanatory text and may contain LaTeX.
Compile one tracked author source.
CompileFormulaTransformSource
["Registry/Sources/Holder.ftr.md"]
<|Status->Compiled,SourceFile->Registry/Sources/Holder.ftr.md,Variants->{...},...|>
Diagnostics point back to the source file.
CompileFormulaTransformSource
["Tests/Fixtures/InvalidResultSyntax.ftr.md"]
Failure[InvalidRuleIR,<|File->...,Line->...,Column->...,Path->Variants[1].Result,...|>]
CompileFormulaTransformFamily
CompileFormulaTransformMonotonicityDescriptor
LoadFormulaTransformRegistry
""

© 2026 Wolfram. All rights reserved.

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