Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Unify basis_perm implementations#189

Merged
Jakob-Unfried merged 1 commit intomainfrom
pipe_basis_perm
Nov 26, 2025
Merged

Unify basis_perm implementations#189
Jakob-Unfried merged 1 commit intomainfrom
pipe_basis_perm

Conversation

@Jakob-Unfried
Copy link
Member

Move them into the appropriate common base class, Leg

Move them into the appropriate common base class, Leg
@Jakob-Unfried Jakob-Unfried self-assigned this Nov 26, 2025
@Jakob-Unfried Jakob-Unfried merged commit ecd635d into main Nov 26, 2025
7 checks passed
@Jakob-Unfried Jakob-Unfried deleted the pipe_basis_perm branch November 26, 2025 09:17
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.

1 participant