#16466: Add gambit as an optional package
-------------------------------------+-------------------------------------
Reporter: jcampbell | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: packages: | Resolution:
optional | Merged in:
Keywords: | Reviewers: Thierry Monteil
Authors: James Campbell | Work issues:
Report Upstream: N/A | Commit:
Branch: | 5470da3e66d90b58a526ffe1aebbf0108a578c1b
u/jcampbell/add_gambit_as_an_optional_package| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by vinceknight):
Replying to [comment:28 kcrisman]:
> > Ok thanks, I think it would be helpful (before I start
changing/opening tickets and risk breaking everything) to just confirm a
few things with someone/anyone. Would either of you be free to talk about
this for 5 minutes?
> Not now, sorry :( But my recommendation, assuming it is technically not
too difficult, is to
> 1. Make #16333 for the basic functionality for games, even if some
things are not implemented
> 1. Make this ticket be about both the optional package and making it
work with Sage
> 1. Make some other ticket be about any other add ons you are thinking
of.
This sounds sensible to me but my understanding is that we can't change
the name of a trac ticket (or at least we shouldn't). If that's the case
is it enough to explain in the comments what the change is to be?
If I'm wrong and it's fine to change the name of a ticket should I just go
ahead and do that?
--
Ticket URL: <http://trac.sagemath.org/ticket/16466#comment:29>
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.
