FUNCTION : qseries[findhom] - finds a set of potential non-homogeneous
relations among a list of q-series.
CALLING SEQUENCE : findnonhom(L,q,n,topshift)
PARAMETERS : L - list of q-series
q - variable
n - positive integer
topshift - integer greater than -20
GLOBAL VARIABLE : X
SYNOPSIS :
findnonhom(L,q,n,topshift) returns a set of potential non-homogenous
relations of order n among the q-series in the list L. The value of
topshift is usually taken to be zero. However if it appears that
spurious relations are being generated then a higher value of
topshift should be taken.
This program is similar to findhom.
NOTE: There is a global variable X that is reassigned each time the
function is called. This variable is used to display the relations.
EXAMPLES :
DISCUSSION :
From the session above we see that there is no linear relation between
the functions
theta3(q), theta4(q), theta3(q^2) and theta4(q^2).
However, it appears that there are two quadratic relations.
/ 2 2\1/2
2 |theta3(q) + theta4(q) |
theta3(q ) = |-----------------------|
\ 2 /
and
2 1/2
theta4(q ) = (theta3(q) theta4(q)).
SEE ALSO : findnonhom