Sophie
-- -*- M2-comint -*- {* hash: -827770271 *} i1 : isReal 2. o1 = true i2 : isReal sqrt(-1) o2 = false i3 :