Computes Delta_G(t_1,...,t_n) for a list of terms t_1,...,t_n and returns (u;s_1,...s_q) where u is a term containing the variables α_1,...,α_q and the lists s_1,...,s_q are the values which must be substituted for these α to get back the original t_1,...,t_n.
Computes Delta_G(t_1,...,t_n) for a list of terms t_1,...,t_n and returns (u;s_1,...s_q) where u is a term containing the variables α_1,...,α_q and the lists s_1,...,s_q are the values which must be substituted for these α to get back the original t_1,...,t_n.
For details, see gapt/doc/deltavector.tex, Chapter "Generalized Delta-Vector".
The terms t_1,...,t_n.
The name of the variables to insert into u. The default is "α".
The tuple (u:FOLTerm, s:List[List[FOLTerm]]). Replacing α_1,...,α_q with s[1][i],...,s[q][i] results in t_i.
The delta-vector which has no upper limit on the number of variables it may use in its decompositions.
Here [computeDelta] will return exactly one decompositions with an a priori unknown number of variables. Different terms will result in different numbers of variables being introduced.
The variables in the returned decompositions will be named [eigenvariable]_0,...