> > The code reduces everything to the multiplication of a basis element
> > T_w by a generator T_i (product_by_generator_on_basis). If you have a
> > way to detect when the relation applies (here if ws_i as both i and
> > i+1 as descents?), then you can adapt this method to return 0. You
> > should also adapt the basis indices appropriately.
>
> If I only amend product_by_generator_on_basis some non-allowed terms
> in my calculations actually survive. So do I need to add checks in
Assuming type A, does it work to discard T_i * H(w) if either s_{i+1}
or
s_{i-1} is a left descent of w? It seems to me that this is the
required
equivalent condition.
Dan
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To post to this group, send email to sage-combinat-de...@googlegroups.com.
To unsubscribe from this group, send email to
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sage-combinat-devel?hl=en.
