Computation of Euclidean minima in totally definite quaternion fields

Abstract

We describe an algorithm that allows to compute the Euclidean minimum (for the norm form) of any order of a totally definite quaternion field over a number field [Formula: see text] of degree strictly greater than [Formula: see text]. Our approach is a generalization of the previous work dealing with number fields. The algorithm was practically implemented when [Formula: see text] has degree [Formula: see text].