Major Section: PROGRAMMING

Completion Axiom:

(equal (numerator x) (if (rationalp x) (numerator x) 0))

Guard for (numerator x):

(numerator x)

(rationalp x)