Symbolic Implementation of Extensions of the Boltzmann Solver
is a Python-based framework for the fast computation of cosmological model predictions. One of its core features is the symbolic representation of the Einstein-Boltzmann system of equations. Efficient code is generated from the symbolic expressions making use of the package. This enables easy extensions of the equation system for the implementation of new cosmological models. We illustrate this with three extensions of the Boltzmann solver to include a dark energy component with a constant equation of state, massive neutrinos and a radiation streaming approximation. We describe the framework, highlighting new features, and the symbolic implementation of the new models. We compare the predictions for the CDM model extensions with , both in terms of accuracy and computational speed. We find a good agreement, to better than 0.1% when using high-precision settings and a comparable computational speed. Links to the Python Package Index (PyPI) page of the code release and to the PyCosmo Hub, an online platform where the package is installed, are available at: https://cosmology.ethz.ch/research/software-lab/PyCosmo.html.