Compute a normal form NF(v;G) in a free module R^t with respect to a module term order and generators G

Original label: Compute a normal form NF(v;G) in a free module R^t with respect to a module term order and generators G