Hello,

I am looking for polynomials with multiple variables in math-comp.

I found results about 1 and 2 variables but I need polynomials with an arbitrary number of variables. Is there some related development?

Thanks.

Have you seen https://github.com/math-comp/multinomials ?

No. I was looking inside math-comp files only. This looks exactly fine. Thanks!!

Sylvie Boldo has marked this topic as resolved.

Last updated: Feb 08 2023 at 08:02 UTC