The weighted sum over large smooth divisor tuples #
noncomputable def
NairTenenbaum.PolynomialSystem.smoothDivisorContribution
{k r : ℕ}
(P : PolynomialSystem k r)
(F : ArithmeticMap k)
(s : Finset ℕ)
(N : ℕ+)
(T : ℝ)
(a b : ℤ)
:
The arithmetic contribution of values with a large smooth radical divisor.
Equations
- One or more equations did not get rendered due to their size.