README file for Fricas code
README file for Aldor code