Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Lightmarey`FormulaTransformEngine`
InspectFormulaTransformRegistry  |
|
| | ||||
▪
快照涵盖规范规则、启发式规则、估计种子、结构变换、目标规划器和证明义务消解器。
▪
此函数不会重新加载文件，也不会修改注册表状态。
范例
(1)
基本范例
(1)
In[1]:=
Needs["Lightmarey`FormulaTransformEngine`"]
查看按注册表类型分组的名称：
In[2]:=
registry=
[];registry["RegistryKinds"]
 | InspectFormulaTransformRegistry |
Out[2]=
CanonicalFormulaTransform{CauchySchwarz,DivergenceTheoremIBP,GreenFirstIdentity,Holder,IntegrationByParts,Young,ExampleEquality},HeuristicRewrite{MultiplyByOne,SplitSqrt,ExampleHeuristic},EstimateSeed{Poincare,Sobolev},StructuralTransform{CommutatorDerivative,DerivativeProduct,DropBoundaryTerm,NormalizeByFactor,ExampleStructural},TargetPlanner{WeightedHolder,YoungAbsorption,ExamplePlanner},ObligationDischarger{BoundaryVanishes,FunctionSpaceRegularityDeclaration,NormalizationDeclaration,RealValuedDeclaration,ExampleDischarger}
列出注册表类型：
In[1]:=
Keys
[]["RegistryKinds"]
| InspectFormulaTransformRegistry |
Out[1]=
{CanonicalFormulaTransform,HeuristicRewrite,EstimateSeed,StructuralTransform,TargetPlanner,ObligationDischarger}
可查询允许的失败类型：
In[2]:=
MemberQ
[]["AllowedFailureTypes"],"InvalidRequest"
 | InspectFormulaTransformRegistry |
Out[2]=
True
""