There is an inconsistency between the names max_cliques() and maximal_ivs(). I propose adding an alias max_ivs() for maximal_ivs(). Could you do this @maelle ? Eventually we can removemaximal_ivs().
As a naming policy that aligns most closely with what we already have, I suggest using max for maximal and largest for maximum. We mostly follow this already, except for min_separators() and min_st_separators(), but those concepts are a bit tricky and this is not the right place to discuss them. Agree with this policy @krlmlr and @ntamas ?
There is an inconsistency between the names
max_cliques()andmaximal_ivs(). I propose adding an aliasmax_ivs()formaximal_ivs(). Could you do this @maelle ? Eventually we can removemaximal_ivs().As a naming policy that aligns most closely with what we already have, I suggest using
maxfor maximal andlargestfor maximum. We mostly follow this already, except formin_separators()andmin_st_separators(), but those concepts are a bit tricky and this is not the right place to discuss them. Agree with this policy @krlmlr and @ntamas ?