dictionary.remove
dictionary: d = remove (d, keys)
Remove entries.
d = remove (d, keys) removes the entries of
keys, an array of keys converted to the key type of d, as
d(keys) = [] does. A key not in d is ignored.
A key removed and added again goes after the others. d must be
configured.
See also: dictionary.insert, dictionary.isKey
Source Code: dictionary
remove removes the entries of the keys given, ignoring keys not in the dictionary. A key removed and added again goes after the others.
d = dictionary (string ({'a', 'b', 'c'}), [1, 2, 3])
d =
dictionary (string ⟼ double) with 3 entries:
"a" ⟼ 1
"b" ⟼ 2
"c" ⟼ 3
d = remove (d, {'b', 'z'})
d =
dictionary (string ⟼ double) with 2 entries:
"a" ⟼ 1
"c" ⟼ 3
d('b') = 20
d =
dictionary (string ⟼ double) with 3 entries:
"a" ⟼ 1
"c" ⟼ 3
"b" ⟼ 20