i1 : C = ZZ/101[x,y,z,u,w]/ideal(x-x^2-y,z+x*y,w^2-u^2);
i2 : minimalPresentation(C,Variable => a) ZZ --- [a , a , a , MonomialOrder => GRevLex => 3] 101 0 1 2 o2 = ----------------------------------------------- 2 2 a - a 1 2 o2 : QuotientRing