D.5.4.9 sppnf

Procedure from library gaussman.lib (see gaussman_lib).

Assume:

ncols(e)=size(w)=size(m)=size(V); typeof(V[i])=="module"

Return:

order (a[i][,w[i]][,V[i]]) with multiplicity m[i] lexicographically