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

trying to generalize mfun #672

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from
Draft

trying to generalize mfun #672

wants to merge 2 commits into from

Conversation

affeldt-aist
Copy link
Member

@affeldt-aist affeldt-aist commented Jun 3, 2022

Motivation for this change

@CohenCyril

would fix issue #662

Things done/to do
  • added corresponding entries in CHANGELOG_UNRELEASED.md
  • added corresponding documentation in the headers
Automatic note to reviewers

Read this Checklist and put a milestone if possible.

@CohenCyril
Copy link
Member

@affeldt-aist I tried something...

@affeldt-aist affeldt-aist added the help 🆘 This author/reviewer of this issue/PR needs external help label Mar 15, 2023
@proux01 proux01 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 Jan 25, 2024
@affeldt-aist affeldt-aist added "bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug" experiment 🧪 This issue/PR is very experimental and removed TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done. labels Jul 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
"bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug" experiment 🧪 This issue/PR is very experimental help 🆘 This author/reviewer of this issue/PR needs external help
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants