Compliance of some other methods
The Borda method is monotonic and the Alternative Vote method is not. The [[Approval voting]] method is not tested by monotonicity, though it could be tested and presumably passed by a monotonicity rule that handled a ballot paper having only 1 preference with that preference being a set of candidates (rather than a single candidate).
Axioms of Preferential voting and symbolic algebra of [[polytopes]]: http://groups.yahoo.com/group/politicians-and-polytopes/
Comments welcome (see edit history for contact addresses).