Two-variable RPolynomial definitions

@[reducible, inline]

noncomputable abbrev DirichletTransform.TwoVariable.regRPolynomial (n : ℕ) (b₀ b₁ z₀ z₁ : ℂ) : ℂ

The canonical two-variable specialization of the regularized Carlson polynomial.

Equations

• DirichletTransform.TwoVariable.regRPolynomial n b₀ b₁ z₀ z₁ = DirichletTransform.regCarlsonRPolynomial n (DirichletTransform.TwoVariable.pair b₀ b₁) (DirichletTransform.TwoVariable.pair z₀ z₁)