Text this: Discovering mathematics with Magma :