2
$\begingroup$

I tried to do this myself, but I do not have sufficient privileges to do so. It seems like I cannot even suggest one as a synonym of the other. As a side question, is having an approved synonym the same thing as merging?

$\endgroup$
2
$\begingroup$

I have performed the merge of into , with no synonyms, as quid recommended (and I agree with that recommendation).

Luckily this was not a hard decision to make. Because sometimes, it seems hard to get MO community consensus on tag-merges and/or synonymization.

$\endgroup$
2
$\begingroup$

I support a merge and propose to keep . I would not even keep as a synonym.

You should have been able to propose a synonym though (but only in one direction and maybe you only tried the other); one needs some score, five IIRC, in the tag for this. But anyway that system does not work so well, and one needs to post on meta regardless.

On the side question: no, this is different and both can happen without the other.

A synonym only is active for future usage of the tag. Attempted usages of the minor tag after the synonym was created are mapped to the major tag. But legacy usage is preserved. In particular, if the synonym is canceled the situation before the synonym is restored. (Yet the two tags are taken together for searches so they nevertheless operate as a joint tag in a way as long as the synonym is active).

By contrast a merge will instantly retag everything and the minor tag will cease to exist, and this is essentially irreversible (and thus reserved to moderators). One can create a synonym directly as part of the merge, but this is optional.

$\endgroup$
  • 1
    $\begingroup$ Thanks for your answer. Yes, it looks like I have sufficient score in the enumeration tag but not in the enumerative-combinatorics tag to suggest a synonym, and I probably tried in the wrong direction. $\endgroup$ – Tony Huynh Feb 6 '16 at 1:15

Not the answer you're looking for? Browse other questions tagged .