A MAXIMA wrapper using socket.