Talk:Dershowitz–Manna ordering

Review request

NB: the following comments have been copied from Wikipedia talk:WikiProject Mathematics#Review_request:

Hi, I created a new article Dershowitz-Manna_ordering and it was suggested to me to ask here for some reviews (it's my first new article). I would appreciate any hints or comments as how to improve it (e.g. it is an orphan, but I refrained adding any links before getting some feedback). Dtldarek (talk) 19:48, 1 March 2013 (UTC)

I only took a quick glance, but here are some quick comments:

• It would be nice to include the statement of who Dershowitz and Manna are.
• Some more information (even just a sentence or two) about the context or importance of this order would be helpful; right now, I am skeptical that this article would be of much use to someone who didn't already know its contents.
• There's a lot of notation used that isn't necessary; most notably, the use of the quantifiers $\forall ,\exists$ instead of writing out a sentence makes the reader work harder for no obvious benefit.

--JBL (talk) 20:07, 1 March 2013 (UTC)

I'm a fairly new editor myself. Welcome! The article looks like a good start to me. Some suggestions for improvement:

• Break the main section into

1. A lead section, where you introduce the ordering, give an informal notion of what it is about for the non-specialist, and why it is significant in term rewriting systems of computer science in general
2. A definition section where you precisely define the ordering. I second JBL's suggestion to replace non-necessary notation with English prose. It also helps to define your notation. For instance, let readers know that $S$ is a set and that $M(y)$ is a cardinality function (I think) representing the multiplicity of element $y$ in $M$.

• How does this ordering compare to other multiset orderings? It may be useful to establish a "See also" section pointing to other orderings with articles on Wikipedia.
• It is useful to a give web pointer to references where you can. For instance, here is a pdf of the Jouannaud paper.

--Mark viking (talk) 20:56, 1 March 2013 (UTC)

End copy.