The delta-vector which only returns decompositions with exactly [numVars] variables.
The delta-vector which only returns decompositions with exactly [numVars] variables.
Since decompositions with exactly [numVars] variables might not exist, [computeDelta] might return 0 decompositions, and since many might exist, it might return more than one for a given set of terms.
The variables in the returned decompositions will be named [eigenvariable]_0,...
For details, see doc/deltavector.tex, Section "bounded generalized Delta-Vector".
The delta-vector which uses at most one variable in its decompositions.
The delta-vector which uses at most one variable in its decompositions.
[OneVariableDelta] will return exactly one decomposition; if all terms are equal, it will return simply the first term for u and Nil for s. If they are not equal, it will return some u and an S consisting s-vectors of size 1.
The variable in the returned decomposition -- if it occurrs -- will be named [eigenvariable]_0.
The delta-vector which has no upper limit on the number of variables it may use in its decompositions.
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,...
Contains the implementations for the various delta-vectors.