如何在 Sage 中组合两个偏序



假设我有两个有限偏序集(例如用sage.combinat.posets.posets.FinitePoset构造(。

我想计算二元关系,它是这些偏序集合的顺序关系的组成。

如何在圣人中做到这一点?

(我是圣人新手。

显然

还没有。 参见 Trac 24542 了解二元关系的一般未来实现(这是您可能需要的,因为这种偏序集的组合通常可能威胁到不是偏序集?(。

最新更新