Jump to content

Talk:Critical pair

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

The usage in term rewriting

[edit]

The section that describes the usage in term rewriting does not define what a CP is in a way which I could understand (I do understand all the terms that appear in the text). A clear and precise definition would be an important contribution to this page. AmirOnWiki (talk) 16:13, 20 April 2011 (UTC)[reply]

Yes, it should be split.

[edit]

The two senses of critical pair have so little in common that retaining them together on a single page seems to me nearly indefensible. Separating them and creating a disambiguation page definitely gets my vote as the way to go.—PaulTanenbaum (talk) 00:21, 22 April 2011 (UTC)[reply]

Fixed the entry for order theory

[edit]

The new description I've just put in is less than ideal in that, though it is brief, it does lack rigor. But its minor vagueness and its colloquialism are a small price to pay for actual correctness. The replaced description was wrong, as is shown by the following example: for the set {{a}, {a, A}, {b}, {b, B}} ordered by set containment, ({a}, {b, B}) is a critical pair but {a} and {b, B} do not "have the same order relation to all other elements."—PaulTanenbaum (talk) 18:25, 3 January 2014 (UTC)[reply]

I used your example for an illustration in the Critical pair (order theory) article, also indicating that "is a critical pair" is not a symmetric relation (as the replaced description suggested). - Jochen Burghardt (talk) 20:11, 3 January 2014 (UTC)[reply]