//SINGULAR Example 2.1.20


ring A=0,(x,y,z),(c,dp);//the ordering (c,..) has the effect 
module M=[xy,xz],[x,x]; //that the vectors are internally
module N=[y2,z2],[x,x]; //represented component-wise.
M+N;

intersect(M,N);         //see 2.8.3
quotient(M,N);          //see 2.8.4
quotient(N,M);

qring Q=std(x5);        //quotient ring Q[x,y,z]/<xs>
module M=fetch(A,M);    //map M from A to Q
module Null;            //giving just a name creates <0>
M;
Null; 
quotient(Null,M);       //the annihilator of M