-- -*- M2-comint -*- {* hash: 551957362 *}

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

i5 :