i1 : R = ZZ[a..c];
i2 : S = R/(a+b+c);
i3 : f = vars R o3 = | a b c | 1 3 o3 : Matrix R <--- R
i4 : f ** S o4 = | -b-c b c | 1 3 o4 : Matrix S <--- S