an encyclopedia of finite element definitions

Verification

Last updated: 1 June 2024

ElementBasixBasix.UFLFIAT
Brezzi–Douglas–Marini
bubble
Crouzeix–Raviart
dPc
Lagrange
Nédélec (first kind)
Nédélec (second kind)
Raviart–Thomas
Regge
serendipity
Hermite
P1-iso-P2
Argyris
Arnold–Winther
Bernstein
Brezzi–Douglas–Fortin–Marini
Hellan–Herrmann–Johnson
Kong–Mulder–Veldhuizen
Mardal–Tai–Winther
Morley
nonconforming Arnold–Winther
Taylor
trimmed serendipity H(curl)
trimmed serendipity H(div)
vector dPc
vector Lagrange
vector Q


For each element in the table above, the verification test passes for an example if:The symbols in the table have the following meaning:
Verification passes from all the examples on the element's page
Verification passes for some examples, but not all
Verification fails for all examples


You can view more details of which examples pass and fail on the verification with full detail page.

The verification data is also available in JSON format.

Verification GitHub badges

ImplementationBadgeMarkdown
Symfem[![DefElement verification](https://defelement.com/badges/symfem.svg)](https://defelement.com/verification.html)
Basix[![DefElement verification](https://defelement.com/badges/basix.svg)](https://defelement.com/verification.html)
Basix.UFL[![DefElement verification](https://defelement.com/badges/basix.ufl.svg)](https://defelement.com/verification.html)
FIAT[![DefElement verification](https://defelement.com/badges/fiat.svg)](https://defelement.com/verification.html)