#18581: _package_lists_from_sage_output() should output installed and available
versions
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.8
Component: misc | Resolution:
Keywords: | Merged in:
Authors: John Palmieri | Reviewers: Jeroen Demeyer
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jhpalmieri/versions | 61a40761c68b5b054ff86a0d8d4102556b9dcf58
Dependencies: #18456 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by ncohen):
> 1. I believe those counter-examples are gone now (but correct me if I'm
wrong)
http://mirror.switch.ch/mirror/sagemath//spkg/optional/list
Look for 'stein'
> 2. Splitting package names from versions should be done consistently,
it's not that every script can independently decide how to do that. In
particular, I find it an obvious requirement that the package name
reported by `./sage --optional` should be accepted by `./sage -i`.
I agree, but that's not my point. My point is that you try to enforce a
standard which is not respected by Sage. If you wish for all packages to
be easily split into [name,version] by splitting the first '-' (which also
means no '-' should appear in their name), I totally agree with you. But
it should be done this way:
1) Fix the names
2) Add a consistency check somewhere to make sure it does not break in the
future
3) Change the regexp
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/18581#comment:41>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
