#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):
Replying to [comment:8 vdelecroix]:
> I think that the magma interface (and all interface in general) should
just have some default configurable parameters. That would be used with
something like
> {{{
> sage: sage.interfaces.config('magma', server=X', command='Y')
> }}}
I would hang those properties on `sage.interfaces.magma.magma`, which is
the "default" instantiation of the magma interface.
Note that `sage.interfaces.magma.magma` is instantiated upon load, so
we're too late to set defaults for its instantiation. However, actually
''starting up'' only happens once the interface really gets used, so you
could just adapt the relevant properties on the magma object before using
the interface.
A workaround you can already do if you want to use a magma with non-
standard setting is "monkey patch" the global instance, i.e.,
{{{
sage: sage.interfaces.magma.magma = Magma(...<options you want>...)
}}}
with the problem that if some other file (such as `sage.interfaces.all`)
has done an `import from`, you're not reaching them. So perhaps it's a
little more robust to adjust attributes on `sage.interfaces.magma.magma`
rather than rebind it to a different instance (sigh ... and then they say
you don't have to think about pointers when working in python)
--
Ticket URL: <http://trac.sagemath.org/ticket/20388#comment:9>
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.
