DENOMINATOR

divisor of a ratio in lowest terms
Major Section:  PROGRAMMING

Completion Axiom:

(equal (denominator x)
       (if (rationalp x)
           (denominator x)
         1))

Guard for (denominator x):

(rationalp x)