Debugging Magma Code# Introduction SetDebugOnError(f): BoolElt Using the Debugger Example: Debugging a Harmonic Sum Function