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: