本文整理汇总了Python中sage.combinat.posets.posets.Poset.order_ideal方法的典型用法代码示例。如果您正苦于以下问题：Python Poset.order_ideal方法的具体用法？Python Poset.order_ideal怎么用？Python Poset.order_ideal使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类sage.combinat.posets.posets.Poset的用法示例。
在下文中一共展示了Poset.order_ideal方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: AnalyticType
# 需要导入模块: from sage.combinat.posets.posets import Poset [as 别名]
# 或者: from sage.combinat.posets.posets.Poset import order_ideal [as 别名]
#.........这里部分代码省略.........
meromorphic modular,
quasi meromorphic modular]
sage: len(AT.relations())
45
sage: AT.cover_relations()
[[zero, zero],
[zero, cuspidal],
[zero, quasi cuspidal],
[cuspidal, modular],
[cuspidal, quasi cuspidal],
[modular, weakly holomorphic modular],
[modular, quasi modular],
[weakly holomorphic modular, quasi weakly holomorphic modular],
[weakly holomorphic modular, meromorphic modular],
[quasi cuspidal, quasi modular],
[quasi modular, quasi weakly holomorphic modular],
[quasi weakly holomorphic modular, quasi meromorphic modular],
[meromorphic modular, quasi meromorphic modular]]
sage: AT.has_top()
True
sage: AT.has_bottom()
True
sage: AT.top()
quasi meromorphic modular
sage: AT.bottom()
zero
"""
# We (arbitrarily) choose to model by inclusion instead of restriction
P_elements = [ "cusp", "holo", "weak", "mero", "quasi"]
P_relations = [["cusp", "holo"], ["holo", "weak"], ["weak", "mero"]]
self._base_poset = Poset([P_elements, P_relations], cover_relations=True, facade=False)
L = self._base_poset.order_ideals_lattice()
L = FiniteLatticePoset(L, facade=False)
FiniteLatticePoset.__init__(self, hasse_diagram=L._hasse_diagram, elements=L._elements, category=L.category(), facade=L._is_facade, key=None)
def _repr_(self):
r"""
Return the string representation of ``self``.
EXAMPLES::
sage: AnalyticType()
Analytic Type
"""
return "Analytic Type"
def __call__(self, *args, **kwargs):
r"""
Return the result of the corresponding call function
of ``FiniteLatticePoset``.
If more than one argument is given it is called with
the list of those arguments instead.
EXAMPLES::
sage: AT = AnalyticType()
sage: AT("holo", "quasi") == AT(["holo", "quasi"])
True
"""
if len(args)>1: