#15481: Words.__contains__ returns wrong answers
---------------------------------+-------------------------
Reporter: ncohen | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-5.13
Component: combinatorics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------------+-------------------------
Description changed by ncohen:
Old description:
> {{{
> sage: Word('12') in Words('12') # should be True
> False
> sage: Words(2,5).random_element() in Words(2, finite=False)
> True
> sage: words.FibonacciWord() in Words([0,1], infinite=False)
> True
> sage: Words('123')('121212') in Words(2)
> False
> sage: Words('123')('121212') in Words('1234')('121212')
> False
> sage: Words('12B')('121212') in Words('1234')('121212')
> False
> sage: words.FibonacciWord() in Words([0,1,2])
> False
> }}}
>
> I have no idea how this can be fixed, so if a Word guy can look at this..
> `O_o`
>
> Nathann
New description:
{{{
sage: Word('12') in Words('12')
False
sage: Words(2,5).random_element() in Words(2, finite=False)
True
sage: words.FibonacciWord() in Words([0,1], infinite=False)
True
sage: Words('123')('121212') in Words(2)
False
sage: Words('123')('121212') in Words('1234')('121212')
False
sage: Words('12B')('121212') in Words('1234')('121212')
False
sage: words.FibonacciWord() in Words([0,1,2])
False
}}}
I have no idea how this can be fixed, so if a Word guy can look at this..
`O_o`
Nathann
--
--
Ticket URL: <http://trac.sagemath.org/ticket/15481#comment:1>
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/groups/opt_out.
