Computations of algebraic modular forms associated with the definite quaternion algebra of discriminant 2. - Hiroyuki Ochiai; Satoshi Wakatsuki; Shun'ichi Yokoyama (J. Symb. Comput., 2026)