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
merged 4 commits into from
Jun 5, 2025
Merged

is_deriveX: is that a generalization? #1637

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 <quentin.vermande@orange.fr>
@affeldt-aist
Copy link
Member Author

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 <quentin.vermande@orange.fr>
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