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