Talk:Dershowitz–Manna ordering

Review request
NB: the following comments have been copied from Wikipedia talk:WikiProject Mathematics:

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
 * 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
 * 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.