We have moved the forum to https://forum.ngsolve.org. This is an archived version of the topics until 05/05/23. All the topics were moved to the new forum and conversations can be continued there. This forum is just kept as legacy to not invalidate old links. If you want to continue a conversation just look for the topic in the new forum.
Yes, correct, geometry is approximated by arbitrary order polynomially curved trigs or quads, and the HHJ spaces is mapped to the curved surface using double-sided Piola transform. All nasty derivatives are computed.