Zulip Chat Archive

Stream: Is there code for X?

Topic: set.erase


view this post on Zulip Kevin Buzzard (Feb 16 2021 at 17:54):

We have finset.erase -- do we not have set.erase? Is it called something else? I know I can do S \ {a} but is this not a thing?

view this post on Zulip Yakov Pechersky (Feb 16 2021 at 17:56):

docs#set.insert_diff_singleton

view this post on Zulip Yakov Pechersky (Feb 16 2021 at 17:57):

This is likely due to the fact that while set and finset seem similar in how we think about them mathematically, they're constructed entirely differently, either by chaining predicates (set) or by quotienting finite lists of elements by permutations. And erase comes from the {list,multiset}.erase


Last updated: May 07 2021 at 18:19 UTC