FriCAS This is the public repo of the FriCAS documentation effort. The corresponding website is at http://fricas.github.io.