## Home Installation Demos C++ docs Python docs

Basix is a finite element definition and tabulation runtime library. Basix allows users to:

- evaluate finite element basis functions and their derivatives at a set of points;
- access geometric and topological information about reference cells;
- apply push forward and pull back operations to map data between a reference cell and a physical cell;
- permute and transform DOFs to allow higher-order elements to be use on arbitrary meshes; and
- interpolate into a finite element space and between finite element spaces.

Basix includes a range of built-in elements, and also allows the user to define their own custom elements.

Basix is one of the components of FEniCSx, alongside UFL, FFCx, and DOLFINx.

The main functionality of Basix is written in C++. Documentation of the C++ functionality of Basix can be found at docs.fenicsproject.org/basix/v0.7.0.post0/cpp.

The majority of the functionality of Basix is available for use through the Python interface. Documentation of this interface can be found at docs.fenicsproject.org/basix/v0.7.0.post0/python.

## Installing Basix

Instructions for installing Basix can be found at docs.fenicsproject.org/basix/v0.7.0.post0/install.html.

## Source

The source code of Basix is available on GitHub. It is available under an MIT license.

## Supported elements

### Interval

In Basix, the sub-entities of the reference interval are numbered as follows:

The following elements are supported on an interval:

### Triangle

In Basix, the sub-entities of the reference triangle are numbered as follows:

The following elements are supported on a triangle:

- Lagrange
- Nédélec first kind
- Raviart-Thomas
- Nédélec second kind
- Brezzi-Douglas-Marini
- Regge
- Hellan-Herrmann-Johnson
- Crouzeix-Raviart
- Bubble
- Hermite
- iso

### Quadrilateral

In Basix, the sub-entities of the reference quadrilateral are numbered as follows:

The following elements are supported on a quadrilateral:

- Lagrange
- Nédélec first kind
- Raviart-Thomas
- Nédélec second kind
- Brezzi-Douglas-Marini
- Bubble
- DPC
- Serendipity
- iso

### Tetrahedron

In Basix, the sub-entities of the reference tetrahedron are numbered as follows:

The following elements are supported on a tetrahedron:

- Lagrange
- Nédélec first kind
- Raviart-Thomas
- Nédélec second kind
- Brezzi-Douglas-Marini
- Regge
- Crouzeix-Raviart
- Bubble
- Hermite
- iso

### Hexahedron

In Basix, the sub-entities of the reference hexahedron are numbered as follows:

The following elements are supported on a hexahedron:

- Lagrange
- Nédélec first kind
- Raviart-Thomas
- Nédélec second kind
- Brezzi-Douglas-Marini
- Bubble
- DPC
- Serendipity
- iso

### Prism

In Basix, the sub-entities of the reference prism are numbered as follows:

The following elements are supported on a prism:

### Pyramid

In Basix, the sub-entities of the reference pyramid are numbered as follows:

The following elements are supported on a pyramid: