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
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