>
> I've created #24914.
>
IMO, would be better to have individual tickets for each file/issue as they
are independent. If you decide to do that, you can either keep #24914 as a
meta-ticket or recycle it as one of the tickets for one of the specific
issues.
> I will get around to it by
Dne pátek 2. března 2018 0:08:46 UTC+1 Travis Scrimshaw napsal(a):
>
>
>
>>>
Free abelian monoid... Hmmm... What free abelian monoid?
sage: PBW.basis().keys().an_element()
PBW[alpha[1]]^2*PBW[alphacheck[1]]^2*PBW[-alpha[1]]^3
So PBW.basis() is _indexed_
>
>>
>>> Free abelian monoid... Hmmm... What free abelian monoid?
>>>
>>> sage: PBW.basis().keys().an_element()
>>>
>>> PBW[alpha[1]]^2*PBW[alphacheck[1]]^2*PBW[-alpha[1]]^3
>>>
>>>
>>> So PBW.basis() is _indexed_ by elements of the basis of PBW? I am sorry
>>> for all these stupid questions
Hi!
Dne pátek 23. února 2018 23:28:21 UTC+1 Travis Scrimshaw napsal(a):
>
>
> No, it is not. The keys for the basis of the PBW are different than those
>>> for the algebra generators. See the output:
>>>
>>> sage: PBW.basis()
>>> Lazy family (Term map from Free abelian monoid indexed by
>
> please don't take my poste as a suggestion. I'm not close enough to the
> subject that I really could do that.
>
That doesn't mean you cannot have a good suggestion.
> I just wanted to point out where the confusion comes from (hoping you have
> I good Idea what we can do against it).
>
Hi Travis,
please don't take my poste as a suggestion. I'm not close enough to the
subject that I really could do that. I just wanted to point out where the
confusion comes from (hoping you have I good Idea what we can do against
it).
Best,
Sebastian
2018-02-26 12:04 GMT+01:00 Travis Scrimshaw
>
> I had that confusion about the pbw_basis method, as well. From my (non
> expert) point of view I would have expected the following:
>
> What is now your L.pbw_basis() I expected to be
> L.universal_enveloping_algebra(). This would match what the
> representation string is telling you:
>
>
Hi Travis,
I had that confusion about the pbw_basis method, as well. From my (non
expert) point of view I would have expected the following:
What is now your L.pbw_basis() I expected to be
L.universal_enveloping_algebra(). This would match what the representation
string is telling you:
sage:
> No, it is not. The keys for the basis of the PBW are different than those
>> for the algebra generators. See the output:
>>
>> sage: PBW.basis()
>> Lazy family (Term map from Free abelian monoid indexed by {alpha[1],
>> alphacheck[1], -alpha[1]} to Universal enveloping algebra of Lie algebra
Hi!
Dne pátek 23. února 2018 0:15:59 UTC+1 Travis Scrimshaw napsal(a):
>
> Hey Vit,
>
>Some of these issues are probably related to bad input. Let us start
>>> with *.algebras_generators(). It is useful to look at the output:
>>>
>>> sage: PBW.algebra_generators()
>>> Finite family
Hey Vit,
Some of these issues are probably related to bad input. Let us start
>> with *.algebras_generators(). It is useful to look at the output:
>>
>> sage: PBW.algebra_generators()
>> Finite family {-alpha[1]: PBW[-alpha[1]], alpha[1]: PBW[alpha[1]],
>> alphacheck[1]: PBW[alphacheck[1]]}
Hey Travis,
thank you for clarification.
Dne čtvrtek 22. února 2018 2:44:44 UTC+1 Travis Scrimshaw napsal(a):
>
> Hey Vit,
>Some of these issues are probably related to bad input. Let us start
> with *.algebras_generators(). It is useful to look at the output:
>
> sage:
Hey Vit,
Some of these issues are probably related to bad input. Let us start
with *.algebras_generators(). It is useful to look at the output:
sage: PBW.algebra_generators()
Finite family {-alpha[1]: PBW[-alpha[1]], alpha[1]: PBW[alpha[1]],
alphacheck[1]: PBW[alphacheck[1]]}
So it is
13 matches
Mail list logo
