Verification

Last updated: 1 December 2025

Element	Basix	Basix.UFL	FIAT	NDElement
discontinuous Lagrange
Lagrange
Nédélec (first kind)
Raviart–Thomas
Brezzi–Douglas–Marini
bubble
Crouzeix–Raviart
dPc
Hellan–Herrmann–Johnson
Nédélec (second kind)
P1-iso-P2
Regge
serendipity
Arnold–Winther
Bernstein
Hermite
Kong–Mulder–Veldhuizen
Mardal–Tai–Winther
nonconforming Arnold–Winther
trimmed serendipity H(curl)
trimmed serendipity H(div)
Alfeld–Sorokina
Argyris
Bell
Bernardi–Raugel
Brezzi–Douglas–Durán–Fortin
Brezzi–Douglas–Fortin–Marini
bubble enriched Lagrange
conforming Crouzeix–Raviart
Crouzeix–Falk
Gauss–Legendre
Gopalakrishnan–Lederer–Schöberl
Guzmán–Neilan (first kind)
Guzmán–Neilan (second kind)
Hsieh–Clough–Tocher
Huang–Zhang
Morley
Radau
reduced Hsieh–Clough–Tocher
serendipity H(curl)
serendipity H(div)
Taylor
Tiniest tensor
Tiniest tensor H(curl)
Tiniest tensor H(div)
vector bubble enriched Lagrange
vector dPc
vector Lagrange
vector Q

For each element in the table above, the verification test passes for an example if:

• The element's basis functions span the same space as Symfem.
• The number of DOFs associated with each sub-entity of the cell is the same as Symfem.
• The element has the same continuity between cells as Symfem.

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

Implementation	Badge	Markdown
Basix		[](https://defelement.org/verification/basix.html)
Basix.UFL		[](https://defelement.org/verification/basix.ufl.html)
Basix.UFL		[.svg)](https://defelement.org/verification/*(symfem -> basix.ufl).html)
FIAT		[](https://defelement.org/verification/fiat.html)
Symfem		[](https://defelement.org/verification/)
NDElement		[](https://defelement.org/verification/ndelement.html)