#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: | 8a28c1a382438c330b8a17297961605f4f3cd9c8
u/mmasdeu/20388-fix | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by mmasdeu):
Replying to [comment:19 vdelecroix]:
> An annoying feature
> {{{
> sage: magma.set_<TAB>
> Creating list of all Magma intrinsics for use in tab completion.
> ...
> Scanning Magma types ...
> }}}
This only happens the first time you use a server/tmpdir (as long as
tmpdir is not cleaned). It is part of the fun to be able to use the
discovery feature of python with Magma! So this should be seen as a nice
feature, and it was done in your computer the first time you used the
magma session as well...
--
Ticket URL: <http://trac.sagemath.org/ticket/20388#comment:21>
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.
