Just to ping... Anyone looking at https://trac.sagemath.org/ticket/25872 ?

Working modular decomposition => working decomposition of poset ("converse of lexicographic sum") => optimizations for the jump number etc.

--
Jori Mäntysalo

Reply via email to