originalSubringGens -- generators of the original subrings

• Usage:

  result = originalSubringGens(S)

• Inputs:
  • S, an intersected subring,
• Outputs:
  • result, a list, of the generators of the original subrings used in the creation of $S$

i1 : R = QQ[x,y];

i2 : I = ideal(x^3 + x*y^2 + y^3);

o2 : Ideal of R

i3 : Q = R/I;

i4 : S1 = subring {x^2, x*y};

i5 : S2 = subring {x, y^2};

i6 : S = intersect(S1, S2);

i7 : originalSubringGens S

o7 = {| x2 xy |, | x y2 |}

o7 : List