In bdc545ff we have introduced a conjg the Bernoulli polynomial. It is not clear why. Courtesy to Roman Zwicky and Ben Pullin for pointing this out.
Attach a file by drag & drop or click to upload