Add ridge permutations#3904

jorgensd wants to merge 3 commits intomainFEniCS/dolfinx:mainfrom

dokken/ridge-permutationsFEniCS/dolfinx:dokken/ridge-permutationsCopy head branch name to clipboard