#17927: Discarded arguments in IntegerVector
-------------------------+-------------------------------------------------
Reporter: | Owner:
ncohen | Status: needs_work
Type: | Milestone: sage-6.6
defect | Resolution:
Priority: major | Merged in:
Component: | Reviewers:
combinatorics | Work issues:
Keywords: | Commit:
Authors: | 4b5ef5365d54a0e32bf693b35440faddf8262686
Nathann Cohen | Stopgaps:
Report Upstream: N/A |
Branch: |
public/17927 |
Dependencies: |
#18109 |
-------------------------+-------------------------------------------------
Comment (by nthiery):
I actually done a good chunk of work in this direction. However I very
soon realized that, to avoid changing a lot of doctests temporarilly
and reverting them back later on, we really want to have a class for
integer vectors of a given length (with constraints). A disjoint union is
not enough. Indeed quite some of the doctests are about things like
checking containment which is not available with a disjoint union.
The natural thing to implement this class is to base it on
`IntegerLists` (not `IntegerListsLex`). Since the code base for the
later is in a state of flux, I'd rather wait a couple days and base
the work on #18109. I also want to focus on other things with people
during the Sage days here. I guess it would be doable within the next
two week.
Or we can go for a temporary solution, but it feels like just
additional work for not much value: casual users won't benefit from
work here before 6.7 anyway, we are not in total rush.
--
Ticket URL: <http://trac.sagemath.org/ticket/17927#comment:15>
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.
