Zulip Chat Archive

Stream: Is there code for X?

Topic: signed (fin 2^n) ?


view this post on Zulip SnowFox (Oct 15 2020 at 06:07):

Is there a signed variant of fin (2^n)?

view this post on Zulip Johan Commelin (Oct 15 2020 at 06:10):

bool \times fin (2 ^ n)?

view this post on Zulip Bryan Gin-ge Chen (Oct 15 2020 at 06:13):

In case you're trying to represent integers as bit strings, there's a bunch of stuff in data/num. See e.g. docs#snum

view this post on Zulip SnowFox (Oct 15 2020 at 06:26):

snum is exactly what I needed, thanks.

view this post on Zulip SnowFox (Oct 15 2020 at 06:44):

Actually it doesn't have the methods I need. For now I guess I'll just stick with all of int. Then maybe propose some additions to the module later.


Last updated: May 16 2021 at 05:21 UTC