Verification

Last updated: 16 February 2025

Element	Basix	Basix.UFL	NDElement	FIAT
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 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.html)
Basix.UFL		[](https://defelement.org/verification.html)
NDElement		[](https://defelement.org/verification.html)
Symfem		[](https://defelement.org/verification.html)
FIAT		[](https://defelement.org/verification.html)