COMPUTING AN ORDER COMPLETE BASIS FOR M(N) AND APPLICATIONS