******************************************************
* Short user's guide for the Magma Package FastBases *
* by Gabor Wiese                                     *
* 21 April 2020                                      *
******************************************************

(0) Introduction
This Magma package has been designed for computing bases of the modular forms spaces M_k(Gamma_0(4),Q) for half-integral weights k. The basis modular forms are represented by their q-expansions up to a given precision. The main purpose is to be able to obtain a high precision.
The algorithms are described in the paper "Fast computation of half-integral weight modular forms" by Ilker Inam and Gabor Wiese.

(1) Files
FastBases.spec          Package file
FB_General.m            Functions for various uses.
FB_Kohnen_Basis.m       Functions for computing the Kohnen basis.
FB_Rankin_Cohen.m       Functions for computing the Rankin-Cohen basis.
FB_Standard_Basis.m     Functions for computing the standard basis.
FB_standard_forms.m     Functions for computing some standard modular forms.
FB-Example.m            An example illustrating the main functionality.

(2) Installation
It suffices to change to the directory containing the files of the package and to type in Magma:
> AttachSpec("FastBases.spec");

(3) Principal functions
FB_standard_basis(k,prec);
For any k half-integer or integer k, this function computes the q-expansions of the standard basis of the full space M_k(Gamma_0(4)) up to precision prec.

FB_Kohnen_basis(k,prec);
For a half-integer k = l+1/2 with l an integer at least 12, this function computes the q-expansions of the Kohnen basis of the plus space M_k^+(Gamma_0(4)) up to precision prec.

FB_RC_basis_plus(k,prec);
For a half-integer k = l+1/2 with l an even integer, this function computes the q-expansions of the Rankin-Cohen basis of the plus space M_k^+(Gamma_0(4)) up to precision prec.

FB_RC_basis_full(k,prec);
For a half-integer k = l+1/2 with l an odd integer, this function computes the q-expansions of the Rankin-Cohen basis of the full space M_k(Gamma_0(4)) up to precision prec.

FB_plus_subspace(C,k);
Given a half-integral or integral weight k and a basis C of q-expansions of weight k modular forms, this function computes a basis of the plus subspace spanned by the forms in C.

(4) Question and Remarks
Please address any questions or remarks to gabor.wiese@uni.lu

