Computing with quotients of the Bruhat-Tits tree. Initial code written by Cameron Franc and Marc Masdeu.
Maintained since March 2012 by Marc Masdeu.
To use the package, just load the script with:
sage: btquotients.sage
The file 'example_equations.sage' contains a sample script detailing how the code can be used to find equations for a Shimura curve.