Represents the vector Delta(t_1,...,t_n), i.e. one row of the Delta-table
(for details, see gapt/doc/deltavector.tex, Chapter "Generalized Delta-Vector").
A delta-vector computes the common structure and the differences between the terms of a termset.
This is realized by returning a set of tuples (u,S), where u is a term containing the parts
common to all supplied terms. It contains numbered eigenvariables where the terms diverged.
S is a list of lists (one list for each introduced eigenvariable), which contains the
lists of different terms which must be substituted for the eigenvariables to get the
original termset.
Each member of the returned set is a valid decomposition, though, depending on the
kind of delta vector, this set may contain 0, 1, or many elements.
Represents the vector Delta(t_1,...,t_n), i.e. one row of the Delta-table (for details, see gapt/doc/deltavector.tex, Chapter "Generalized Delta-Vector").
A delta-vector computes the common structure and the differences between the terms of a termset. This is realized by returning a set of tuples (u,S), where u is a term containing the parts common to all supplied terms. It contains numbered eigenvariables where the terms diverged. S is a list of lists (one list for each introduced eigenvariable), which contains the lists of different terms which must be substituted for the eigenvariables to get the original termset.
Each member of the returned set is a valid decomposition, though, depending on the kind of delta vector, this set may contain 0, 1, or many elements.