Fundamental domains for Hilbert modular groups

[fredstro]

This patch contains the basic classes for fundamental domains for Hilbert modular groups.
The main purpose of the implementation of these domains is a reduction procedure, which has applications to e.g.
reduction of hyper elliptic curves.
Almost everything in the fundamental_domain_nf_reduction.py is taken directly from the file stoll_cremona.py in #14756.

This ticket depends on #14977

Depends on #14977

CC: @mstreng @sagetrac-florian

Component: number theory

Keywords: sd51, hilbert modular, fundamental domains

Author: Florian Bouyer, Marco Streng, Fredrik Stromberg

Branch/Commit: u/fstromberg/ticket/14978 @ 635caeb

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

[fredstro]

Description changed:

--- 
+++ 
@@ -1,4 +1,5 @@
 This patch contains the basic classes for fundamental domains for Hilbert modular groups.
 The main purpose of the implementation of these domains is a reduction procedure, which has applications to e.g.
 reduction of hyper elliptic curves.
+Almost everything in the fundamental_domain_nf_reduction.py is taken directly  from the file stoll_cremona.py in patch nr. 14756.
 

[fredstro]

Author: mstreng,florian,fstromberg

[fredstro]

Dependencies: 14977

[fredstro]

Changed dependencies from 14977 to none

[fredstro]

Branch: u/fstromberg/ticket/14978

[mstreng]

Description changed:

--- 
+++ 
@@ -1,5 +1,7 @@
 This patch contains the basic classes for fundamental domains for Hilbert modular groups.
 The main purpose of the implementation of these domains is a reduction procedure, which has applications to e.g.
 reduction of hyper elliptic curves.
-Almost everything in the fundamental_domain_nf_reduction.py is taken directly  from the file stoll_cremona.py in patch nr. 14756.
+Almost everything in the fundamental_domain_nf_reduction.py is taken directly  from the file stoll_cremona.py in #14756.
 
+This ticket depends on #14977
+

[mstreng]

Changed author from mstreng,florian,fstromberg to Florian Bouyer, Marco Streng, Fredrik Stromberg

[fchapoton]

Dependencies: #14977

[fchapoton]

Commit: 635caeb

[fchapoton]

New commits:

81dccda	created a new ticket
887cdea	Added the files and made appropriate changes to the hilbert modular group class
6bb2f07	added import by QQ
9cdb4c3	added import of QQ
7e11ee4	Merge branch 'ticket/14977' into ticket/14978
635caeb	fixed small bug, changing s to z