#15820: Implement sequences of bounded integers
-------------------------------------+-------------------------------------
Reporter: SimonKing | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: algebra | Resolution:
Keywords: sequence bounded | Merged in:
integer | Reviewers:
Authors: Simon King | Work issues:
Report Upstream: N/A | Commit:
Branch: | e166d38d8be72453d42325c5f6a73592ddeb3827
u/SimonKing/ticket/15820 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by SimonKing):
Replying to [comment:208 jdemeyer]:
> Replying to [comment:207 SimonKing]:
> > Is the description of `biseq_s` clear enough now?
> Add that the items in the sequence are non-negative integers and that
`itembitsize` is in `[1 .. GMP_LIMB_BITS]` (assuming both these statements
are true).
Done.
> And I guess that `mask_item` equals `limb_lower_bits_up(itembitsize)`,
where `limb_lower_bits_up` is the function defined in
`src/sage/misc/bitset.pxi`.
It could be that you just spotted a bug (corner case). I define it as
`((<mp_limb_t>1)<<itembitsize)-1`, which is `limb_lower_bits_down`. And
that's to say: If the itembitsize is mp_bits_per_limb (which should be
allowed), then the mask is 0, but it should be all bits 1.
Trying to construct a test to see if it really is a bug...
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=e166d38d8be72453d42325c5f6a73592ddeb3827
e166d38]||{{{Further clarification of biseq_s doc.}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/15820#comment:210>
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.
