Modular Quaternion Groups

Fundamental domains for Shimura curves, written in GAP. Documented with description of algorithms used and program structure, input and output. Results for quaternion algebras with discriminant up to 100.