Hey Mark,
AFAIK, there is not currently a ticket on this. However it would not be
hard to implement R^4 as a free module over R as a default:
sage: h = SymmetricFunctions(QQ).h()
sage: F = FreeModule(h, 4)
sage: v = F([h[2,1], h[3,2,2,1], -2, h[7]]); v
(h[2, 1], h[3, 2, 2, 1], -2*h[], h[7])
Although the natural scalar action of R on R^4 is not currently there:
sage: B = F.basis()
sage: h[2,1] * B[0] + h[3,2,2,1] * B[1] - h[7] * B[3] # This breaks with
an error
sage: v + B[0] - B[2] # This crashes my Sage
Best,
Travis
On Wednesday, July 8, 2015 at 10:46:19 AM UTC-7, Mark Shimozono wrote:
>
> The exponential shortcut for free module construction, such as
>
> {{{ QQ^3 }}}
>
> does not work for rings with slightly more complicated constructions.
> For example, it does not work for group algebras, symmetric function rings,
> etc.
>
> Is there a ticket on this?
>
>
>
>
>
--
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.
