FUNCTION : jacbase - q-base of a jacprod
CALLING SEQUENCE : jacbase()
jacbase(jacprod)
PARAMETERS : jacprod - quotient of generalized eta-functions
SYNOPSIS :
jacprod is a quotient of generalized eta-functions encoded
in terms of JAC(b,a). The lcm of the set of a present is returned.
We call this lcm the q-base. This means that the jacprod
can be rewritten as a product of JAC(b,a) where a is the q-base.
EXAMPLES :
> with(qseries):
> with(thetaids):
> jacbase();
-------------------------------------------------------------
jacbase(jacterm)
jacterm is weight zero quotient of theta functions written
in terms of JAC(a,b,infinity). It may also involve a
power of q. It returns the base if jacprodmake is used
correctly.
-------------------------------------------------------------
> jacterm:=q^(749/24)*JAC(0, 10, infinity)*JAC(0, 120, infinity)^3
*JAC(0, 360, infinity)*JAC(1, 3, infinity)*JAC(2, 6, infinity)
*JAC(3, 10, infinity)*JAC(4, 12, infinity)*JAC(8, 20, infinity)^3;
/749\
|---|
\24 / 3
jacterm := q JAC(0, 10, infinity) JAC(0, 120, infinity)
JAC(0, 360, infinity) JAC(1, 3, infinity) JAC(2, 6, infinity)
3
JAC(3, 10, infinity) JAC(4, 12, infinity) JAC(8, 20, infinity)
> rmcofjac(jacterm);
3
JAC(0, 10, infinity) JAC(0, 120, infinity) JAC(0, 360, infinity)
JAC(1, 3, infinity) JAC(2, 6, infinity) JAC(3, 10, infinity)
3
JAC(4, 12, infinity) JAC(8, 20, infinity)
> jacbase(%);
360
DISCUSSION :
This means the given jacterm can be written as a product of JAC(b,360).
SEE ALSO : jacnormalid, jacprodmake, jcombobase