Given an order in a Quaternion algebra, determine if a type of maximal orders contains it
Let B be a definite quaternion algebra over Q and O0 be an order. Given a maximal order O , how do we check if there exists a maximal order O′≅O containing O0? If it exists, can be enumerate all such maximal orders?