Next: , Previous: , Up: Complex Functions   [Index]


5.10 Modular Functions

The following function is experimental, not least because it depends on the equally experimental ball arithmetic, see Ball Arithmetic. So its prototype may change in future releases, and it may be removed altogether.

Function: int mpc_eta_fund (mpc_t rop, const mpc_t op, mpc_rnd_t rnd)

Assuming that the argument op lies in the fundamental domain for Sl_2(Z), that is, it has real part not below -1/2 and not above +1/2 and absolute value at least 1, return the value of the Dedekind eta-function in rop. For arguments outside the fundamental domain the function is expected to loop indefinitely.