Does dolfin/dolfinx have the HCT element?

Hi everyone. does dolfin or dolfinx have the HCT element (Hsieh-Clough-Tocher element)? Or Is there this element in some secondary developments of dolfin/dolfinx?

Thank you.

As far as I am aware, it does not, ref: Hsieh–Clough–Tocher | DefElement

@mscroggs can probably comment on the progress of having derivative continuity in DOLFINx.

Thank you. So if I would like to add and use HCT element in dolfinx, I thought I need to write e-hct.cpp and e-hct.h in basix/cpp/basix at main · FEniCS/basix, and add an index of the hct element in the element family. Right?

Ref:

There is a bit more to it than that, as one has to be able to generate code (ffcx) for the relevant maps from the reference element to physical element, which is a bit more complicated when one involves multiple maps.

The basix end hopefully shouldn’t be too hard