@pierremrtt, ridge integrals are now implemented in DOLFINx, and will be in the docker image ghcr.io/fenics/dolfinx/dolfinx:nightly tomorrow afternoon. See: Unification of one-sided sub-entity integrals + ridge integrals by jorgensd · Pull Request #3900 · FEniCS/dolfinx · GitHub for details on syntax.