Skip to content

Conversation

fchapoton
Copy link
Contributor

about a very non-obvious property of the Coxeter polynomials of posets.

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about
  • I have updated the documentation and checked the documentation preview.

Copy link

Documentation preview for this PR (built with commit bd28efb; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@mantepse
Copy link
Contributor

That's indeed very nice - also the slightly stronger result stated in the corollary!

Maybe you like to add, as an illustration

sage: all(P.ordinal_sum(Q).coxeter_polynomial() == Q.ordinal_sum(P).coxeter_polynomial() for P in posets(3) for Q in posets(4))
True

In either case, you can set this to positive review on my behalf!

@fchapoton
Copy link
Contributor Author

Thanks. As I think that this does not deserve a test, I am setting to positive.

vbraun pushed a commit to vbraun/sage that referenced this pull request Sep 22, 2025
sagemathgh-40853: adding a note on Coxeter polynomials
    
about a very non-obvious property of the Coxeter polynomials of posets.

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about
- [x] I have updated the documentation and checked the documentation
preview.
    
URL: sagemath#40853
Reported by: Frédéric Chapoton
Reviewer(s):
vbraun pushed a commit to vbraun/sage that referenced this pull request Sep 24, 2025
sagemathgh-40853: adding a note on Coxeter polynomials
    
about a very non-obvious property of the Coxeter polynomials of posets.

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about
- [x] I have updated the documentation and checked the documentation
preview.
    
URL: sagemath#40853
Reported by: Frédéric Chapoton
Reviewer(s):
@vbraun vbraun merged commit d25b9f1 into sagemath:develop Sep 27, 2025
22 of 25 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants