Commit 2024-01-25 20:09 b3052eca

feat: polynomial evaluation via SMul (#9139) We introduce polynomial evaluation using SMul, so polynomials can be evaluated at elements of non-associative semirings. This is most useful in the power-associative context, but power-associativity is not implemented yet. We obtain a generalization of Polynomial.eval₂, and in particular of the specializations Polynomial.aeval and Polynomial.leval.