Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Expose Coxeter and dual Coxeter numbers in RootSystem class #38730

Merged

Conversation

skipgaribaldi
Copy link
Contributor

Makes the Coxeter number and dual Coxeter number, which are properties of a root system, available in the RootSystem class.

The underlying functions already exist in the CartanType, so this is a matter of exposing them in the RootSytem class.

📝 Checklist

  • [X ] The title is concise and informative.
  • [X ] The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • [ X] I have created tests covering the changes.
  • I have updated the documentation and checked the documentation preview.

⌛ Dependencies

@fchapoton
Copy link
Contributor

you should not touch ruff.toml

@skipgaribaldi
Copy link
Contributor Author

you should not touch ruff.toml

Of course! Sorry. This is my first pull request. Fixed

Copy link
Collaborator

@tscrim tscrim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Welcome to SageMath development. Thank you for the PR. Here are some suggestions. Once they are done, then I will set a positive review.

src/sage/combinat/root_system/root_system.py Outdated Show resolved Hide resolved
src/sage/combinat/root_system/root_system.py Outdated Show resolved Hide resolved
src/sage/combinat/root_system/root_system.py Outdated Show resolved Hide resolved
src/sage/combinat/root_system/root_system.py Outdated Show resolved Hide resolved
src/sage/combinat/root_system/root_system.py Outdated Show resolved Hide resolved
skipgaribaldi and others added 5 commits October 1, 2024 18:41
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
@tscrim
Copy link
Collaborator

tscrim commented Oct 2, 2024

Thank you. Once the bots come back green, I will set a positive review.

In the future, if you could refrain from using GH's "implement suggestion" (or whatever it is exactly called) and make a proper commit, or at least give more precise commit messages, that would be appreciated. The generic "Update XYZ" makes it a bit harder if we have to dig into the history.

Thank you for the improvements! Please feel free to cc me on any PRs that are related to root systems, Lie groups/algebras, representation theory. etc. Feel free to contact me directly by email (see my GH profile) to discuss things such as missing features or issues.

Copy link
Collaborator

@tscrim tscrim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you. LGTM.

vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 5, 2024
…em class

    
Makes the Coxeter number and dual Coxeter number, which are properties
of a root system, available in the RootSystem class.

The underlying functions already exist in the CartanType, so this is a
matter of exposing them in the RootSytem class.

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [X ] The title is concise and informative.
- [X ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ X] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies
    
URL: sagemath#38730
Reported by: Skip G
Reviewer(s): Skip G, Travis Scrimshaw
vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 9, 2024
…em class

    
Makes the Coxeter number and dual Coxeter number, which are properties
of a root system, available in the RootSystem class.

The underlying functions already exist in the CartanType, so this is a
matter of exposing them in the RootSytem class.

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [X ] The title is concise and informative.
- [X ] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ X] I have created tests covering the changes.
- [ ] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies
    
URL: sagemath#38730
Reported by: Skip G
Reviewer(s): Skip G, Travis Scrimshaw
@vbraun vbraun merged commit db9bfa9 into sagemath:develop Oct 12, 2024
19 of 20 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.

4 participants