On this page:
add-to-set-eq
add-to-set-eql
add-to-set-equal
intersectp-eq
intersectp-equal
set-difference-eq
set-difference-equal
subsetp
subsetp-equal
union-eq
union-equal
member
member-eq
member-equal
no-duplicatesp
no-duplicatesp-equal
remove
remove-eq
remove-equal
remove-duplicates
remove-duplicates-equal
remove1
remove1-eq
remove1-equal
Version: 4.1
2.4.10 Sets

(add-to-set-eq sym lst)  t

  sym : t

  lst : (if (symbolp sym) (true-listp lst) (symbol-listp lst))

Adds sym to lst if it is not already present. Uses eq for comparisons.

Examples:

  > (add-to-set-eq 'hello nil)

  (hello)

  > (add-to-set-eq 'hello (list 'goodbye))

  (hello goodbye)

  > (add-to-set-eq 'hello (list 'hello 'goodbye))

  (hello goodbye)

  > (add-to-set-eq "string" (list 'hello 'goodbye))

  ("string" hello goodbye)

  > (add-to-set-eq 4 (list 1 2 3))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <symbolp>, given: 1

  > (add-to-set-eq "string1" (list "string2"))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <symbolp>, given: "string2"

(add-to-set-eql x lst)  t

  x : t

  lst : (if (eqlablep x) (true-listp lst) (eqlable-listp lst))

Adds x to lst if it is not already present. Uses eql for comparisons.

Examples:

  > (add-to-set-eql 'hello nil)

  (hello)

  > (add-to-set-eql 'hello (list 'hello))

  (hello)

  > (add-to-set-eql 1 (list 'hello 1 'bye 2))

  (hello 1 bye 2)

  > (add-to-set-eql "string1" (list "string2"))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <eqlablep>, given: "string2"

(add-to-set-equal s lst)  t

  s : t

  lst : (true-listp lst)

Adds x to lst if it is not already present. Uses equal for comparisons.

Examples:

  > (add-to-set-equal "hello" nil)

  ("hello")

  > (add-to-set-equal "hello" (list "hello"))

  ("hello")

  > (add-to-set-eq 4 (list 1 2 3))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <symbolp>, given: 1

  > (add-to-set-equal "string1" (list "string2"))

  ("string1" "string2")

  > (add-to-set-equal 1 "string")

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" (cons/c any/c any/c)) any) on

  here; expected <(or/c nil (cons/c any/c any/c))>, given:

  "string"

(intersectp-eq x y)  t

  x : (symbol-listp x)

  y : (symbol-listp y)

Determines if x and y share at least one element in common. Uses eq for comparisons.

Examples:

  > (intersectp-eq (list 'a 'b 'c) (list 'x 'y 'z))

  ()

  > (intersectp-eq (list 'a 'b 'c) (list 'a 'y 'z))

  t

  > (intersectp-eq (list 'a "b" 'c) (list 'a 'y 'z))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (listof acl2-symbol?) (listof

  acl2-symbol?) any) on here; expected <(listof

  acl2-symbol?)>, given: (a "b" c)

(intersectp-equal x y)  t

  x : (true-listp x)

  y : (true-listp y)

Determines if x and y share at least one element in common. Uses equal for comparisons.

Examples:

  > (intersectp-equal (list "a" "b" "c") (list "x" "y" "z"))

  ()

  > (intersectp-equal (list "a" "b" "c") (list "a" "y" "z"))

  t

(set-difference-eq x y)  t

  x : (true-listp x)

  y : (and (true-listp y) (or (symbol-listp x) (symbol-listp y)))

Computes the set difference of x from y. Uses eq for comparisons. Use this function for sets of symbols.

Examples:

  > (set-difference-eq (list 'a 'b 'c) (list 'a 'c))

  (b)

  > (set-difference-eq (list "string") (list 'a 'c))

  ("string")

  > (set-difference-eq (list 'a 'c) (list "string"))

  (a c)

  > (set-difference-eq (list "string1") (list "string2"))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <symbolp>, given: "string2"

(set-difference-equal x y)  t

  x : (true-listp x)

  y : (true-listp y)

Computes the set difference of the lists x and y. Uses equal for comparisons.

Examples:

  > (set-difference-equal (list "a" "b" "c") (list "a" "c"))

  ("b")

  > (set-difference-equal "abc" "bc")

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" (cons/c any/c any/c)) any) on

  here; expected <(or/c nil (cons/c any/c any/c))>, given:

  "abc"

(subsetp x y)  t

  x : t

  y : (if (eqlable-listp y) (true-listp x) (if (eqlable-listp x) (true-listp y) nil))

Determines whether every element of x a member of y.

Examples:

  > (subsetp (list 1 2 3) (list 2 3))

  ()

  > (subsetp (list 1 2 3) (list 1 2 3 4 5))

  t

  > (subsetp (list "1" "2") (list 1 2 3))

  ()

  > (subsetp (list 1 2) (list 1 "1" 2 "2"))

  t

  > (subsetp (list "1" "2") (list "1" "2" "3" "4"))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <eqlablep>, given: "1"

(subsetp-equal x y)  t

  x : (true-listp x)

  y : (true-listp y)

Like subsetp, but uses member-equal to check each element for membership.

Examples:

  > (subsetp-equal (list "a" "b" "c") (list "b" "c"))

  ()

  > (subsetp-equal (list "a" "b" "c") (list "a" "b" "c" "d" "e"))

  t

  > (subsetp-equal "not a list" (list 1 2 3))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" pair?) any) on here; expected

  <(or/c nil pair?)>, given: "not a list"

(union-eq x y)  t

  x : (symbol-listp x)

  y : (true-listp y)

Creates the union of two lists of symbols. See union-equal.

Examples:

  > (union-eq (list 'a 'b 'c) (list 'c 'd 'e))

  (a b c d e)

  > (union-eq (list 1 2 3) (list 'a 'b 'c))

  (1 2 3 a b c)

  > (union-eq (list 'a 'b 'c) "not a list")

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" (cons/c any/c any/c)) any) on

  here; expected <(or/c nil (cons/c any/c any/c))>, given:

  "not a list"

(union-equal x y)  t

  x : (true-listp x)

  y : (true-listp y)

Creates the union of two lists. Specifically, the resulting list is the same as one would get by first deleting the members of y from x, and then concatenating the result to the front of y

Examples:

  > (union-equal (list "a" "b" "c") (list "c" "d" "e"))

  ("a" "b" "c" "d" "e")

  > (union-equal "not a list" (list 1 2 3))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" pair?) any) on here; expected

  <(or/c nil pair?)>, given: "not a list"

(member x lst)  t

  x : t

  lst : (if (eqlablep x) (true-listp l) (eqlable-listp l))

If x is in lst, returns x and all elements after it in lst. Otherwise returns nil. Uses eql as test.

Examples:

  > (member 3 '(1 2 3 4 5))

  (3 4 5)

  > (member 3 '(2 4 6 8 10))

  ()

  > (member "abc" '(1 2 3))

  ()

  > (member "abc" ("a" "b" "abc"))

  eval:508:0: #%app: Expected the name of a function here at:

  "a" in: (#%app "a" "b" "abc")

(member-eq x lst)  t

  x : t

  lst : (if (symbolp x) (true-listp lst) (symbol-listp lst))

Like member, but uses eq as test.

Examples:

  > (member-eq 'a '(a b c))

  (a b c)

  > (member-eq 'a '(x y z))

  ()

  > (member-eq 3 '(1 2 3 4 5))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <symbolp>, given: 1

  > (member-eq "abc" (list "a" "b" "abc"))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <symbolp>, given: "a"

(member-equal a lst)  t

  a : t

  lst : (true-listp lst)

Like member, but uses equal as test.

Examples:

  > (member-equal "a" '("a" "b" "c"))

  ("a" "b" "c")

  > (member-equal "a" '("x" "y" "z"))

  ()

  > (member-equal 3 '(1 2 3 4 5))

  (3 4 5)

  > (member-equal "abc" (list "a" "b" "abc"))

  ("abc")

(no-duplicatesp lst)  t

  lst : (eqlable-listp lst)

Returns true if lst contains no duplicate elements. Uses eql as the test.

Examples:

  > (no-duplicatesp (list 1 2 3))

  t

  > (no-duplicatesp (list 1 2 1))

  ()

  > (no-duplicatesp (list "a" "b" "a"))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <eqlablep>, given: "b"

(no-duplicatesp-equal lst)  t

  lst : (true-listp lst)

Like no-duplicatesp, but uses equal as the test.

Examples:

  > (no-duplicatesp-equal (list "a" "b" "c"))

  t

  > (no-duplicatesp-equal (list "a" "b" "a"))

  ()

(remove x lst)  t

  x : t

  lst : (if (eqlablep x) (true-listp lst) (eqlable-listp lst))

Removes all occurrences of x from lst, using eql as the test

Examples:

  > (remove 3 (list 1 2 3 4))

  (1 2 4)

  > (remove 3 (list 5 6 7 8))

  (5 6 7 8)

  > (remove "abc" (list 1 2 3 4))

  (1 2 3 4)

  > (remove 2 (list 1 2 "abc" 4))

  (1 "abc" 4)

  > (remove "abc" (list 1 2 "abc" 4))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <eqlablep>, given: "abc"

(remove-eq x lst)  t

  x : t

  lst : (if (symbolp x) (true-listp lst) (symbol-listp lst))

Removes all occurrences of x from lst, using eq as the test

Examples:

  > (remove-eq 'x (list 'w 'x 'y 'z))

  (w y z)

  > (remove-eq 'x "wxyz")

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" (cons/c any/c any/c)) any) on

  here; expected <(or/c nil (cons/c any/c any/c))>, given:

  "wxyz"

  > (remove-eq 2 (list 1 2 3 4))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <symbolp>, given: 1

(remove-equal x lst)  t

  x : t

  lst : (true-listp lst)

Examples:

  > (remove-equal "x" (list "w" "x" "y" "z"))

  ("w" "y" "z")

  > (remove-equal "x" "wxyz")

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" (cons/c any/c any/c)) any) on

  here; expected <(or/c nil (cons/c any/c any/c))>, given:

  "wxyz"

(remove-duplicates lst)  t

  lst : (or (stringp l) (eqlable-listp l))

Remove duplicate items in the given list or string, using eql as the test.

Examples:

  > (remove-duplicates (list 1 2 2 3 2 4))

  (1 3 2 4)

  > (remove-duplicates "abCdCeCfFgh")

  "abdeCfFgh"

  > (remove-duplicates (list "a" "b" "c" "a" "d" "e"))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <eqlablep>, given: "b"

(remove-duplicates-equal lst)  t

  lst : (true-listp lst)

Remove duplicate items in the given list or string, using equal as the test.

Examples:

  > (remove-duplicates-equal (list "a" "b" "b" "c" "d" "b"))

  ("a" "c" "d" "b")

  > (remove-duplicates-equal (list 1 2 2 3 2 4))

  (1 3 2 4)

  > (remove-duplicates-equal "abCdCeCfFgh")

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" pair?) any) on here; expected

  <(or/c nil pair?)>, given: "abCdCeCfFgh"

  > (remove-duplicates-equal 6)

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" pair?) any) on here; expected

  <(or/c nil pair?)>, given: 6

(remove1 x lst)  t

  x : t

  lst : (if (eqlablep x) (true-listp lst) (eqlable-listp lst))

like remove, but only removes the first instance

Examples:

  > (remove1 3 (list 1 2 3 4))

  (1 2 4)

  > (remove1 3 (list 5 6 7 8))

  (5 6 7 8)

  > (remove1 "abc" (list 1 2 3 4))

  (1 2 3 4)

  > (remove1 2 (list 1 2 "abc" 4))

  (1 "abc" 4)

  > (remove1 "abc" (list 1 2 "abc" 4))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <eqlablep>, given: "abc"

(remove1-eq x lst)  t

  x : t

  lst : (if (symbolp x) (true-listp lst) (symbol-listp lst))

like remove-eq, but only removes the first instance

Examples:

  > (remove1-eq 'x (list 'w 'x 'x 'y 'x 'z))

  (w x y x z)

  > (remove1-eq 'x "wxyz")

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" pair?) any) on here; expected

  <(or/c nil pair?)>, given: "wxyz"

  > (remove1-eq 2 (list 1 2 2 3 4))

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (->r ((x ...) (y ...)) ...) on here; expected

  <symbolp>, given: 1

(remove1-equal x lst)  t

  x : t

  lst : (true-listp lst)

Like remove-equal, but only removes the first instance

Examples:

  > (remove1-equal "x" (list "w" "x" "x" "y" "x" "z"))

  ("w" "x" "y" "x" "z")

  > (remove-equal "x" "wxyz")

  /Volumes/Maldis/Users/cce/plt/research/dracula/release/src/l

  anguage/checking-proc.scm:36:21: Dracula program broke the

  contract (-> (or/c "nil" (cons/c any/c any/c)) any) on

  here; expected <(or/c nil (cons/c any/c any/c))>, given:

  "wxyz"