加载中…
Let be a totally real number field and let be a totally definite quaternion algebra over . In this article, given a set of representatives for ideal classes for a maximal order in , we show how to construct in an efficient way a set of representatives of ideal classes for any Bass order in . The algorithm does not require any knowledge of class numbers, and improves the equivalence checking process by using a simple calculation with global units. As an application, we compute ideal classes representatives for an order of level 30 in an algebra over the real quadratic field .

生成讲解博客的中文版本

生成AI智能校验的中文版本