1

Suppose I have two finite posets (e.g. constructed with sage.combinat.posets.posets.FinitePoset).

I want to calculate the binary relation which is the composition of the order relations of these posets.

How to do this in Sage?

(I am a Sage novice.)

porton
  • 5,214
  • 11
  • 47
  • 95

1 Answers1

0

Not yet, apparently. See Trac 24542 for a general future implementation of binary relations (which is what you'd likely need, since this sort of composition of posets probably usually threatens not to be a poset?).

kcrisman
  • 4,374
  • 20
  • 41
  • It is **my** patch! – porton Feb 13 '18 at 19:41
  • Haha, that is great! I didn't even notice that. Well, clearly you are not such a novice. I suggest continuing the discussion on the Trac ticket - also, there is a sage-combinat Google group https://groups.google.com/forum/#!forum/sage-combinat-devel where you will get good suggestions. – kcrisman Feb 13 '18 at 20:40