Construct a quaternion algebra over a number field by specifying its ramification

[mmasdeu]

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

[mmasdeu]

Commit: 2d2cfa9

[mmasdeu]

comment:1

The code passes all doctests and runs in reasonable time. I think it is ready for review.

[mmasdeu]

Branch: u/mmasdeu/16948-quatalg-from-ramification

[jdemeyer]

comment:2

Just a remark: this functionality is in PARI now, so you could just try to wrap PARI.

[fchapoton]

comment:3

Please use python3 raise syntax: raise Error('msg')

see patchbot report in plugin raise_statement for the lines with a bad raise syntax

[fchapoton]

New commits:

de9cb12	Merge branch 'u/mmasdeu/16948-quatalg-from-ramification' into 6.8
2c21a0b	correct py3 syntax for raise

[fchapoton]

Changed branch from u/mmasdeu/16948-quatalg-from-ramification to public/ticket/16948