Stream: math-comp users

Topic: ✔ Polynomials with multiple variables


view this post on Zulip 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.

view this post on Zulip Alexander Gryzlov (May 23 2022 at 12:52):

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

view this post on Zulip Sylvie Boldo (May 23 2022 at 12:55):

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

view this post on Zulip Notification Bot (May 23 2022 at 13:03):

Sylvie Boldo has marked this topic as resolved.


Last updated: Feb 08 2023 at 08:02 UTC