FLINT3.7.0-dev

acb_theta_jet_notransform

Synopsis#include <flint/acb_theta.h>
void acb_theta_jet_notransform(acb_ptr th, acb_srcptr zs, slong nb, const acb_mat_t tau, slong ord, ulong ab, int all, int sqr, slong prec)source

Same as acb_theta_jet, but without reducing (z,τ)(z, \tau); the input should already be reduced.

Before calling acb_theta_ql_jet, the function uses these formulas:

  • if ord is zero and all and sqr are nonzero, the duplication formula θa,b(z,τ)2=∑a′(−1)a′Tbθa′,0(0,2τ)θa+a′,0(2z,2τ)\theta_{a,b}(z,\tau)^2 = \sum_{a'} (-1)^{a'^T b} \theta_{a',0}(0,2\tau) \theta_{a+a',0}(2z,2\tau), which needs only the 2g2^g functions θa,0\theta_{a,0} at 2τ2\tau;
  • if all is zero and ab is zero, θ0,0(z,τ)=∑aθa,0(2z,4τ)\theta_{0,0}(z,\tau) = \sum_{a} \theta_{a,0}(2z, 4\tau);
  • if all is zero and ab is nonzero, θa,b(z,τ)=exp⁡(πiaTτa/4+πiaT(z+b2))θ0,0(z+τa2+b2,τ)\theta_{a,b}(z,\tau) = \exp\bigl(\pi i a^T\tau a/4 + \pi i a^T(z + \tfrac b2)\bigr) \theta_{0,0}(z + \tau\tfrac{a}{2} + \tfrac{b}{2}, \tau), which reduces to the previous case (for derivatives, the exponential factor is expanded with acb_theta_jet_exp_pi_i); with sqr, the value is squared at the end.
Cite this page

The FLINT team, “acb_theta_jet_notransform (acb_theta.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_theta/acb_theta_jet_notransform.html (generated 2026-11-02).