Bug #820
Updated by Anna Maria Bigatti over 8 years ago
JAA really thinks that order matrices should be over @ZZ@ rather than @QQ@ since we insist that the entries be integer (otherwise @WDeg@ needs to be changed).
The appalling mess that comprises the fns used for "completing" matrices into terms orders needs a radical overhaul. overhaul; and I'll bet Anna's not willing to do it. Grrrr!
The appalling mess that comprises the fns used for "completing" matrices into terms orders needs a radical overhaul. overhaul; and I'll bet Anna's not willing to do it. Grrrr!