Skip to content

Conversation

@affeldt-aist
Copy link
Member

@affeldt-aist affeldt-aist commented Dec 31, 2025

Motivation for this change

fixes #1789

fixes #1770

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 enhancement ✨ This issue/PR is about adding new features enhancing the library label Dec 31, 2025
@affeldt-aist affeldt-aist added this to the 1.15.0 milestone Dec 31, 2025
@affeldt-aist affeldt-aist marked this pull request as ready for review December 31, 2025 09:44
@affeldt-aist
Copy link
Member Author

I merge because this is a strict generalization and the CI is green.

@affeldt-aist affeldt-aist merged commit d30491f into math-comp:master Dec 31, 2025
46 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement ✨ This issue/PR is about adding new features enhancing the library

Projects

None yet

Development

Successfully merging this pull request may close these issues.

itv_partition can be defined over the more general type than realType variation_cat

1 participant