如何在Sage中合成两个偏序？

Question

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

我想计算二元关系，它是这些偏序集的序关系的composition。

如何在Sage中做到这一点？

(我是Sage新手。)

Answer 1

显然，现在还不是。有关二元关系的一般未来实现，请参阅Trac 24542 (这可能是您可能需要的，因为这种偏序集的组合通常可能不是偏序集？)。