Repository navigation
v10.15.0 — wider arcs (P1h)
Zeros of B are dense on arg q in [0.286pi,1.714pi]. The poles of U and V are dense on arg x in [pi/6,5pi/6] and [7pi/6,11pi/6], assuming thm:model and thm:RJ. Both results are computer-assisted and were adversarially reviewed (Reviewer AD). The method cannot pass the threshold l~0.484. U/V density on [0.143,1/6) is open.