Verification

Last updated: 1 May 2024

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