Installation ============ To install Brocoli, follow the following steps. 1. download the tar ball source 2. in the brocoli folder, type the following command: $ sage -pip install --upgrade --no-index -v .