The current MAGMA interface is a human API: the user is asked to copy/paste commands to and from MAGMA. If MAGMA is available in the command line, it should be called automatically, without user intervention, similarly to existing functionality for GAP.
The current MAGMA interface is a human API: the user is asked to copy/paste commands to and from MAGMA. If MAGMA is available in the command line, it should be called automatically, without user intervention, similarly to existing functionality for GAP.