i3 : trim ideal R'
2 3 2 3
o3 = ideal (t z - x , t - y z - z - 1)
3,0 3,0
o3 : Ideal of QQ[t , x, y, z]
3,0
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, ....
Further information
Default value: w (missing documentation)
Function: integralClosure -- integral closure of an ideal or a domain
Option name: Variable -- specify a name for a variable