#20388: Fix the Magma interface to work with remote installations
-------------------------------------+-------------------------------------
Reporter: mmasdeu | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-7.2
Component: interfaces: | Resolution:
optional | Merged in:
Keywords: magma, remote | Reviewers:
Authors: Marc Masdeu | Work issues:
Report Upstream: N/A | Commit:
Branch: u/mmasdeu/20388 | da0c8a128c83b89f9cc6f42b3dfcdcac3f8fce24
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by nbruin):
I think the `set_magma_session` is a rather heavy interface. It seems to
me the appropriate place would be a method on
`sage.interfaces.expect.Expect` along the lines of
{{{
def set_server_and_command(self,server,command):
if self._expect:
raise RuntimeError("interface has already started")
self._server = server
self.__command = command
}}}
If there are other settings to change as well, it may be necessary to
override this routine on Magma (and do the usual super() call thing)
The main thing is that an instantiated expect interface doesn't run a
process on its own. Starting it is a separate operation (and in fact,
during the lifetime of an expect object it may start and stop underlying
processes repeatedly)
The cleaner solution would be to make new `Magma` instances for different
server/command settings, but as we've seen a lot of code assumes that
there is a single, global, magma instance for default use throughout the
lifetime of a sage session.
--
Ticket URL: <http://trac.sagemath.org/ticket/20388#comment:14>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
