A basic library for symbolic math in python