Skip to content
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.

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

Fixes 20231117 #1106

Merged
merged 6 commits into from
Nov 17, 2023
Merged

Fixes 20231117 #1106

merged 6 commits into from
Nov 17, 2023

Conversation

affeldt-aist
Copy link
Member

@affeldt-aist affeldt-aist commented Nov 17, 2023

Motivation for this change

fixes #1099

Things done/to do
  • added corresponding entries in CHANGELOG_UNRELEASED.md

- [ ] added corresponding documentation in the headers

Compatibility with MathComp 2.0
  • I added the label TODO: HB port to make sure someone ports this PR to
    the hierarchy-builder branch or I already opened an issue or PR (please cross reference).
Automatic note to reviewers

Read this Checklist and put a milestone if possible.

@affeldt-aist affeldt-aist added the TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done. label Nov 17, 2023
@affeldt-aist affeldt-aist added this to the 0.6.7 milestone Nov 17, 2023
@affeldt-aist affeldt-aist merged commit 5375673 into math-comp:master Nov 17, 2023
30 checks passed
affeldt-aist added a commit to affeldt-aist/analysis that referenced this pull request Dec 7, 2023
affeldt-aist added a commit that referenced this pull request Dec 14, 2023
* fixes #1104

* fixes #1103

* fixes #1099

* fixes #1098

* fixes #1093
@affeldt-aist affeldt-aist removed the TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done. label Jan 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Is cantor_pseudoMetric necessary?
1 participant