假设我有两个有限偏序集(例如用sage.combinat.posets.posets.FinitePoset
构造(。
我想计算二元关系,它是这些偏序集合的顺序关系的组成。
如何在圣人中做到这一点?
(我是圣人新手。
显然
还没有。 参见 Trac 24542 了解二元关系的一般未来实现(这是您可能需要的,因为这种偏序集的组合通常可能威胁到不是偏序集?(。