Bianchi.gp


Bianchi.gp computes a fundamental domain for the Bianchi groups in hyperbolic 3-space, the associated quotient space and essential information about the group homology and equivariant K-homology of the Bianchi groups.


Fundamental polyhedron for the Bianchi group of discriminant -427, as computed with Bianchi.gp and visualized with geomview.


Using the fundamental domains and the orbifold which is computed for them, the dimensions of spaces of Bianchi modular forms can be determined.

The program Bianchi.gp has been validated in the PLUME index of the CNRS.
The intensive computations award C3I has been attributed to A. Rahm's PhD thesis, which was the framework of Bianchi.gp.
This program is based on the specialized computer algebra system Pari/GP; and version 2.4.3 or higher of the latter is required to execute Bianchi.gp.
Pari/GP is available free of charge on the Pari/GP development headquarters website.
Bianchi.gp is part of the GP scripts library of Pari/GP Development Center.

A user surface for Bianchi.gp in SAGE has been created by Atin Modi. It has been made compatible with year 2020 versions of sagemath (based on Python 3) by Joel Sjogren. If you have an installation of SAGE on your hard disk, then you can download BianchiGPinSage.tar.gz, unpack it (e.g. with the command "tar -xzvf"), and type the command
load("BianchiGP.sage")
after having started SAGE from the unpacked directory.
The old versions (based on Python 2, and no more operational in current versions of SAGE) are here.

The current stable release (version 2.1.7) of Bianchi.gp is downloadable from here free of charge, covered by the GNU General Public License .
A description of Bianchi.gp is given in the appendix of the PhD thesis of Alexander D. Rahm.

See also the cell complexes database computed with Bianchi.gp.

Luigi Bianchi (1856-1928)


Bianchi.gp contains the following libraries of functions and procedures.

Bianchi-common_procedures_and_diagnosis.gp
Bianchi-Fundamental_Polyhedron_functions.gp
Bianchi-Fundamental_Polyhedron_procedures.gp
Bianchi-orbit_space_functions.gp
Bianchi-orbit_space_procedures.gp
Bianchi-group_homology.gp
Bianchi-output.gp


In old Pari/GP versions (2.4.3 to 2.5.x), you can also use Bianchi.gp version 2.1.3, which has been stable for a long time - but please do not use it in more recent versions of Pari/GP.


Back to the homepage of Alexander D. Rahm