#13979: Make CartesianProduct_iter a proper Parent
------------------------------------+-----------------------------
Reporter: cnassau | Owner: sage-combinat
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.3
Component: combinatorics | Resolution:
Keywords: | Merged in:
Authors: Christian Nassau | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
------------------------------------+-----------------------------
Changes (by rws):
* milestone: sage-duplicate/invalid/wontfix => sage-6.3
Old description:
> In Sage 5.7.beta4 the class `CartesianProduct_iter` is still a
> `CombinatorialClass`. Furthermore, the cartesian product can't handle
> infinite sets as factors. As a consequence the following is currently
> broken:
>
> {{{#!python
> sage: M=CombinatorialFreeModule(GF(3),Integers())
> sage: N=tensor((M,))
> sage: cartesian_product((N,N))
> Traceback (most recent call last):
> ...
> TypeError: len() of unsized object
> }}}
>
> The attached patch
> * derives `CartesianProduct_iter` from `EnumeratedSetFromIterator`
> instead
> * adds doctests to verify that the TestSuites work
> * makes sure that infinite factors are properly handled
>
> =========
>
> 16 months later the test passes - must have been fixed by some other
> ticket
New description:
In Sage 5.7.beta4 the class `CartesianProduct_iter` is still a
`CombinatorialClass`.
Previous ticket description:
------------------------------
Furthermore, the cartesian product can't handle infinite sets as factors.
As a consequence the following is currently broken:
{{{#!python
sage: M=CombinatorialFreeModule(GF(3),Integers())
sage: N=tensor((M,))
sage: cartesian_product((N,N))
Traceback (most recent call last):
...
TypeError: len() of unsized object
}}}
The attached patch
* derives `CartesianProduct_iter` from `EnumeratedSetFromIterator`
instead
* adds doctests to verify that the TestSuites work
* makes sure that infinite factors are properly handled
=========
16 months later the test passes - must have been fixed by some other
ticket
--
Comment:
Still, your patch contains the categorification of `class
CartesianProduct_iters` and doctests, which would be valuable to have in
Sage. Thus, I modified the description accordingly. As to wontfix, you're
not required to follow the ticket, others may want to take over.
Unfortunately there's no way to unsubscribe from the mailing, as far as I
know.
--
Ticket URL: <http://trac.sagemath.org/ticket/13979#comment:12>
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.
