Skip to content

mv function_spaces#1876

Merged
mkerjean merged 3 commits intomath-comp:masterfrom
affeldt-aist:fixes_1844
Mar 6, 2026
Merged

mv function_spaces#1876
mkerjean merged 3 commits intomath-comp:masterfrom
affeldt-aist:fixes_1844

Conversation

@affeldt-aist
Copy link
Member

Motivation for this change

fixes #1844

fyi: @mkerjean

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 this to the 1.16.0 milestone Mar 4, 2026
@affeldt-aist affeldt-aist added the renaming/refactoring 🔧 This is about a renaming or refactoring in the library label Mar 4, 2026
@affeldt-aist affeldt-aist force-pushed the fixes_1844 branch 2 times, most recently from 62504f7 to f72e007 Compare March 5, 2026 02:19
Copy link
Collaborator

@mkerjean mkerjean 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 for this useful change and factorization, I hope @zstone1 is happy with it.

@mkerjean mkerjean merged commit 33645e1 into math-comp:master Mar 6, 2026
50 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

renaming/refactoring 🔧 This is about a renaming or refactoring in the library

Projects

None yet

Development

Successfully merging this pull request may close these issues.

TODO: try to move function_spaces to topology_theory

2 participants