print/MHypergeom¶

pretty printer for Mahlerian hypergeometric functions¶

Calling sequence:¶

$\operatorname{MHypergeom}(g, x, b)$

Parameters:¶

  • $g$, a nonzero ramified rational function
  • $x$, the variable,
  • $b$, the radix of the Mahler operator

Description:¶

  • $\operatorname{print/MHypergeom}$ is a pretty printer for the Mahlerian hypergeometric elements.

Example:¶

In [1]:
libname := libname, FileTools:-JoinPath(["maple","lib","dcfun.mla"],base=homedir):
In [2]:
 with(dcfun):
Out[2]:

For a Mahlerian hypergeometric element, it is usual to see it essentially as an infinite product.

In [3]:
 y := MHypergeom(2*x*(3 + 4*x), x, 5);
Out[3]:

$$\ln \! \left(\frac{1}{x}\right)^{\frac{\ln \left(6\right)}{\ln \left(5\right)}} x^{\frac{1}{4}} \left(\overset{\infty}{\underset{\textit{\_k1} =0}{\textcolor{gray}{\prod}}}\! \frac{3}{3+4 x^{5^{\textit{\_k1}}}}\right)$$

But the hypergeometric structure is keeped in the Maple expression.

In [4]:
 lprint(y);
Out[4]:

$$$$