A computer algebra system, written in Scala, by Thomas Gebert