/math/fricas/