## COMPLEX-RATIONALP

recognizes complex rational numbers
Major Section: PROGRAMMING

Examples:
(complex-rationalp 3) ; nil, as 3 is rational, not complex rational
(complex-rationalp #c(3 0)) ; nil, since #c(3 0) is the same as 3
(complex-rationalp t) ; nil
(complex-rationalp #c(3 1)) ; t, as #c(3 1) is the complex number 3 + i

See complex for more about complex rationals in ACL2.