Revision as of 04:11, 16 March 2017 (view source) Jaydub (talk \| contribs) (Add Common Lisp implementation) ← Older edit		Revision as of 04:15, 16 March 2017 (view source) Jaydub (talk \| contribs) m (minor edits) Newer edit →
Line 163: (deftype set<= (a b) `(real (,a) ,b)) (deftype set-union (i1s1 i2s2) `(or ,i1s1 ,i2s2)) (deftype set-intersection (i1s1 i2s2) `(and ,i1s1 ,i2s2)) (deftype set-diff (i1s1 i2s2) `(and ,i1s1 (not ,i2s2))) (defun in-set-p (x set)

Set of real numbers: Difference between revisions

Set of real numbers (view source)