Settings for the FriCAS interpreter