I couldn't see how to edit the page. Sorry!
I wanted to add the following preprint/book chapter (book chapters don't
seem to exist in the list yet):
Andrew Mathas, http://front.math.ucdavis.edu/1310.2142";>Cyclotomic
quiver Hecke algebras of type A,
*arXiv:1310.2142*
*Andrew*
On Monday, 17 F
I'm highly in favor of adding more meat to the representations of the
> Specht modules in Sage. Currently, the way I understand them, they're
> but a container for matrices.
>
> At some point I will release my graded Specht module code (arbitrary
level) which is IMHO is state of the art for r
Are you looking for something like this:
sage: StandardTableau([[1,2,4],[3,5]]).symmetric_group_action_on_entries(
Permutation(((4,5))) )
[[1, 2, 5], [3, 4]]
If you also wants "straightening" then I guess it is implicit in the action
of implementation of seminormal forms.
Andrew
On Tues
On Mon, Feb 17, 2014 at 07:36:10PM -0500, Mark Shimozono wrote:
> Unless someone objects, I am going to make a microticket
> that adds tensors of maps between free modules with basis
> and fixes the type-checking in the element constructor.
Please!
More on the rest after my class ...
Cheers,
Nicolas,
I am not entirely happy with the way covariant construction functors are
applied.
I think the Cartesian and tensor product constructors should always receive
tuples
of parents/elements/maps
and the constructor for QQ-algebra should accept a single parent/element/map.
It would be a good
Nicolas,
I am confused. The tensor covariant functorial construction gets called like
tensor([A,B,C]).
However there is code in
sage.categories.modules_with_basis.ModulesWithBasis
that has a parent method
tensor(*parents)
and an element method
tensor(*elements)
with a calling convention l
Travis and Nicolas,
Unless someone objects, I am going to make a microticket
that adds tensors of maps between free modules with basis
and fixes the type-checking in the element constructor.
--Mark
> Hey Mark,
>I would say so. Although at that time I was focused just on piecing
> together t
Hey Mark,
I would say so. Although at that time I was focused just on piecing
together the coercions, it probably should be abstracted so we can do
something like:
sage: tensor([phi, psi, xi])
given some module morphisms phi, psi, and xi to get a morphism of the
appropriate tensor products.
Nicolas,
It is #15305 which is merged.
However the morphism-tensoring code seems to be embedded in some code for
coercions, rather than abstracted into its own method and used in the
coercion. I even saw in the log that you requested this.
Travis, am I interpreting things correctly?
--Mark
> Lu
Hi,
I'm highly in favor of adding more meat to the representations of the
Specht modules in Sage. Currently, the way I understand them, they're
but a container for matrices.
There is a Modules(R) in Sage, but it seems to be tailored for
commutative rings. Can we use it for noncommutative R?
Be
Second answers on myself,
Does the catgeory guys already think the possibility or utility to
define the category of :
Representations( ring )
Whose Parents belonging to this catgeory would be a king of meet (think
meet in terms of category construction) between :
A set with an action
A mod
On Sun, Feb 16, 2014 at 06:49:07PM -0500, Mark Shimozono wrote:
> How does sage construct the tensor product of morphisms in the category
> of tensor products of modules with basis?
> If this construction doesn't already exist,
> then the abuse of the term "tensor functor" is disappointing.
Isn't
On 17/02/2014 17:52, Nicolas Borie wrote:
Hi all,
Is there currently a way in Sage-combinat to compute the action of a
permutation over standard tableaux ?
For example, I would like something like :
Permutation([2,1,3,4]) * B([[1,2],[3,4]]) = B([[1,2],[3,4]]) -
B([[1,3],[2,4]])
This thing
Hi all,
Is there currently a way in Sage-combinat to compute the action of a
permutation over standard tableaux ?
For example, I would like something like :
Permutation([2,1,3,4]) * B([[1,2],[3,4]]) = B([[1,2],[3,4]]) -
B([[1,3],[2,4]])
This thing is called in French "algorithme de redress
14 matches
Mail list logo
