Last updated: 1 December 2024For 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.
Implementation | Badge | Markdown |
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) |