denom (or getDenom) takes as argument a rational fraction and returns the denominator of an irreducible representation of this fraction (see also 5.8.4). Input :
^
Output :
Input :