Skip to content

is_deriveX: is that a generalization? #1637

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.

Sign up for GitHub

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

Jump to bottom
Merged
affeldt-aist merged 4 commits into from
Jun 5, 2025
Merged

is_deriveX: is that a generalization? #1637

affeldt-aist merged 4 commits into from
Jun 5, 2025

Conversation

@affeldt-aist
Copy link
Member

@affeldt-aist affeldt-aist commented Jun 5, 2025 •
edited
Loading

Motivation for this change
Checklist
  • added corresponding entries in CHANGELOG_UNRELEASED.md
  • added corresponding documentation in the headers

Reference: How to document

Merge policy

As a rule of thumb:

  • PRs with several commits that make sense individually and that
    all compile are preferentially merged into master.
  • PRs with disorganized commits are very likely to be squash-rebased.
Reminder to reviewers

@affeldt-aist affeldt-aist added the question ❓ There is an unanswered question here label Jun 5, 2025
@Tragicus
Copy link
Collaborator

Tragicus commented Jun 5, 2025

Yes, and even a backwards compatible one.

@affeldt-aist affeldt-aist requested a review from Tragicus June 5, 2025 14:59
@affeldt-aist affeldt-aist added this to the 1.12.0 milestone Jun 5, 2025
Tragicus
Tragicus reviewed Jun 5, 2025
View reviewed changes
@affeldt-aist @Tragicus
Update CHANGELOG_UNRELEASED.md
3ee6acf 
Co-authored-by: Quentin VERMANDE <[email protected]>
@affeldt-aist
Copy link
Member Author

affeldt-aist commented Jun 5, 2025

Thanks!

@affeldt-aist affeldt-aist merged commit 0106af9 into math-comp:master Jun 5, 2025
47 of 48 checks passed
IshiguroYoshihiro pushed a commit to IshiguroYoshihiro/analysis that referenced this pull request Jun 12, 2025
@affeldt-aist @Tragicus @IshiguroYoshihiro
is_deriveX: is that a generalization? (math-comp#1637)
830bbbb 
* is_deriveX, etc.

---------

Co-authored-by: Quentin VERMANDE <[email protected]>
IshiguroYoshihiro pushed a commit to IshiguroYoshihiro/analysis that referenced this pull request Jun 20, 2025
@affeldt-aist @Tragicus @IshiguroYoshihiro
is_deriveX: is that a generalization? (math-comp#1637)
2f6ebac 
* is_deriveX, etc.

---------

Co-authored-by: Quentin VERMANDE <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Tragicus Tragicus Tragicus approved these changes

Assignees

No one assigned

Labels

question ❓ There is an unanswered question here

Projects

None yet

Milestone

1.12.0

Development

Successfully merging this pull request may close these issues.

2 participants

@affeldt-aist @Tragicus