def kbarbar(weight): # The weight part of the analytic conductor return psi(RR(weight)/2).exp() / (2*RR.pi())
def log_L_inf(s, mu, nu): return ((sum([psi((s + elt) / 2) for elt in mu]) - len(mu) * logpi) / 2 + sum([psi(s + elt) for elt in nu]) - len(nu) * log2pi)