On Friday, November 16, 2012 12:55:00 PM UTC-8, Travis Scrimshaw wrote:
> > I also noted that `FreeModule` does not support infinite dimensions > by (naively) calling `FreeModule(QQ, oo)`. However I believe we can still > work in infinite dimensions by working in `CombinatorialFreeModule(QQ, > ZZ)`. In either case, this may only be suitable if we consider it as a > direct sum (and implementing using the sparse free modules)... > CombinatorialFreeModule(QQ, basis) works fine if 'basis' is infinite: sage: CombinatorialFreeModule(QQ, ZZ) Free module generated by Integer Ring over Rational Field sage: CombinatorialFreeModule(QQ, Partitions()) Free module generated by Partitions over Rational Field Just don't ask for a list of the basis elements ;) -- John -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
