an encyclopedia of finite element definitions

Verification

Last updated: 1 December 2024

ElementBasixBasix.UFLFIATNDElement
Lagrange
Nédélec (first kind)
Raviart–Thomas
Brezzi–Douglas–Marini
bubble
Crouzeix–Raviart
dPc
Nédélec (second kind)
P1-iso-P2
Regge
serendipity
Hermite
Alfeld–Sorokina
Argyris
Arnold–Winther
Bell
Bernardi–Raugel
Bernstein
Brezzi–Douglas–Fortin–Marini
Guzmán–Neilan (first kind)
Guzmán–Neilan (second kind)
Hellan–Herrmann–Johnson
Hsieh–Clough–Tocher
Kong–Mulder–Veldhuizen
Mardal–Tai–Winther
Morley
nonconforming Arnold–Winther
reduced Hsieh–Clough–Tocher
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
Basix[![DefElement verification](https://defelement.org/badges/basix.svg)](https://defelement.org/verification.html)
Basix.UFL[![DefElement verification](https://defelement.org/badges/basix.ufl.svg)](https://defelement.org/verification.html)
Symfem[![DefElement verification](https://defelement.org/badges/symfem.svg)](https://defelement.org/verification.html)
FIAT[![DefElement verification](https://defelement.org/badges/fiat.svg)](https://defelement.org/verification.html)
NDElement[![DefElement verification](https://defelement.org/badges/ndelement.svg)](https://defelement.org/verification.html)