  We provide an algorithm that, given any order $O$ in a quaternion algebra
over a global field, computes representatives of all right equivalence classes
of right $O$-ideals, including the non-invertible ones. The theory is developed
for a more general kind of algebras.
