Skip to content

from open_basis to nbhs_basis in tvs#1983

Open
mkerjean wants to merge 3 commits into
math-comp:masterfrom
mkerjean:nbhsbasistvs
Open

from open_basis to nbhs_basis in tvs#1983
mkerjean wants to merge 3 commits into
math-comp:masterfrom
mkerjean:nbhsbasistvs

Conversation

@mkerjean
Copy link
Copy Markdown
Collaborator

@mkerjean mkerjean commented Jun 3, 2026

Motivation for this change

fixes #1981

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

@mkerjean mkerjean added the "bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug" label Jun 3, 2026
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"

Projects

None yet

Development

Successfully merging this pull request may close these issues.

nbhs basis in tvs.v

1 participant