Constructor documentation of the FriCAS project https://github.com/fricas/fricas