feat(poly): impl lagrange poly for cyclic group

[cyphersnake]

Motivation Close #255

Overview N\A

[cyphersnake]

Blocked by #258 Unblocked

[cyphersnake]

@chaosma You can review the current version, all I plan to change is to pre-calculate with wolfram and add tests

[cyphersnake]

We can optimize in the future and get away from the lazy computation model if we need to, but at first glance iter+rayon may be enough