Abstract
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.