Stream: math-comp users

Topic: ✔ Polynomials with multiple variables

Sylvie Boldo (May 23 2022 at 12:48):

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.

Alexander Gryzlov (May 23 2022 at 12:52):

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

Sylvie Boldo (May 23 2022 at 12:55):

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

Notification Bot (May 23 2022 at 13:03):

Sylvie Boldo has marked this topic as resolved.

Last updated: Apr 16 2024 at 20:02 UTC