本文整理匯總了Python中sage.combinat.root_system.root_system.RootSystem.reduced_word_of_translation方法的典型用法代碼示例。如果您正苦於以下問題：Python RootSystem.reduced_word_of_translation方法的具體用法？Python RootSystem.reduced_word_of_translation怎麽用？Python RootSystem.reduced_word_of_translation使用的例子？那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類sage.combinat.root_system.root_system.RootSystem的用法示例。
在下文中一共展示了RootSystem.reduced_word_of_translation方法的1個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Python代碼示例。
示例1: maximal_elements
# 需要導入模塊: from sage.combinat.root_system.root_system import RootSystem [as 別名]
# 或者: from sage.combinat.root_system.root_system.RootSystem import reduced_word_of_translation [as 別名]
def maximal_elements(self):
r"""
Return the maximal elements of ``self`` with respect to Bruhat order.
The current implementation is via a conjectural type-free
formula. Use maximal_elements_combinatorial() for proven
type-specific implementations. To compare type-free and
type-specific (combinatorial) implementations, use method
:meth:`_test_maximal_elements`.
EXAMPLES::
sage: W = WeylGroup(['A',4,1])
sage: PF = W.pieri_factors()
sage: sorted([w.reduced_word() for w in PF.maximal_elements()], key=str)
[[0, 4, 3, 2], [1, 0, 4, 3], [2, 1, 0, 4], [3, 2, 1, 0], [4, 3, 2, 1]]
sage: W = WeylGroup(RootSystem(["C",3,1]).weight_space())
sage: PF = W.pieri_factors()
sage: sorted([w.reduced_word() for w in PF.maximal_elements()], key=str)
[[0, 1, 2, 3, 2, 1], [1, 0, 1, 2, 3, 2], [1, 2, 3, 2, 1, 0],
[2, 1, 0, 1, 2, 3], [2, 3, 2, 1, 0, 1], [3, 2, 1, 0, 1, 2]]
sage: W = WeylGroup(RootSystem(["B",3,1]).weight_space())
sage: PF = W.pieri_factors()
sage: sorted([w.reduced_word() for w in PF.maximal_elements()], key=str)
[[0, 2, 3, 2, 0], [1, 0, 2, 3, 2], [1, 2, 3, 2, 1],
[2, 1, 0, 2, 3], [2, 3, 2, 1, 0], [3, 2, 1, 0, 2]]
sage: W = WeylGroup(['D',4,1])
sage: PF = W.pieri_factors()
sage: sorted([w.reduced_word() for w in PF.maximal_elements()], key=str)
[[0, 2, 4, 3, 2, 0], [1, 0, 2, 4, 3, 2], [1, 2, 4, 3, 2, 1],
[2, 1, 0, 2, 4, 3], [2, 4, 3, 2, 1, 0], [3, 2, 1, 0, 2, 3],
[4, 2, 1, 0, 2, 4], [4, 3, 2, 1, 0, 2]]
"""
ct = self.W.cartan_type()
s = ct.translation_factors()[1]
R = RootSystem(ct).weight_space()
Lambda = R.fundamental_weights()
orbit = [R.reduced_word_of_translation(x)
for x in (s*(Lambda[1]-Lambda[1].level()*Lambda[0]))._orbit_iter()]
return [self.W.from_reduced_word(x) for x in orbit]