There is a need for the constructor QuaternionAlgebra to take as input a number field F and a ramification (specified by an ideal D in F and a set of real places S of F) and which constructs a quaternion algebra over F with ramified precisely at the primes dividing D and at the places in S.

We have code to add here, which is now being tested and documented.

CC: @tornaria

Component: number theory

Keywords: quaternion algebra, ramification

Author: Marc Masdeu, Xavier Guitart

Branch/Commit: u/mmasdeu/16948-review @ fcf1a69

Issue created by migration from https://trac.sagemath.org/ticket/16948