On Wed, Feb 17, 2010 at 08:53:23AM -0800, Nick Alexander wrote:
> >PS: FWIW, in this kind of problem having a nice "VectorSpaceWithBasis"
> >so that I could define a vector space with basis given by the group
> >elements, would come really fancy.
>
> I also want this! Various people in the combinat group suggested
> they had it/were working on it, but I don't know the status.
That has been working just fine for more than one year, in plain Sage:
sage: CombinatorialFreeModule(QQ, G)
Free module generated by Special Linear Group of degree 2 over Finite Field of
size 2 over Rational Field
It got refactored in the category rework, and it will deserve further
optimizations some day. And it will need to eventually be renamed to
FreeModule(QQ, G), since there is nothing combinatorial to it. But
that's about it.
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
