Zulip Chat Archive

Stream: general

Topic: finset subtract one


view this post on Zulip Abhimanyu Pallavi Sudhir (Nov 28 2019 at 15:27):

I want to take a finset of naturals and create a new finset of elements one less than each of these elements. What's the right way to do this? Is this what bind is for?

view this post on Zulip Kenny Lau (Nov 28 2019 at 15:27):

finset.image or finset.map

view this post on Zulip Reid Barton (Nov 28 2019 at 15:27):

Possibly. What do you want to do with 0?

view this post on Zulip Abhimanyu Pallavi Sudhir (Nov 28 2019 at 15:29):

finset.image or finset.map

Makes sense. Thanks.


Last updated: May 12 2021 at 04:19 UTC