On Fri, Jul 11, 2014 at 09:42:15PM +0000, Simon King wrote:
> +1
>
> There is a method .homogeneous_component(d). Maybe there should be a
> method .homogeneous_component_iter(), iterating over them. But the
> default iterator should iterate over elements.
Ok!
> Shouldn't it be the job of CombinatorialFreeModule to provide a generic
> iterator, relying on the iterators over the base ring and the indexing
> set for the basis? This is currently missing.
Yes. Or probably Modules.WithBasis.FiniteDimensional.Finite. Well, we
also need the base ring to be enumerated, but the category for modules
over an enumerated set. Hmm, we could even just have
Modules.FiniteDimensional inherit from CartesianProduct(...); but
until we have CartesianPower, that probably would be memory
inefficient (since we would need to store the list [R,...,R] of the
cartesian factors).
I'll think about this if this can fit in #11111.
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/d/optout.
