NumIndets():INT NumIndet(R:RING):INT
S ::= Q[x,y]; Use R ::= Q[x,y,z]; NumIndets(); 3 ------------------------------- NumIndets(S); 2 -------------------------------