Zulip Chat Archive

Stream: maths

Topic: chebyshev polynomials


view this post on Zulip Johan Commelin (Sep 25 2020 at 08:36):

branch#chebpoly is a little experiment that I did for fun. And it turned out to be a lot of fun!
It's 350 lines of code where I mix polynomials, trigonometric functions and zmod p.

Everything fit pretty smoothly together, but it will need some cleaning up before it can be PR'd. In particular, it would benefit from having #4241 and #4197 merged.

The end result is that we get a family of polynomials over Z, that commute with each other, and such that the p-th polynomial is congruent to X ^ p modulo p.

view this post on Zulip Johan Commelin (Sep 25 2020 at 08:37):

Such a family is a Lambda structure, and there are only two such structures on polynomial int.


Last updated: May 19 2021 at 02:10 UTC