Hi Anne,
I just had another idea. The k-bounded subspace is sort of an algebra if
you increase the value of k. Maybe it should automatically put it in the
larger k'-bounded space.
I completely forgot about this rule that s_\lambda^{(k)}*s_\mu^{(ell)} is
in the (k+\ell)-bounded subspace. I can even tell you what the minimal
value of r is for which it is in the r-bounded subspace. I don't think it
should automatically put it in the minimal r-bounded space, but it seems
like a good idea that the product on the k-bounded space * an element in
the ell-bounded space should have a result which is in the (k+\ell)-bounded
space (don't raise an error if you don't have to).
If for f and g in Sym, if r = max {\lambda_1 : lambda in
support(s(g[(1-t)X]*f[(1-t)X]) } then f*g will be in the r-bounded subspace.
FYI, in case you didn't notice from what I just wrote, I just learned
something... I know why Mark Haiman said that was a conjecture and I can
track down its origin.
-Mike
On Sunday, 17 June 2012 03:10:17 UTC-4, Nicolas M. Thiery wrote:
>
> On Fri, Jun 15, 2012 at 11:19:54PM -0700, Anne Schilling wrote:
> > It think Mike found a good solution to my problem. Just add an extra
> line
> >
> > sage: Sym.rename()
> >
> > which changes the name back to its original.
>
> That works indeed. The other approach I used elsewhere in this file
> was to use a different base ring, like ZZ, for my examples. See
> e.g. the doctests of inject_shorthands in sf.py.
>
> Cheers,
> Nicolas
> --
> Nicolas M. Thi�ry "Isil" <[email protected]>
> http://Nicolas.Thiery.name/
>
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To view this discussion on the web visit
https://groups.google.com/d/msg/sage-combinat-devel/-/gLorOK9I6v8J.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-combinat-devel?hl=en.
