present-ring ring result ideal I

  Present a ring as a polynomial ring modulo an ideal I. If the given ring is a quotient ring w.r.t. an ideal J, a copy of this ideal is placed into the result I. If the given ring is not a quotient ring, I is set to be the zero ideal over this ring.

%  ; the ring S is the quotient ring above.
%  present-ring S k

%  type k
; a2-b2 ab-cd b3-acd