FormulaTransformEngine/PacletInfo.wl at main · Lightmarey/FormulaTransformEngine · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
(* ::Package:: *)

PacletObject[
  <|
    "Name" -> "Lightmarey/FormulaTransformEngine",
    "Description" -> "Deterministic formula transformations for analysis expressions",
    "Creator" -> "Lightmarey",
    "URL" -> "https://github.com/Lightmarey/FormulaTransformEngine",
    "License" -> "BUSL-1.1",
    "PublisherID" -> "Lightmarey",
    "Version" -> "2.0.1",
    "WolframVersion" -> "15.0+",
    "PrimaryContext" -> "Lightmarey`FormulaTransformEngine`",
    "Category" -> "Mathematics",
    "Extensions" -> {
      {
        "Kernel",
        "Root" -> "FormulaTransformEngine",
        "Context" -> {"Lightmarey`FormulaTransformEngine`"},
        "Symbols" -> {
          "Lightmarey`FormulaTransformEngine`ApplyFormulaTransform",
          "Lightmarey`FormulaTransformEngine`PlanFormulaTransform",
          "Lightmarey`FormulaTransformEngine`FindFormulaTransforms",
          "Lightmarey`FormulaTransformEngine`FormulaTransform",
          "Lightmarey`FormulaTransformEngine`CompileFormulaTransformFamily",
          "Lightmarey`FormulaTransformEngine`CompileFormulaTransformMonotonicityDescriptor",
          "Lightmarey`FormulaTransformEngine`CompileFormulaTransformSource",
          "Lightmarey`FormulaTransformEngine`CreateFormulaTransformRegistry",
          "Lightmarey`FormulaTransformEngine`LoadFormulaTransformRegistry",
          "Lightmarey`FormulaTransformEngine`InspectFormulaTransformRegistry",
          "Lightmarey`FormulaTransformEngine`CreateFormulaTransformContext",
          "Lightmarey`FormulaTransformEngine`ValidateFormulaTransformDerivation",
          "Lightmarey`FormulaTransformEngine`CreateFormulaTransformCertificate",
          "Lightmarey`FormulaTransformEngine`FormulaTransformSteps",
          "Lightmarey`FormulaTransformEngine`CheckFormulaTransformEquivalence",
          "Lightmarey`FormulaTransformEngine`MeasureIntegral",
          "Lightmarey`FormulaTransformEngine`LpNorm",
          "Lightmarey`FormulaTransformEngine`CountingMeasure",
          "Lightmarey`FormulaTransformEngine`RegionMeasureObject",
          "Lightmarey`FormulaTransformEngine`LebesgueMeasure",
          "Lightmarey`FormulaTransformEngine`EuclideanMeasure",
          "Lightmarey`FormulaTransformEngine`AlmostEverywhere",
          "Lightmarey`FormulaTransformEngine`MemLp",
          "Lightmarey`FormulaTransformEngine`MemSobolev",
          "Lightmarey`FormulaTransformEngine`RiemannianVolumeMeasure",
          "Lightmarey`FormulaTransformEngine`RiemannianGradientEnergy",
          "Lightmarey`FormulaTransformEngine`SmoothCompactRiemannianManifold",
          "Lightmarey`FormulaTransformEngine`Boundaryless",
          "Lightmarey`FormulaTransformEngine`BoundaryPairing",
          "Lightmarey`FormulaTransformEngine`TransformParameter",
          "Lightmarey`FormulaTransformEngine`TheoremConstant",
          "Lightmarey`FormulaTransformEngine`PositiveMeasure",
          "Lightmarey`FormulaTransformEngine`IntegrableOn",
          "Lightmarey`FormulaTransformEngine`IntegrationByPartsAdmissible",
          "Lightmarey`FormulaTransformEngine`BoundaryValue",
          "Lightmarey`FormulaTransformEngine`Convolution",
          "Lightmarey`FormulaTransformEngine`DiscreteConvolution",
          "Lightmarey`FormulaTransformEngine`MeasureOf",
          "Lightmarey`FormulaTransformEngine`AEMeasurable",
          "Lightmarey`FormulaTransformEngine`TransformationFamily",
          "Lightmarey`FormulaTransformEngine`TransformationVariant",
          "Lightmarey`FormulaTransformEngine`TransformationDirection",
          "Lightmarey`FormulaTransformEngine`TargetRelation",
          "Lightmarey`FormulaTransformEngine`TargetEquivalence",
          "Lightmarey`FormulaTransformEngine`TransformationScope",
          "Lightmarey`FormulaTransformEngine`TransformationContext",
          "Lightmarey`FormulaTransformEngine`TransformationRegistry",
          "Lightmarey`FormulaTransformEngine`TransformationParameters",
          "Lightmarey`FormulaTransformEngine`TransformationTags",
          "Lightmarey`FormulaTransformEngine`TransformationPreference",
          "Lightmarey`FormulaTransformEngine`MaxDepth",
          "Lightmarey`FormulaTransformEngine`MaxStates"
        }
      },
      {"Documentation", "Language" -> All},
      {
        "Asset",
        "Root" -> ".",
        "Assets" -> {
          {"Registry", "Registry"},
          {"License", "LICENSE"},
          {"Readme", "README.md"},
          {
            "PrimitivesAndSyntax",
            "PRIMITIVES_AND_SYNTAX.md"
          }
        }
      }
    },
    "Keywords" -> {
      "symbolic transformation",
      "inequalities",
      "functional analysis",
      "proof obligations"
    },
    "Support" -> "https://github.com/Lightmarey/FormulaTransformEngine/issues"
  |>
]