den(X: INT|RAT): INT den(X: RINGELEM): RINGELEM
/**/ den(3); 1 /**/ P ::= QQ[x,y]; /**/ F := NewFractionField(P); /**/ use F; /**/ den(x/(x+y)); x +y /**/ RingOf(It); RingWithID(4, "QQ[x,y]")