Kazuhiko Sakaguchi
Kazuhiko Sakaguchi
This PR is almost done, but writing the changelog entries is going to take more time than writing the code 😩 I would like to know how others deal with...
What we need is probably a tool to dump the list of declarations in a library (e,g,. `poly.v`) and take a diff of such two lists.
I won't make further progress on this PR before May 13th. If someone would like this PR to be merged soon, feel free to add the CHANGELOG entries and proceed...
~I may have erased a few deprecation notations/constants while rebasing this PR (since the diff was not very readable). I will double-check.~ Done.
I finished writing changelog entries, but now I have the impression that `horner_eval` should be generalized to `nzSemiRingType`.
Done, but CI looks very broken.
> Rebase? Indeed. Done.
@Tragicus Thank you!
Generalizing the results in `qpoly.v` seems to require generalizing `vector.v` to semi-vector spaces, which looks non-trivial (mostly because of technical issues like compatibility). I will try it later.