R = QQ[x,y,z]/ideal(x^6-z^6-y^2*z^4-z^3); |
R' = integralClosure(R, Variable => symbol t) |
trim ideal R' |
The algorithm works in stages, each time adding new fractions to the ring. A variable t(3,0) represents the first (zero-th) variables added at stage 3. In the future, the variables added will likely just be t1, t2, ....