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

use parent in quaternions #37299

Merged
merged 3 commits into from
Feb 25, 2024
Merged

Conversation

fchapoton
Copy link
Contributor

replace the auld-style class by Parent and categories for quaternion algebras.

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

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.

Just some little things. Otherwise LGTM.

src/sage/categories/algebras.py Outdated Show resolved Hide resolved
"""
return self.base_ring().characteristic()

def has_standard_involution(self):
Copy link
Collaborator

Choose a reason for hiding this comment

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

Should we move this method to AlgebrasWithBasis instead? Then we can assume it has a basis() method.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

not here and now. This would require making quaternion algebras to be WithBasis (they are not) and this takes some work

Copy link
Collaborator

Choose a reason for hiding this comment

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

Understood, no problem.

Copy link

Documentation preview for this PR (built with commit d7c4495; changes) is ready! 🎉

@tscrim
Copy link
Collaborator

tscrim commented Feb 13, 2024

LGTM.

vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 18, 2024
    
replace the auld-style class by `Parent` and categories for quaternion
algebras.

### 📝 Checklist

- [x] The title is concise, informative, and self-explanatory.
- [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.
- [x] I have updated the documentation accordingly.
    
URL: sagemath#37299
Reported by: Frédéric Chapoton
Reviewer(s): Frédéric Chapoton, Travis Scrimshaw
vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 19, 2024
    
replace the auld-style class by `Parent` and categories for quaternion
algebras.

### 📝 Checklist

- [x] The title is concise, informative, and self-explanatory.
- [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.
- [x] I have updated the documentation accordingly.
    
URL: sagemath#37299
Reported by: Frédéric Chapoton
Reviewer(s): Frédéric Chapoton, Travis Scrimshaw
@vbraun vbraun merged commit 2e9c575 into sagemath:develop Feb 25, 2024
21 of 22 checks passed
@fchapoton fchapoton deleted the Parent_for_quaternions branch February 25, 2024 12:27
@mkoeppe mkoeppe added this to the sage-10.3 milestone Mar 7, 2024
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.

None yet

4 participants