Hi Anne, Dan, Jean,
> Jean:
> the opposition automorphism
Thanks Jean! It's great to have experts with many different points of
view around :-)
On Tue, Mar 29, 2011 at 06:56:05PM -0700, bump wrote:
> I was going to suggest making it a method of ClassicalCrystals (so
> it would be availab
Anne wrote:
> The standard name in the literature for the automorphism (which may be
> trivial)
> induced by -w0 is
> "the opposition automorphism"
This seems better to me.
I was going to suggest making it a method of ClassicalCrystals (so it
would be
available for other crystals besides crysta
On 3/29/11 9:15 AM, Jean MICHEL wrote:
On Tue, Mar 29, 2011 at 08:16:53AM -0700, Daniel Bump wrote:
When the Dynkin diagram has a nontrivial automorphism (of order
two except D4), the map alpha -> -w0(alpha) may or not
coincide with this automorphism.
...
Here there is a non-trivial graph aut
On Tue, Mar 29, 2011 at 08:16:53AM -0700, Daniel Bump wrote:
> When the Dynkin diagram has a nontrivial automorphism (of order
> two except D4), the map alpha -> -w0(alpha) may or not
> coincide with this automorphism.
...
> Here there is a non-trivial graph automorphism but this
> isn't it. Theref
> sage: T.dynkin_diagram_automorphism_w0()
When the Dynkin diagram has a nontrivial automorphism (of order
two except D4), the map alpha -> -w0(alpha) may or not
coincide with this automorphism.
The issue is with type D_n.
If n is odd, then alpha -> -w0(alpha) is a nontrivial permutation
Hi Nicolas,
Ok, I changed this from an attribute to a cached method with doc string
and doc tests. I agree that this could live in root system, but for the
moment I kept this in the crystal code.
Best,
Anne
On 3/29/11 12:45 AM, Nicolas M. Thiery wrote:
Hi Anne,
On Mon, Mar 28
Hi Nicolas,
On 29 Mrz., 11:19, "Nicolas M. Thiery"
wrote:
> All good, as long as it plays smoothly with the patches posted on
> #9944!
Hm. I guess that it is better to post on #9944 rather than on #9138,
then.
Cheers,
Simon
--
You received this message because you are subscribed to the Google
On Tue, Mar 29, 2011 at 02:05:11AM -0700, Simon King wrote:
> On 29 Mrz., 11:00, "Nicolas M. Thiery"
> wrote:
> > I am happy with the recycling of this ticket. Especially since we also
> > have #9944: categories for polynomial rings.
>
> I guess that could be fixed as well. Currently I have
> s
Hi Nicolas,
On 29 Mrz., 11:00, "Nicolas M. Thiery"
wrote:
> I am happy with the recycling of this ticket. Especially since we also
> have #9944: categories for polynomial rings.
I guess that could be fixed as well. Currently I have
sage: QQ['x'].category()
Category of algebras over Rational
Good morning Simon,
On Tue, Mar 29, 2011 at 12:56:39AM -0700, Simon King wrote:
> working on #11068, I tried to move the methods responsible for
> creating ideals and quotient rings from sage/rings/ring.pyx to sage/
> categories/rings.py. However, it did not work, because rings are not
> u
Hi all!
working on #11068, I tried to move the methods responsible for
creating ideals and quotient rings from sage/rings/ring.pyx to sage/
categories/rings.py. However, it did not work, because rings are not
using categories properly.
I think I could manage to make them use categories. Or at lea
Hi Anne,
On Mon, Mar 28, 2011 at 03:55:19PM -0700, Anne Schilling wrote:
> On 3/28/11 3:21 PM, Daniel Bump wrote:
> >
> >The patch contains this:
> >
> >ind = lambda i: (-w0.action(alpha[i])).support()[0]
> >
> >This would be called for each element of hw, which
> >depends on the distance
On Tue, Mar 29, 2011 at 08:21:03AM +0200, Martin Rubey wrote:
> 2) what can I do just to check whether something changed, without
> applying the patches? I tried hg pull and hg incoming but that didn't
> report any changes...
`hg log` in .hg/patches or browsing http://combinat.sagemath.org/patche
13 matches
Mail list logo
