an encyclopedia of finite element definitions

FIAT verification122 / 131

Last updated: 1 July 2025

The plot above shows the number of elements passing verificiation (green line) out of the number of elements being verified (dashed black line) over time.

ElementExample
Alfeld–Sorokinatriangle,2
Argyristriangle,5
Arnold–Winthertriangle,2
Belltriangle,4
Bernardi–Raugeltriangle,1
tetrahedron,1
tetrahedron,2
Bernsteininterval,1
interval,2
interval,3
triangle,1
triangle,2
triangle,3
Brezzi–Douglas–Marinitriangle,1,legendre
triangle,2,legendre
tetrahedron,1,legendre
tetrahedron,2,legendre
bubbleinterval,2
interval,3
triangle,3
triangle,4
Crouzeix–Raviarttriangle,1
tetrahedron,1
discontinuous Lagrangeinterval,0,equispaced
interval,1,equispaced
interval,2,equispaced
triangle,0,equispaced
triangle,1,equispaced
triangle,2,equispaced
tetrahedron,0,equispaced
tetrahedron,1,equispaced
tetrahedron,2,equispaced
dPcinterval,1
interval,2
interval,3
quadrilateral,1
quadrilateral,2
quadrilateral,3
Gopalakrishnan–Lederer–Schöberltriangle,0
triangle,1
triangle,2
tetrahedron,0
tetrahedron,1
Guzmán–Neilan (first kind)triangle,1
tetrahedron,1
tetrahedron,2
Guzmán–Neilan (second kind)triangle,1
tetrahedron,1
tetrahedron,2
Hellan–Herrmann–Johnsontriangle,0
triangle,1
triangle,2
tetrahedron,0
tetrahedron,1
tetrahedron,2
Hermiteinterval,3
triangle,3
tetrahedron,3
Hsieh–Clough–Tochertriangle,3
Kong–Mulder–Veldhuizentriangle,1
triangle,2
tetrahedron,1
Lagrangeinterval,1,equispaced
interval,2,equispaced
interval,3,equispaced
interval,1,gll
interval,2,gll
interval,3,gll
interval,4,gll
interval,1,lobatto
interval,2,lobatto
interval,3,lobatto
triangle,1,equispaced
triangle,2,equispaced
triangle,3,equispaced
tetrahedron,1,equispaced
tetrahedron,2,equispaced
Mardal–Tai–Winthertriangle,1
Morleytriangle,2
Nédélec (first kind)triangle,0,lagrange
triangle,1,lagrange
triangle,0,legendre
triangle,1,legendre
tetrahedron,0,lagrange
tetrahedron,1,lagrange
Nédélec (second kind)triangle,1,lagrange
triangle,2,lagrange
triangle,1,legendre
triangle,2,legendre
tetrahedron,1,lagrange
tetrahedron,2,lagrange
tetrahedron,1,legendre
tetrahedron,2,legendre
nonconforming Arnold–Winthertriangle,1
P1-iso-P2interval,1
triangle,1
Raviart–Thomastriangle,0,lagrange
triangle,1,lagrange
triangle,0,legendre
triangle,1,legendre
tetrahedron,0,lagrange
tetrahedron,1,lagrange
tetrahedron,0,legendre
tetrahedron,1,legendre
reduced Hsieh–Clough–Tochertriangle,3
Reggetriangle,1
triangle,2
serendipityinterval,1
interval,2
interval,3
quadrilateral,1
quadrilateral,2
quadrilateral,3
Taylorinterval,1
interval,2
interval,3
triangle,1
triangle,2
triangle,3
trimmed serendipity H(curl)quadrilateral,0
quadrilateral,1
quadrilateral,2
hexahedron,0
hexahedron,1
hexahedron,2
trimmed serendipity H(div)quadrilateral,0
quadrilateral,1
quadrilateral,2
hexahedron,0
hexahedron,1
hexahedron,2


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
Verification fails


You can information about verification of other libraries on the verification page.

Verification GitHub badge

BadgeMarkdown
[![DefElement verification](https://defelement.org/badges/fiat.svg)](https://defelement.org/verification/fiat.html)