Carlson's multivariate R-function #
Umbrella import for the native integral, continuation interface, differentiation kernel,
associated-function theory, confluence, and Laplace representation of Carlson's R_t.
The regularized slit-plane function is jointly entire in the exponent and Dirichlet
parameters and holomorphic in all nodes off the nonpositive real axis.
Node differentiation, the homogeneity recurrence, and polynomial dependence of
associated functions are available on this full slit domain. The pinned upstream audit
guide maps the selected statements to their proof modules and records scope
limits. In particular, Carlson.R.Contour adds no contour representation: formula (6.8-7)
remains unformalized, while joint continuation is proved without that representation.