LinkageDesigner Package Paclet SymbolSee Also »|More About »

TemplateEquation

TemplateEquation[ls] data container wraps the template and the solution of a pattern equation.
  • TemplateEquation is a new data type used in the PatternSolver function.
  • Every sub list of TemplateEquation database represent a record, identified by a string.
  • ID record is identified by "ID" string.
  • The following records are defined:
record identifierdescription
$TENameis the identifier of the template equation
$TEPatternis the pattern of the template equation in normal form
$TEParametersthe list of parameters used in the pattern.
$TEVariablesthe list of variables used in the pattern.
$TESolutionthe solution of the template equation defined as a list of rules.
$TEConditioncondition for the validity of the solution if any. Normally it specifies the condition of the real solution.
  • The pattern equations must be stored in normal form with respect to the variables of the pattern.
  • The format of the LinkageData object is -LinkageData, name-, where name is the identifier of the template equation.
EXAMPLESCLOSE ALL
Basic Examples   (1)
Load LinkageDesigner package.
In[1]:=
Click for copyable input
eq1 defines a simple template equation with $a, $b, $n pattern parameters and $tpattern variable
In[2]:=
Click for copyable input
CreateTemplateEquation defines a TemplateEquation data object
In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input
Out[4]=
CreateTemplateEquation fills out $Name, $Pattern, $Parameters, $Variablesrecord of the TemplateEquation data object
In[5]:=
Click for copyable input
Out[5]//TableForm=
The $Solution and $Condition records should be set to t1 TemplateEquation
In[6]:=
Click for copyable input
In[7]:=
Click for copyable input
t1 is now a complete TemplateEquation object:
In[8]:=
Click for copyable input
Out[8]//TableForm=