Click here to read what the information on this page means.
De Rham complex families | \(\left[S_{2,k}^\square\right]_{d-1}\) / \(\mathcal{S}^-_{k}\Lambda^{d-1}(\square_d)\) |
Orders | \(1\leqslant k\) |
Reference elements | quadrilateral, hexahedron |
Polynomial set | \(\mathcal{P}_{k-1}^d \oplus \mathcal{Z}^{(47)}_{k} \oplus \mathcal{Z}^{(48)}_{k}\) (quadrilateral) \(\mathcal{P}_{k-1}^d \oplus \mathcal{Z}^{(47)}_{k} \oplus \mathcal{Z}^{(49)}_{k} \oplus \mathcal{Z}^{(50)}_{k} \oplus \mathcal{Z}^{(51)}_{k}\) (hexahedron) ↓ Show polynomial set definitions ↓ |
DOFs | On each facet: normal integral moments with an order \(k-1\) dPc space On the interior of the reference element: integral moments with an order \(k-3\) vector dPc space, and integral moments with \(\left\{\nabla(p)\middle|p\text{ is an order \(k-1\) monomial}\right\}\) |
Mapping | contravariant Piola |
continuity | Components normal to facets are continuous |
Categories | Vector-valued elements, H(div) conforming elements |
FIAT | FIAT.TrimmedSerendipityDiv ↓ Show FIAT examples ↓ This implementation is correct for some of the examples below. |
Symfem | "TSdiv" ↓ Show Symfem examples ↓ This implementation is used to compute the examples below and verify other implementations. |
quadrilateral order 1 | (click to view basis functions) |
quadrilateral order 2 | (click to view basis functions) |
quadrilateral order 3 | (click to view basis functions) |
hexahedron order 1 | (click to view basis functions) |
hexahedron order 2 | (click to view basis functions) |
hexahedron order 3 | (click to view basis functions) |
Element added | 07 October 2021 |
Element last updated | 03 January 2024 |