Mathics core developer here

We used to integrate with Sage, but no longer. The main reason is that it wasn't really used for anything, but made installing Mathics much more complicated