Zulip Chat Archive
Stream: toric
Topic: Multivariate Laurent polynomials are a domain
Paul Lezeau (Mar 15 2025 at 20:49):
Yaël Dillies said:
- No one yet: Multivariate Laurent polynomials form a domain. See item
0-mv-laurent-poly-domain
in the blueprint.
I can claim that!
Paul Lezeau (Mar 15 2025 at 22:30):
Paul Lezeau said:
I can claim that!
Done:)
Paul Lezeau (Mar 15 2025 at 22:38):
I'll start upstreaming the definition of Laurent Polynomials plus this tomorrow
Yaël Dillies (Mar 16 2025 at 07:31):
Note that I'm doing part of the upstreaming already in #22970
Last updated: May 02 2025 at 03:31 UTC