TypeOfCoeffs():TYPE
Use R ::= Q[x,y,z]; TypeOfCoeffs(); RAT ------------------------------- Use S ::= Z/(2)[t]; TypeOfCoeffs(); ZMOD -------------------------------