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 belongs to the PLUME index of the CNRS.
The intensive computations award C3I has been attributed to the thesis developing 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 comes in two versions:
* If you have an installation of SAGE on your hard disk (recommended), then please download BianchiGPsage.tar, unpack it (e.g. with the command "tar -xvf"), and use the command load("BianchiGP.sage") after having started SAGE from the directory into which you have placed the unpacked BianchiGP.sage file together with the unpacked sourceOfBianchiGP folder.
* Alternatively (if you are using an online version of SAGE), you can download the worksheet version and follow its installation instructions.

The current stable release (version 2.1.6) 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