MAGMA Forum

I am currently trying to implement the following setting in MAGMA: Let D be a skew field that is central and finite-dimensional over a number field F (more specifically: a quaternion algebra). Let Delta (subset of D) be a maximal order over the ring of integers of F ("OF"). I have tried implementing...