COMPLEX-RATIONALP.html -- ACL2 Version 6.3

### COMPLEX-RATIONALP

recognizes complex rational numbers

    Major Section:  ACL2-BUILT-INS

    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.