Skip to content

fixes #1926 (cts_fun renaming)#1938

Merged
affeldt-aist merged 2 commits intomath-comp:masterfrom
affeldt-aist:topology_20260418
Apr 22, 2026
Merged

fixes #1926 (cts_fun renaming)#1938
affeldt-aist merged 2 commits intomath-comp:masterfrom
affeldt-aist:topology_20260418

Conversation

@affeldt-aist
Copy link
Copy Markdown
Member

Motivation for this change

fixes #1926

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 renaming/refactoring 🔧 This is about a renaming or refactoring in the library label Apr 18, 2026
@affeldt-aist affeldt-aist added this to the 1.17.0 milestone Apr 18, 2026
@affeldt-aist
Copy link
Copy Markdown
Member Author

(rebased to eliminate conflicts)

@affeldt-aist
Copy link
Copy Markdown
Member Author

unless something comes up, I will merge soon since the change is just a clarification

@affeldt-aist
Copy link
Copy Markdown
Member Author

Thanks for having taken a look!

@affeldt-aist affeldt-aist merged commit 28faf88 into math-comp:master Apr 22, 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.

rename to continuous_fun?

2 participants