Discovering Mathematics with Magma [electronic resource] : Reducing the Abstract