2.4.1 Submodule

Lemma 2..12   $(F)\subseteq (G)$ iff NF(F,std(G))=0.

SINGULAR example:

ring r=...;
module F=...;
module G=...;
reduce(F,std(G));