Computations of algebraic modular forms associated with the definite quaternion algebra of discriminant $2$

In this paper, we present an algorithm to compute a basis of the space of algebraic modular forms on the maximal order of the definite quaternion algebra of discriminant $2$, and provide a database of such bases. One of our motivations is to study congruence relations of algebraic modular forms.