Two-variable R definitions

@[reducible, inline]

noncomputable abbrev DirichletTransform.TwoVariable.regRIntegral (t b₀ b₁ z₀ z₁ : ℂ) : ℂ

The canonical two-variable specialization of the native regularized Carlson R-integral.

Equations

• DirichletTransform.TwoVariable.regRIntegral t b₀ b₁ z₀ z₁ = DirichletTransform.regCarlsonRIntegral t (DirichletTransform.TwoVariable.pair b₀ b₁) (DirichletTransform.TwoVariable.pair z₀ z₁)

@[reducible, inline]

noncomputable abbrev DirichletTransform.TwoVariable.rIntegral (t b₀ b₁ z₀ z₁ : ℂ) : ℂ

The canonical two-variable specialization of the native Carlson R-integral.

Equations

• DirichletTransform.TwoVariable.rIntegral t b₀ b₁ z₀ z₁ = DirichletTransform.carlsonRIntegral t (DirichletTransform.TwoVariable.pair b₀ b₁) (DirichletTransform.TwoVariable.pair z₀ z₁)