Jim Newton

2020-03-13 18:19:19 UTC

Can someone help me understand what these types are?

(OR (REAL * (-3.5d0)) (REAL (-3.5d0))

Is that all the real numbers except -3.5d0

What about the following?

(OR (REAL * (-3.5d0))

(REAL (-3.5d0))

(NOT INTEGER))

(OR (REAL * (-3.5d0)) (REAL (-3.5d0))

Is that all the real numbers except -3.5d0

What about the following?

(OR (REAL * (-3.5d0))

(REAL (-3.5d0))

(NOT INTEGER))