activemath-1.0