math/fricas
