The Fricas computer algebra system
