Function NUMERATOR

The term {tt (numerator $tau$)} denotes the numerator of the canonical reduced form of the object denoted by $tau$.
Arity: 2