"edits to poset_quotient_constructor megamall"